DiffInWell.mesa
Copyright © 1986 by Xerox Corporation. All rights reserved.
Giordano Bruno Beretta, May 27, 1986 1:59:07 pm PDT
gbb May 27, 1986 5:27:09 pm PDT
Checks that diffusion is in the correct well. This implementation is "flat", because wells are not layed out hierarchically anyway.
DIRECTORY
CD USING [Design, Instance, Number, Rect],
Rope USING [ROPE];
DiffInWell: CEDAR DEFINITIONS ~ BEGIN
externalKey: ATOM ~ $GismoDIW; -- used in traffic with external packages
errorKey: ATOM ~ $GismoDIWError;
Rule: TYPE ~ RECORD [extent: CD.Number, msg: Rope.ROPE];
ErrorList: TYPE ~ LIST OF RECORD [rule: Rule, where: CD.Rect];
Verify:
PROC [c:
CD.Instance, d:
CD.Design ←
NIL, abort:
REF
BOOL ←
NIL]
RETURNS [errors: ErrorList, errorTotal:
INT]
If a design is not provided, the error messages are displayed in the terminal viewer.
END.