xref: /aosp_15_r20/external/selinux/libsepol/tests/policies/test-deps/modreq-bool-opt.conf (revision 2d543d20722ada2425b5bdab9d0d1d29470e7bba) 
1*2d543d20SAndroid Build Coastguard Workermodule modreq_bool_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 Worker
8*2d543d20SAndroid Build Coastguard Workertype mod_global_t;
9*2d543d20SAndroid Build Coastguard Worker
10*2d543d20SAndroid Build Coastguard Workeroptional {
11*2d543d20SAndroid Build Coastguard Worker	require {
12*2d543d20SAndroid Build Coastguard Worker		bool bool_req;
13*2d543d20SAndroid Build Coastguard Worker	}
14*2d543d20SAndroid Build Coastguard Worker
15*2d543d20SAndroid Build Coastguard Worker	type a_t;
16*2d543d20SAndroid Build Coastguard Worker	type b_t;
17*2d543d20SAndroid Build Coastguard Worker	type mod_opt_t;
18*2d543d20SAndroid Build Coastguard Worker
19*2d543d20SAndroid Build Coastguard Worker	if (bool_req) {
20*2d543d20SAndroid Build Coastguard Worker		allow a_t b_t : file { read write };
21*2d543d20SAndroid Build Coastguard Worker	}
22*2d543d20SAndroid Build Coastguard Worker}
23