1 module add_symbol_test 1.0; 2 3 require { class file { read write }; } 4 5 type type_add_1; 6 attribute attrib_add_1; 7 role role_add_1; 8 bool bool_add_1 false; 9 10 ifdef(`enable_mls',`',` 11 user user_add_1 roles { role_add_1 }; 12 ') 13
1 module add_symbol_test 1.0; 2 3 require { class file { read write }; } 4 5 type type_add_1; 6 attribute attrib_add_1; 7 role role_add_1; 8 bool bool_add_1 false; 9 10 ifdef(`enable_mls',`',` 11 user user_add_1 roles { role_add_1 }; 12 ') 13