CDImports.mesa (part of ChipNDale)
Copyright © 1984, 1985 by Xerox Corporation. All rights reserved.
by Christian Jacobi, March 20, 1984 5:50:51 pm PST
last edited Christian Jacobi, April 11, 1985 1:02:08 pm PST
CDImports: CEDAR DEFINITIONS =
BEGIN
-- no design is allowed to make circular imports
IsImport:
PROC [ob:
CD.Object]
RETURNS [
BOOL] =
INLINE {
RETURN [ISTYPE[ob.specificRef, ReferencePtr]]
};
ReferencePtr: TYPE = REF ReferenceRep;
ReferenceRep:
TYPE =
RECORD [
boundInstance: CD.Instance ← NIL, -- NIL if not yet bound
ir: CD.Rect ← [0, 0, -1, -1],
objectName: Rope.ROPE ← NIL,
designName: Rope.ROPE ← NIL
];
ImportList: TYPE = RECORD [list: LIST OF REF Import]; -- describes all the imports of a design
Import:
TYPE =
RECORD[
-- describes imports of one particular importee-design
importee: CD.Design ← NIL, -- NIL means not yet bound
importeeName: Rope.ROPE ← NIL,
referenceList:
LIST
OF
CD.Object ←
NIL
-- all references must be accessible,
-- to allow later binding.
];
BoolOrInteractive: TYPE = {true, false, interactive};
GetReference:
PROC [design:
CD.Design, objectName, importeeName: Rope.
ROPE]
RETURNS [ob:
CD.Object];
--importeeName must already be imported and object objectName must exist
--Returns nil if not done.
--Multiple creation may return same object.
GetImportList:
PROC [design:
CD.Design]
RETURNS [
REF ImportList];
-- consider the list READONLY
GetImport:
PROC [design:
CD.Design, importeeName: Rope.
ROPE, createIfNotFound: BoolOrInteractive�lse]
RETURNS [
REF Import];
-- consider the returned record READONLY
DoImport:
PROC [design:
CD.Design, importee:
CD.Design,
allowOverload, allowConflicts: BoolOrInteractive←true] RETURNS [done: BOOL];
--You give up control of importee, which should not have any viewer.
--Caller knows importee.name, which is the import which will be bound.
--Procedure talks to TerminalIO.
MergeInImport:
PROC [design:
CD.Design, importeeName: Rope.
ROPE];
--Includes all the imported and bound objects from importeeName (including
--their transitive closure; but not indirect imports) into design.
HasUnloadedImports: PROC [d: CD.Design] RETURNS [BOOL];
END.