Jelly Bean  |  4.1.1_r1
普通文本  |  16行  |  213 B 

module add_symbol_test 1.0;

require { class file { read }; }

role role_a_1;
role role_a_2;
role role_t_1;
role role_t_2;

type type_rt_1;


allow role_a_1 role_a_2;

role_transition role_t_1 type_rt_1 role_t_2;