modreq-bool-global.conf revision 255e72915d4cbddceb435e13d81601755714e9f3
1d0247b1b59f9c528cb6df88b4f2b9afaf80d181eTorne (Richard Coles)module modreq_bool_global 1.0; 2d0247b1b59f9c528cb6df88b4f2b9afaf80d181eTorne (Richard Coles) 3d0247b1b59f9c528cb6df88b4f2b9afaf80d181eTorne (Richard Coles)require { 4d0247b1b59f9c528cb6df88b4f2b9afaf80d181eTorne (Richard Coles) bool bool_req; 5d0247b1b59f9c528cb6df88b4f2b9afaf80d181eTorne (Richard Coles) class file { read write }; 6d0247b1b59f9c528cb6df88b4f2b9afaf80d181eTorne (Richard Coles)} 7d0247b1b59f9c528cb6df88b4f2b9afaf80d181eTorne (Richard Coles) 80529e5d033099cbfc42635f6f6183833b09dff6eBen Murdochtype mod_global_t; 9d0247b1b59f9c528cb6df88b4f2b9afaf80d181eTorne (Richard Coles) 10d0247b1b59f9c528cb6df88b4f2b9afaf80d181eTorne (Richard Coles)type a_t; 11d0247b1b59f9c528cb6df88b4f2b9afaf80d181eTorne (Richard Coles)type b_t; 120529e5d033099cbfc42635f6f6183833b09dff6eBen Murdoch 13d0247b1b59f9c528cb6df88b4f2b9afaf80d181eTorne (Richard Coles)if (bool_req) { 145c02ac1a9c1b504631c0a3d2b6e737b5d738bae1Bo Liu allow a_t b_t : file { read write }; 15d0247b1b59f9c528cb6df88b4f2b9afaf80d181eTorne (Richard Coles)} 16d0247b1b59f9c528cb6df88b4f2b9afaf80d181eTorne (Richard Coles)