20 lines
252 B
Text
20 lines
252 B
Text
module modreq_obj_global 1.0;
|
|
|
|
require {
|
|
class file { read };
|
|
}
|
|
|
|
type mod_global_t;
|
|
|
|
type mod_foo_t;
|
|
type mod_bar_t;
|
|
|
|
optional {
|
|
require {
|
|
class sem { create destroy };
|
|
}
|
|
|
|
type mod_opt_t;
|
|
|
|
allow mod_foo_t mod_bar_t : sem { create destroy };
|
|
}
|