![Show Menu](styles/mobile-menu.png)
![Page Background](./../common/page-substrates/page0020.jpg)
18
One Model, Many Interests, Many Views
Exit nodes establish the mapping between the completion of the decomposition behavior and the exit
branches of the parent function. There should be at least one exit node in the function decomposition
for each exit branch for the function. The name for the corresponding exit branch is shown below each
exit node icon.
Loop
A loop construct repeats a sequence of functions or constructs until a logical condition is satisfied.
A loop construct consists of a pair of decision nodes that enclose a branch and are connected with a
loop-back line. The branch can contain any number of functions and control constructs. These will be
repeatedly executed in sequence. The branch will typically contain a loop exit construct to conditionally
exit the loop construct. A descriptive Boolean annotation is generally provided for each loop construct
and is displayed above the loop-back line.
Loop Exit
The loop exit construct provides the mechanism for exiting a loop. When the loop exit construct is
encountered, the innermost loop is immediately terminated, enabling the construct or function
following the loop.