Check out the new USENIX Web site. next up previous
Next: wait-for Predicates Up: Events Previous: Event Generator

Event Handler

When an event occurs, the corresponding event handler or active rule is fired. If the event is asynchronous, the event handler will be executed in parallel with the current thread. If it is synchronous, the firing will be equivalent to calling a predicate in the current thread. An event handler is defined as below:
\begin{smalltab} {\bf on-event}\=({\em EvtName}($T_{1}, ..., T_{n}$)) :- \\ \\ gt$p_{1}, ..., p_{m}$. \end{smalltab}

Du Li
8/25/1999