Next: , Previous: If, Up: Statements



6.11.9 The parallel Statement

By using the parallel statement, more than one continuation of an analysis can be generated. Its format is:

     parallel
       statements1
     and
       statements2
     and
       statements3
     ...
     end parallel;

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 parallel statement.

The keyword parallel behind the end can be omitted.