Changes between Version 17 and Version 18 of CIVLite

Timestamp:

09/29/23 10:40:08 (3 years ago)

Author:

siegel

Comment:

--

CIVLite

@@ -34 +34 @@
 block: 'choose' '{' guardedaction+ '}'
 guardedaction: (expr | 'else') '->' transition
-action: 'noop' assign call spawn return wait begin_atomic end_atomic assert print
+action : 'noop' |  'begin_atomic' | 'end_atomic' | assign | call | spawn
+       | return | wait | assert | print
 assign: lval '=' expr
 invocation: ID '(' exprlist? ')'
@@ -41 +42 @@
 return: 'return' expr?
 wait : 'wait' expr
-begin_atomic: 'begin_atomic'
-end_atomic: 'end_atomic'
 assert: 'assert' expr
 print: 'print' exprstrlst