| Joshua Brindle | 13cd4c8 | 2008-08-19 15:30:36 -0400 | [diff] [blame^] | 1 | module modreq_obj_global 1.0; |
| 2 | |||||
| 3 | require { | ||||
| 4 | class sem { create destroy }; | ||||
| 5 | } | ||||
| 6 | |||||
| 7 | type mod_global_t; | ||||
| 8 | |||||
| 9 | type mod_foo_t; | ||||
| 10 | type mod_bar_t; | ||||
| 11 | |||||
| 12 | allow mod_foo_t mod_bar_t : sem { create destroy }; | ||||
| 13 | |||||