Changes between Version 30 and Version 31 of IR2

Timestamp:

04/28/21 14:35:36 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -55 +55 @@
 * a `$system` function has no definition in CIVL-IR, but is instead defined elsewhere (for example, in C or Java code).  Such a function will always be executed atomically.   The first string specifies a path (e.g., Java package) to the library containing the function, the second is the name of the library.    These two Strings should be enough to tell CIVL where to find the system definition of the function.
 * the `expr` in a guard must have type `$bool`
-* add statement `$new`: 
 
 {{{
@@ -121 +120 @@
   | 'return' expr? ';'  /* return from function call */
   | '$parspawn' expr ',' expr ',' expr ';'  /* parallel spawn */
-  | (lvalue '=')? '$alloc' expr ',' expr ',' type-name ';'  /* heap allocation */
+  | (lvalue '=')? '$alloc' '(' expr ',' expr ',' type-name ')' ';'  /* heap allocation */
 arg-list: expr (',' expr)* ;  /* actual argument list */
 
@@ -145 +144 @@
 {{{
 expr:
-    $new type-name  /* returns a new arbitrary value of the given type */
+    $new(type-name)  /* returns a new arbitrary value of the given type */
   |