Mini-Spec Implementation : Procedural Activities

Procedural Activities

The syntax for procedural mini-spec is comparable to that of the trigger part, without the action. For example, if( C ) then A endif while(something) do anotherthing end and so on.

Consider the following example, for a mini-spec defined as:

if(WORKING) then SET_SIGNAL endif
The generated code would be:
if(WORKING){
GENERATE_EVENT(SET_SIGNAL);
};