1*2d543d20SAndroid Build Coastguard Workermodule modreq_obj_global 1.0; 2*2d543d20SAndroid Build Coastguard Worker 3*2d543d20SAndroid Build Coastguard Workerrequire { 4*2d543d20SAndroid Build Coastguard Worker class file { read }; 5*2d543d20SAndroid Build Coastguard Worker} 6*2d543d20SAndroid Build Coastguard Worker 7*2d543d20SAndroid Build Coastguard Workertype mod_global_t; 8*2d543d20SAndroid Build Coastguard Worker 9*2d543d20SAndroid Build Coastguard Workertype mod_foo_t; 10*2d543d20SAndroid Build Coastguard Workertype mod_bar_t; 11*2d543d20SAndroid Build Coastguard Worker 12*2d543d20SAndroid Build Coastguard Workeroptional { 13*2d543d20SAndroid Build Coastguard Worker require { 14*2d543d20SAndroid Build Coastguard Worker class sem { create destroy }; 15*2d543d20SAndroid Build Coastguard Worker } 16*2d543d20SAndroid Build Coastguard Worker 17*2d543d20SAndroid Build Coastguard Worker type mod_opt_t; 18*2d543d20SAndroid Build Coastguard Worker 19*2d543d20SAndroid Build Coastguard Worker allow mod_foo_t mod_bar_t : sem { create destroy }; 20*2d543d20SAndroid Build Coastguard Worker} 21