6.11.14 The 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.