1*2d543d20SAndroid Build Coastguard Workermodule modreq_perm_opt 1.0; 2*2d543d20SAndroid Build Coastguard Worker 3*2d543d20SAndroid Build Coastguard Workerrequire { 4*2d543d20SAndroid Build Coastguard Worker class file { read write }; 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 Workeroptional { 10*2d543d20SAndroid Build Coastguard Worker require { 11*2d543d20SAndroid Build Coastguard Worker class msg { send receive }; 12*2d543d20SAndroid Build Coastguard Worker } 13*2d543d20SAndroid Build Coastguard Worker 14*2d543d20SAndroid Build Coastguard Worker type mod_opt_t; 15*2d543d20SAndroid Build Coastguard Worker type a_mod_t; 16*2d543d20SAndroid Build Coastguard Worker type b_mod_t; 17*2d543d20SAndroid Build Coastguard Worker allow a_mod_t b_mod_t: msg { send receive }; 18*2d543d20SAndroid Build Coastguard Worker} 19