Next: Stop, Previous: Return, Up: Statements
select
Statement
By using the select
statement, more than one continuation of an
analysis path can be generated. Its format is:
select statements1 or statements2 or statements3 ... end select;
This creates as many rule paths as there are statement sequences. In the
first rule path, statements1 are executed, in the second one
statements2 are executed, etc. Each rule path continues by
executing the statements following the select
statement.
The keyword select
behind the end
can be omitted.