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