Add for loop functionality to model

[Stephen Siegel]

Add a ForLoopLocationIF which extends LoopLocationIF. Ditto for the implementing classes.

A for loop has the form

for(initStatement; condition; incrementStatement) S

It is syntactic sugar for

initStatement;
while (condition) {
  S;
  incrementStatement;
}

The ForLoopLocation should provide a way to get the additional information: the initStatement (which actually comes before the ForLoopLocation), and the increment statement (which is part of the loop body). The condition is already accessible as it is a special case of the while loop.

Each statement (init or increment) can actually consist of multiple statements, so perhaps the class should provide methods to get the first and last location in the sequence, or something like that.

You then need to add methods to the ModelIF and Model to create such locations.

[zirkel]

For loops have been added

[Stephen Siegel]

Is there a ForLoopLocationIF?
There needs to be a way for the verification system to find out this is a for loop and get the initialization statement and increment statement.

[zirkel]

Added ForLoopLocationIF and supporting changes