Union colour sets | CPN Tools help |
CPN ML |
colset name = union id1[:name1] + id2[:name2] + ... + idn[:namen];
If namei
is omitted then idi
is treated as a new value, and it can be referred to simply as idi
.
idi v
idi(v)
where v
has type namei
.
colset Data = string with "A".."z" and 0..8;
colset Packet = union DATA:Data + ACK;
var packet : Packet;
The CPN variable packet
may have values of the form ACK
, DATA(str)
, or DATA str
where str
is a string containing only letters and has length up to 8. For example, ACK
, DATA("contents")
, and DATA "contents
" are legal values, but ACK("okay")
, DATA("abc123")
and DATA
are not.