In XLIA, some keywords are reserved and therefore cannot be used to name any state, machine, property or transition. Those are the following :
. | . | . | . | . | . | . |
---|---|---|---|---|---|---|
'package' | 'system' | 'machine' | ||||
'statemachine' | 'state' | 'pseudostate' | 'vertex' | |||
'procedure' | 'macro' | 'routine' | 'transition' | |||
'public' | 'private' | 'protected' | ||||
'static' | 'final' | 'reference' | 'volatile' | 'transient' | ||
'model' | 'prototype' | 'instance' | ||||
'timed' | 'input_enabled' | |||||
'port' | 'signal' | 'buffer' | 'channel' | |||
'var' | 'val' | 'const' | ||||
'input' | 'in' | 'inout' | 'output' | 'out' | 'return' | |
'simple' | 'start' | 'final' | 'initial' | 'terminal' | 'junction' | |
'choice' | 'fork' | 'join' | 'dhistory' | 'shistory' | ||
'route' | 'connect' | 'env' | 'rdv' | 'multi_rdv' | 'buffer' | |
'unicast' | 'anycast' | 'multicast' | 'broadcast' | |||
'boolean' | 'bool' | 'char' | 'string' | 'message' | ||
'integer' | 'int' | 'uinteger' | 'uint' | |||
'rational' | 'rat' | 'urational' | 'urat' | |||
'time' | 'clock' | |||||
'float' | 'double' | 'real' | 'ufloat' | 'udouble' | 'ureal' | |
'interval' | 'enum' | 'struct' | 'union' | |||
'vector' | 'rvector' | 'list' | 'set' | 'bag' | 'fifo' | 'lifo' |
'guard' | 'tguard' | 'event' | 'checksat' | 'via' | 'newfresh' | |
'break' | 'continue' | 'exit' | 'init' | 'destroy' | 'stop' | 'abort' |
'restart' | 'suspend' | 'resume' | 'wait' | 'disable' | 'enable' | |
'schedule' | 'irun' | 'run' | 'rtc' | 'call' | 'new' | 'ctor' |
'this' | 'self' | 'parent' | 'super' | 'null' |