Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
language:langs:chp [2021/12/29 20:47] – [More on channel expressions and probes] rajit | language:langs:chp [2022/01/01 00:18] – rajit | ||
---|---|---|---|
Line 126: | Line 126: | ||
</ | </ | ||
A do-while loop can have only one guard. This program executes '' | A do-while loop can have only one guard. This program executes '' | ||
+ | |||
+ | Loop guards can only use local variables. Hence, it is an error if a variable appearing in a loop guard is either (i) a global variable; or (ii) accessible via the port list of the process; or (iii) involves a channel probe. This ensures that loop guards cannot include any shared variables. | ||
==== Channels in expressions ==== | ==== Channels in expressions ==== |