Concurrency: State Models and Java Programs

B.4 Const, Range, Set

Named constants, ranges and sets are defined as follows:

ConstantDef: const ConstantIdent = SimpleExpression RangeDef: range RangeIdent = SimpleExpression .. SimpleExpression SetDef: set SetIdent = { setElements }

Examples

const N = 3 range R = 0..N set S = {a,b,c,d[R]}