1 module add_symbol_test 1.0; 2 3 require { class file { read }; } 4 5 role role_a_1; 6 role role_a_2; 7 role role_t_1; 8 role role_t_2; 9 10 type type_rt_1; 11 12 13 allow role_a_1 role_a_2; 14 15 role_transition role_t_1 type_rt_1 role_t_2; 16
