TOPS-20 PASCAL Language Manual - Bitsavers

PASC~L
STATEMENTS
5.5 THE WITH STATEMENT
The WITH statement provides abbreviated notation for references to
fieJds of a record.
Fo rma t
WITH record variabJe [,record variable .•. ]
DO statement;
where:
record variable specifies the name of the record variable to
which the statement refers.
The WITH statement allows you to refer to the fields
directly instead of using the record.fieldname format.
WITH statement opens the scope of the field identifiers
can use them as you would use variable identifiers.
of a record
In effect, the
so tha t you
Specifying more than one record variable has the same effect as
nesting WITH statements. The names must appear in the order of their
declaration. Thus, the following two statements are equivalent:
and
WITH Cat, Dos DO
Bills := Bills + Catvet + Do~vet;
WITH Cat DO
WITH Dos DO
Bills := Bills + Catvet + Dosvet;
Note that if the record Dog is nested within the record Cnt, you
specify Cat before Dog.
must
Example 1
RECORD
Gross : REAL;
Net : REAL;
Bracket : REAL.;
Itemized : BOOLEAN;
Paid : REAL
END;
WITH TaNes DO
IF Net < 10000.0 THEN Itemized := TRUE;
This statement tests the value of the field Taxes.Net, and sets
Taxes.Itemized to TRUE if Taxes.Net is less than 10000.0.
5-12