WITH statement

PMP allows a limited form of the standard WITH statement:

with-statement = WITH identifier { "," identifier } DO block .

This statement does not generate code in PMP; it is only a programming facility.

Precedence is last to first identifier.

Restrictions:

In the present implementation of PMP, the following forms are not accepted:

WITH identifier "^" DO …  
WITH identifier DO …

where identifier is a pointer variable.

WITH identifier "." sub-field DO …