DraculaOps.mesa
Copyright Ó 1987 by Xerox Corporation. All rights reserved.
Christian Le Cocq March 15, 1988 12:43:18 pm PST
DIRECTORY
CD
USING [Instance, Design],
Rope
USING [
ROPE];
DraculaOps:
CEDAR
DEFINITIONS ~
BEGIN
DRCInstance:
PROC [instance:
CD.Instance, design:
CD.Design, rules: Rope.
ROPE]
RETURNS [reportMsg: Rope.
ROPE ←
NIL, hasErrors:
BOOLEAN ←
TRUE];
checks the instance according to the specified rules.
END.