1 module modreq_attr_opt 1.0; 2 3 require { 4 class file {read write}; 5 6 } 7 8 type mod_global_t; 9 10 optional { 11 require { 12 attribute attr_req; 13 } 14 type mod_opt_t; 15 type new_t, attr_req; 16 } 17
