1 module modreq_obj_global 1.0; 2 3 require { 4 class file { read }; 5 } 6 7 type mod_global_t; 8 9 type mod_foo_t; 10 type mod_bar_t; 11 12 optional { 13 require { 14 class sem { create destroy }; 15 } 16 17 type mod_opt_t; 18 19 allow mod_foo_t mod_bar_t : sem { create destroy }; 20 } 21
