Back to table

Non constant in count

The following is an invalid µOCCAM program. The count in a replicated alternation must be constant.

Program file: /public/cs3/web/ipptests/non-constant-count.reject
INT i:
INT non.const = 0:
INT another.non.const = 9:
[10]CHAN some.input:
INT x:
INT y:
ALT i = non.const FOR another.non.const -- the count must be constant
  some.input[i] ? x
      y := x + 2
      stdout ! y
      non.const := non.const + 1