Changes between Version 106 and Version 107 of IR

Timestamp:

12/01/15 11:23:45 (10 years ago)

Author:

zmanchun

Comment:

--

IR

@@ -338 +338 @@
  * updates `i`,`j`,... to be the value of the next tuple in `dom` after `<i,j,...>`
  * if `i`, or `j`, ... is undefined, then `i`, `j`, ... are updated to be the value of the first tuple in `dom`
-* `FOR_ENTER dom, <i,j,...>;`: updates `<i,j,...>` to be the next element in domain
- * **FIX ME**
+ * The CIVL-C code `$for(int i,j,k: dom) S;` is translated into the following:
+{{{
+var i: Integer;
+var j: Integer;
+...
+ASSIGN "i", new(Integer);
+ASSIGN "j", new(Integer);
+...
+begin choose
+  when(hasnext(dom, <i,j,...>)) NEXT(dom, <i,j,...>); goto L1;
+  when(not(hasnext(dom, <i,j,...>))) ; goto L2;
+end choose
+L1:
+  S; goto L2;
+L2:
+  ...
+}}}
+
 
 ==  Function Definitions ==