Lines Matching refs:event
23 type_transition $1 domain_type:event $1_channel;
36 type_transition $1 domain_type:event $1_channel;
44 type_transition $1_building domain_type:event $1_channel;
69 allow $1 $2_channel:event create;
76 allow $1 $2_channel:event create;
111 # This allows an event channel to be created from domains with labels
114 allow $1 $3:event { create send status };
115 allow $3 $2:event { bind };
119 # Allow two domain types to communicate using event channels
126 # Allow two domain types to communicate using grants and event channels
135 # and event channels
148 type_transition $2_target domain_type:event $2_channel;
151 allow $1 $2_channel:event create;