Changes between Version 4 and Version 5 of Language

Timestamp:

05/17/23 21:34:31 (3 years ago)

Author:

siegel

Comment:

--

Language

@@ -316 +316 @@
 }}}
 
-=== `$for`
+=== Domain iteration statement: `$for`
+
+A domain statement has the form
+
+  `$for` `(``int` ''i1''`,` ...`,` ''in'' `:` ''dom''`)` ''S''
+
+where ''i1'', . . . , ''in'' are ''n'' identifiers, ''dom'' is an expression of type `$domain(`''n''`)`, and ''S'' is a statement.
+The identifiers declare ''n'' variables of integer type.
+Control iterates over the values of the domain, assigning the integer variables the components of the current tuple in the domain at the start of each iteration.
+The scope of the variables extends to the end of ''S''.
+The iterations takes place in the order specified by the domain, e.g., dictionary order for a Caretesian domain.
+Note that if a range expression can be used as ''dom'' here, it will be automatically converted to a one-dimensional domain.
+For example,
+{{{
+$for (int i : 0 .. 10) S
+}}}
+is equivalent to
+{{{
+$for (int i: ($domain(1)){0 .. 10}) S
+}}}
+
+There is a also a parallel version of this construct, `$parfor`.
 
 === `$parfor`