Changes between Version 9 and Version 10 of CIVLite


Ignore:
Timestamp:
09/22/23 10:15:55 (3 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • CIVLite

    v9 v10  
    3030labelnode: (ID ':')? node
    3131node: transition | '{' transition* '}' // multiple transitions may depart a node
    32 transition: (expr '->')? action ('goto' ID ';')?
     32transition: ((expr | 'else') '->')? action ('goto' ID ';')?
    3333// if guard is missing, guard is 1 (true)
     34// else guard holds when all other guards are false
    3435// if goto is missing, goto the next location
    3536action: assignment call spawn noop return wait begin_atomic end_atomic assertion print