Branching statement

Branching statements are use to jump from a step in a use case to another step.

A branching statement has the form

[delay_specification] [condition_statement] ``GOTO'' [``STEP''] step_reference

• A step_reference is a number or a label assigned to a step within a use case.

Branching statements can only appear as last in a procedure.