6.11 Statements

A rule body contains a sequence of statements.

The statements are the assignment and the statements beginning with assert, choose, define, error, foreach, if, parallel, repeat, require, result, return, and stop.

• Assert: Report an error if condition is not met.
• The Assignment: Assign a new value to a variable.
• Break: Break a foreach loop.
• Choose: Branch the current path for different values.
• Define: Define a new variable.
• Error: Report an error.
• Foreach: Repeat statements for a given number of iterations.
• If: Conditionally execute statements.
• Parallel: Branch the current path for different statements.
• Repeat: Repeat statements for an unknown number of iterations.
• Require: Terminate the current path if condition is not met.
• Result: Emit a result in a rule.
• Return: Terminate the current subrule and return a value.
• Stop: Terminate a path.