Constant

Constants are used to name some interesting values in the system specification. Therefore, constants are used mainly in expressions, but they can also be used to define parameterized specifications through data types (e.g. the size of arrays) or system configurations (e.g. the initial number of instances). Particular constants are self which denote the pid of the instance and nil which denotes the null pid.

xxxxxxxxxxxxxxxxxxconst-decl ::=  

const const-id $[$ = const $]$ ;  



const ::=  

true $\vert$ false $\vert$ 

integer $\vert$ 

float $\vert$ 

self $\vert$ nil $\vert$ 

const-id