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 ==== | ||