With statements

The with statement specifies a record variable and a statement sequence. In these statements the qualification of field identifiers may be omitted, if they are to refer to the variable specified in the with clause. If the designator denotes a component of a structured variable, the selector is evaluated once (before the statement sequence). The with statement opens a new scope.

   WithStatement = WITH designator DO StatementSequence END.

Example:

   WITH t^ DO
	  key:= 0; left:= NIL; right:= NIL
   END

Source:

• Wirth N: Programming in Modula-2, 3rd ed. Springer Verlag, Berlin, 1985.
• Stony Brook Modula-2 documentation. Used with permission. Note: Stony-Brook M2 offers an extended syntax with features not described here. Stony Brook M2 users are encouraged to visit the Stony Brook website and to consult the Stony Brook help system.