Control Structures

From NARS2000
Revision as of 03:32, 22 February 2015 by Robert Wallick (talk | contribs) (augmented cases branching example)
Jump to navigationJump to search

Overview

:for varname :in expr... ⋄ :endfor Loop through the elements of expr assigning each value to varname, and then execute the statements between :for and :endfor.
:forlcl varname :in expr... ⋄ :endforlcl Same as :for except that the varname is localized to the :forlcl / :endforlcl control structure.
:goto expr Execute expr.
:if expr... ⋄ :endif Execute the statements between :if and :endif iff expr is 1.
:repeat ⋄ ... ⋄ :endrepeat Repeatedly execute the statements between :repeat and :endrepeat.
:repeat ⋄ ... ⋄ :until expr Repeatedly execute the statements between :repeat and :until until expr is 0.
:return Execute →0.
:select expr1 ⋄ :case expr2...
⋄ :caselist expr3... ⋄ :endselect
Execute a specific block of statements depending upon which :case or :caselist expression matches expr1.
:switch expr1 ⋄ :case expr2...
⋄ :caselist expr3... ⋄ :endswitch
Same as :select.
:while expr... ⋄ :endwhile Repeatedly execute the statements between :while and :endwhile while expr is 1.
:while expr1... ⋄ :until expr2 Repeatedly execute the statements between :while and :until while expr1 is 1 and expr2 is 0.


  • All Control Structures may be placed all or partly on one line as in :for I :in ⍳12 ⋄ ... ⋄ :endfor (very convenient for use in immediate execution mode), or on multiple lines as in
    :for I :in ⍳12
    ...
    :endfor

  • As usual for any statement, a label may be used at the beginning of any line even if it starts with a Control Structure. For example,
    [3] L1::if I < 10 ⋄ ...
  • Each Control Structure that closes with a statement-specific keyword (:endfor, :endforlcl, :endif, :endrepeat, :endselect, :endswitch, and :endwhile), may instead close with the :end keyword.


FOR/FORLCL Statements

:for varname :in expr :forlcl varname :in expr
... (Block of statements) ... (Block of statements)
:endfor :endforlcl

These statements evaluate expr once, loop through its elements, assign each successive value to varname, and then execute the block of statements once for each value in expr. The expr may be of any type (including character and nested), any rank, and any shape. If expr is empty, the block of statements is skipped.

With the :for statement, the varname is not localized to the :for loop; upon exiting the loop, varname has the last value assigned to it by the :for loop.

With the :forlcl statement, the varname is localized to the :forlcl loop; upon exiting the loop, varname has the value assigned to it before the :forlcl loop started.

To interrupt the flow of control within a block of statements, use the :continue or :leave keywords. The former keyword transfers control to the end of the block continuing with the next iteration, thus skipping the statements between the :continue and matching :endfor/:endforlcl keywords. The latter keyword exits the :for/:forlcl loop entirely and transfers control to the statement after the matching :endfor/:endforlcl statement. Typically, these two keywords appear within :if/:endif statements.

GOTO Statement

:goto expr

This statement transfers control to the line number specified in expr. The value of expr must be a numeric simple scalar or one-element vector. This statement is equivalent to expr.

IF Statement

:if expr1
... (Block of statements)
:elseif expr2
... (Block of statements)
:else
... (Block of statements)
:endif

This statement conditionally executes a block of statements.

Each expression must evaluate to a Boolean-valued scalar or one-element vector.

Each :if and :elseif statement may be followed by zero or more statements which form the block of statements controlled by that statement.

The :if statement may be followed by zero or more :elseif blocks. Optionally, the :else statement may appear after all :elseif statements to handle the case where none of the previous expressions was true (evaluated to a 1).

Each :if and :elseif statement may be followed by zero or more :andif statements to narrow the conditions under which the following block of statements is executed, or may be followed by zero or more :orif statements to widen the conditions under which the following block of statements is executed. The :andif and :orif statements may not be mixed within any :if or :elseif statement.

REPEAT Statement

:repeat :repeat
... (Block of statements) ... (Block of statements)
:endrepeat :until expr

This statement executes a block of statements repeatedly (but at least once) until the :until expression is true, or control transfers out of the Control Structure.

In the righthand form above, the block of statements is executed and then the expression is executed. It must evaluate to a Boolean-valued scalar or one-element vector. If the expression is true, the Control Structure terminates and execution continues with the statement after the :until statement; if the expression is false, execution continues at the start of the Control Structure.

The :until statement may be followed by zero or more :andif statements to widen the conditions under which the block of statements is executed, or it may be followed by zero or more :orif statements to narrow the conditions under which the block of statements is executed. The :andif and :orif statements may not be mixed after an :until statement.

To interrupt the flow of control within a block of statements, use the :continue or :leave keywords. The former keyword transfers control to the end of the block continuing with the next repetition, skipping the statements between the :continue and matching :endrepeat or :until keywords. The latter keyword exits the :repeat loop entirely and transfers control to the statement after the matching :endrepeat or :until statement. Typically, these two keywords appear within :if statements.

RETURN Statement

:return

This statement exits the current function and is equivalent to →0.

SELECT/SWITCH Statements

:select expr1
:case expr2
... (Block of statements)
:caselist expr3
... (Block of statements)
:else
... (Block of statements)
:endselect

   OR   

:switch expr1
:case expr2
... (Block of statements)
:caselist expr3
... (Block of statements)
:else
... (Block of statements)
:endswitch

This statement provides a mechanism for making a choice from multiple cases as to which block of statements is executed. The :select statement expression is evaluated and compared against each successive :case expression and the successive items in each :caselist expression. Control is given to the first block of statements whose corresponding expression (or expression item in the case of :caselist) matches the :select expression.

For the :case statement, its expression is compared with the :select statement's expression. The comparison uses the Match function (≡), so it takes into account rank and shape at every level.

For the :caselist statement, the successive items in its expression are compared with the :select statement's expression. As with the :case statement the comparison uses the Match function. The :case statements allows you to combine multiple selection criteria into one expression. It is equivalent to the C language use of multiple case statements preceding a block of statements.

Unlike the C language switch statement, the :case and :caselist expressions need not be constant, and there may be multiple :case or :caselist statements whose expressions evaluate to the same value — however only the earliest occurrence is selected.

When the last statement in a block of statements is executed, the system exits the :select control structure. The :leave statement may be used to exit that block before reaching the last statement, similar to the C language break statement.

Each :case and :caselist statement may be followed by zero or more statements which form the block of statements controlled by that statement.

The :select statement may be followed by a mixture of zero or more :case and :caselist blocks. Optionally, the :else statement may appear after all :case and :caselist statements to handle the case where none of the previous :case or :caselist expressions match the :select expression — in this context, the :else statement is similar to the C language default statement.

Because of the way :select statements are executed, a line with a :case or :caselist statement may not be a branch target; otherwise a DESTINATION ERROR is signaled. That is, a :select statement may be entered at the top only.

:switch is an alias for :select; in the above discussion wherever :select appears, you may substitute :switch.

Cases Branching Example 1

As an alternative to the Select/Switch control structure(s) above, for a pure original APL solution to Multiple Cases scenarios in a user-function, consider using the following APL control structure. For example the following user-function, has one local variable (boolCases) with 6 different cases handled:
BranchingExample1;boolCases
[1] ⍝MULTIPLE CASES: Branching/GoTo Example #1
[2] boolCases←0 1 1 1 0 0       ⍝Leftmost boolean 1 determines which case or block will be executed { 0 1 1 1 0 0 }
[3] →boolCases/(Label1 Label2 Label3 Label4 Label5 Label6)
[4] 'Did NOT branch, Case ELSE.'
[5] →Next1
[6] Label1: 'Do this, Label1'
[7] →Next1
[8] Label2: 'Do this, Label2'         ⍝This case will get branched to based on boolCases!
[9] →Next1
[10] Label3: 'Do this, Label3'
[11] →Next1
[12] Label4: 'Do this, Label4'
[13] →Next1
[14] Label5: 'Do this, Label5'
[15] →Next1
[16] Label6: 'Do this, Label6'
[17] Next1: 'Code continues here.'

        BranchingExample1       ⍝User-session, BranchingExample1 typed in by user.
Do this, Label2
Code continues here.

WHILE Statement

:while expr1 :while expr1
... (Block of statements) ... (Block of statements)
:endwhile :until expr2

This statement executes a block of statements repeatedly until the :while expression is false, or the :until expression is true, or control transfers out of the Control Structure.

The expressions must evaluate to a Boolean-valued scalar or one-element vector.

In the righthand form above, if the :while expression evaluates to a scalar or one-element vector whose value is 1, the block of statements is executed and then the :until expression is executed. It must evaluate to a Boolean-valued scalar or one-element vector. If the :until expression is true, the Control Structure terminates and execution continues with the statement after the :until statement; if the :until expression is false, execution continues at the start of the Control Structure.

The :while statement may be followed by zero or more :andif statements to narrow the conditions under which the block of statements is executed, or it may be followed by zero or more :orif statements to widen the conditions under which the block of statements is executed. The :andif and :orif statements may not be mixed after a :while statement.

The :until statement may be followed by zero or more :andif statements to widen the conditions under which execution the block of statements is executed, or it may be followed by zero or more :orif statements to narrow the conditions under which the block of statements is executed. The :andif and :orif statements may not be mixed after an :until statement.

To interrupt the flow of control within a block of statements, use the :continue or :leave keywords. The former keyword transfers control to the end of the block continuing with the next repetition, skipping the statements between the :continue and matching :endwhile or :until keywords, but evaluating and acting upon an :until statement, if present. The latter keyword exits the :while loop entirely and transfers control to the statement after the matching :endwhile or :until statement. Typically, these two keywords appear within :if statements.