Changes between Version 6 and Version 7 of CIVLite

Timestamp:

09/22/23 07:25:54 (3 years ago)

Author:

siegel

Comment:

--

CIVLite

@@ -24 +24 @@
 constant: INT | 'null' | '{' (constant (',' constant)*)? '}'
 
+string: '"' .* '"'
+
 type: 'int' | 'proc' | type[]
 
@@ -41 +43 @@
 // if goto is missing, goto the next statement
 
-action: assignment call spawn noop return wait begin_atomic end_atomic assertion
+action: assignment call spawn noop return wait begin_atomic end_atomic assertion print
 
 assignment: lval '=' expr ';'
@@ -63 +65 @@
 assertion: 'assert' expr ';'
 
+print: 'print' exprstrlst ';'
+
+exprstrlst: exprstr (',' exprstr)*
+
+exprstr: expr | string
+
 exprlist: expr (',' expr)*