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_keyword step_reference

• Any of the following is accepted as goto_keyword

  ``GO TO''

  ``GO TO STEP''

  ``GO BACK TO''

  ``GO BACK TO STEP''

  ``GOTO''

  ``GOTO STEP''

• 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.