%function keyword (SDL script)
This keyword calls a function relating to state machine generation. There are three functions:
• AlternativeConstructor - finds alternative constructors for overloaded operations.
• GetLCA - finds the lowest common ancestor for two states, that is, the state that is lowest parent of both states.
• NextState - finds the next state.
AtlernativeConstructor
Syntax
%function "AlternativeConstructor", "<variable>"
Sets <variable> to 1 when current operation is overloaded.
GetLCA
Syntax
%function "GetLCA", "<state 1>", "<state 2>", "<LCA>"
Sets <LCA> to the lowest common ancestor of <state 1> and <state 2>.
NextState
Syntax
%function "NextState", "<state>", "<LCA>", "<next state>"
For the current <state> in the context of the lowest common ancestor <LCA>, sets <next state> to the next state.