Changes between Version 23 and Version 24 of IR2

Timestamp:

04/26/21 15:47:10 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -25 +25 @@
 guard: '$when' '(' expr ')' ;  
 gotoStmt: 'goto' ID ;
-INT: ... /* integer constant */
-ID: ... /* identifier */
 contract-clause :
     '$assigns' expr ';' 
@@ -32 +30 @@
   | '$ensures' expr ';'
    ...
-
+INT: ... /* integer constant */
+ID: ... /* identifier */
+STRING: ... /* string literal in double quotes */
 }}}