aboutsummaryrefslogtreecommitdiff
path: root/language/statements/flow-control.rst
diff options
context:
space:
mode:
Diffstat (limited to 'language/statements/flow-control.rst')
-rw-r--r--language/statements/flow-control.rst38
1 files changed, 38 insertions, 0 deletions
diff --git a/language/statements/flow-control.rst b/language/statements/flow-control.rst
new file mode 100644
index 0000000..9b21338
--- /dev/null
+++ b/language/statements/flow-control.rst
@@ -0,0 +1,38 @@
+Flow Control Statements
+^^^^^^^^^^^^^^^^^^^^^^^
+
+.. crowbar:element:: FlowControlStatement <- ContinueStatement / BreakStatement / ReturnStatement
+
+.. crowbar:element:: ContinueStatement <- 'continue' ';'
+
+ Compile-time Behavior:
+
+ Only valid inside a :crowbar:ref:`WhileStatement`, :crowbar:ref:`DoWhileStatement`, or :crowbar:ref:`ForStatement` block.
+
+ Runtime Behavior:
+
+ When a continue statement is executed, the innermost loop statement (while, do-while, or for) that contains the continue statement skips the remainder of the execution of its block.
+ For a while or do-while loop, this means skipping to the condition.
+ For a for loop, this means skipping to the update assignments.
+
+.. crowbar:element:: BreakStatement <- 'break' ';'
+
+ Compile-time Behavior:
+
+ Only valid inside a :crowbar:ref:`WhileStatement`, :crowbar:ref:`DoWhileStatement`, or :crowbar:ref:`ForStatement` block.
+
+ Runtime Behavior:
+
+ When a break statement is executed, the innermost loop statement (while, do-while, or for) that contains the break statement ends entirely, skipping any remaining statements, condition tests, or updates.
+
+.. crowbar:element:: ReturnStatement <- 'return' Expression? ';'
+
+ Compile-time Behavior:
+
+ The expression provided must have a type matching the return type of the containing function.
+ If the function has a return type of ``void``, the expression must be omitted.
+
+ Runtime Behavior:
+
+ When a return statement with an expression is executed, the expression is evaluated, and the containing function returns with the value obtained from this evaluation.
+ When a return statement with no expression is executed, the containing function returns.