next up previous
Next: Pascal Section 6.2.2.7 Up: Enforcing Constraints Previous: Enforcing Constraints

Pascal Section 6.2.2.1

Each identifier or label contained by the program-block shall have a defining-point. This context condition is checked by a module computation that is implemented by the ChkIdUse role:

Pascal Section 6.2.2.1[3]:
TREE SYMBOL LblIdUse INHERITS ChkIdUse END;
TREE SYMBOL ConIdUse INHERITS ChkIdUse END;
TREE SYMBOL TypIdUse INHERITS ChkIdUse END;
TREE SYMBOL PrcIdUse INHERITS ChkIdUse END;
TREE SYMBOL FncIdUse INHERITS ChkIdUse END;
TREE SYMBOL ExpIdUse INHERITS ChkIdUse END;
This macro is defined in definitions 3.
This macro is invoked in definition 1.



2008-08-29