Naming rules and conventions

Reserved Keywords

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'