SaffronContextInvariants.Mesa
Copyright Ó 1988 by Xerox Corporation. All rights reserved.
James Rauen, July 19, 1988 4:07:31 pm PDT
DIRECTORY
Rope USING [ROPE],
SaffronBaseDef USING [EnvironmentNode];
SaffronContextInvariants:
CEDAR
DEFINITIONS =
BEGIN
Violation: ERROR[message: Rope.ROPE, value: REF ANY];
Verify: PROC [env: SaffronBaseDef.EnvironmentNode];
END.