DIRECTORY OrderedSymbolTableRef, RoseTypes;RoseCreate: CEDAR DEFINITIONS =BEGIN OPEN RoseTypes;InterfaceMismatch: ERROR [cell: Cell,index: CARDINAL,expected, got: NodeType];RegisterCellType: PROC [name: ROPE, expandProc: ExpandProc _ NIL, ioCreator: IOCreator _ NIL, initializer: Initializer _ NIL, evals: EvalProcs, blackBox, stateToo: CellTestProc _ NIL, ports: Ports, drivePrototype: REF ANY _ NIL, typeData: REF ANY _ NIL, other: Assertions _ NIL] RETURNS [type: CellType];GetCellType: PROC [name: ROPE] RETURNS [type: CellType];CreateSim: PROC [steady: BOOL] RETURNS [sim: Simulation];CreateTopCell: PROC [instanceName, typeName: ROPE, decider: ExpandDeciderClosure, sim: Simulation] RETURNS [cell: Cell];ExpandDeciderClosure: TYPE = REF ExpandDeciderClosureRep;ExpandDeciderClosureRep: TYPE = RECORD [Decide: ExpandDecider, otherData: REF ANY];ExpandDecider: TYPE = PROC [cell: Cell, otherData: REF ANY] RETURNS [ExpandDecision];Possible: PROC [cell: Cell, whatToDo: ExpandDecision] RETURNS [possible: BOOLEAN];PickInOrder: PROC [--earlier=better--ExpandDecisionList] RETURNS [ExpandDeciderClosure];ExpandDecisionList: TYPE = LIST OF ExpandDecision;inlineFirst: ExpandDeciderClosure --= PickInOrder[LIST[Inline, Nested, Leaf]]--;nestedFirst: ExpandDeciderClosure --= PickInOrder[LIST[Nested, Inline, Leaf]]--;ByDepth: PROC [shallow: ExpandDeciderClosure, boundary: INT, deep: ExpandDeciderClosure] RETURNS [ExpandDeciderClosure];CreateTest: PROC [rootName, testerName, testeeName, typeName: ROPE, stateToo: BOOL _ TRUE, decider: ExpandDeciderClosure, sim: Simulation] RETURNS [root: Cell, cth: CellTestHandle];WrapTop: PROC [rootName, typeName: ROPE, decider: ExpandDeciderClosure, clocks: ROPE _ NIL, sim: Simulation] RETURNS [root: Cell];XPhobicize: PROC [n: Node] RETURNS [m: Node-- = n --];PortsFromROPE: PROC [asRope: ROPE] RETURNS [ports: Ports];PortsFromFile: PROC [fileName: ROPE] RETURNS [ports: Ports];PortsFromStream: PROC [stream: STREAM] RETURNS [ports: Ports];AssertionsFromFile: PROC [fileName: ROPE] RETURNS [Assertions];GetOtherss: PROC [fileName: ROPE] RETURNS [SymbolTable];GetOthers: PROC [otherss: SymbolTable, cellTypeName: ROPE] RETURNS [SymbolTable];GetOther: PROC [others: SymbolTable, partName: ROPE] RETURNS [Assertions];DecideFromFile: PROC [fileName: ROPE] RETURNS [dff: ExpandDeciderClosure];LookupCell: PROC [path: LIST OF REF ANY --ROPEs or REF TEXTs--,from: Cell _ NIL --NIL means first name names root--]RETURNS [cell: Cell];LookupNode: PROC [path: LIST OF REF ANY,from: Cell _ NIL]RETURNS [node: Node];LookupCellNode: PROC [cell: Cell, name: ROPE] RETURNS [node: Node];LongNodeName: PROC [n: Node] RETURNS [name: ROPE];LongCellName: PROC [c: Cell] RETURNS [name: ROPE];FillInInterfaceNodes: PROC [cell: Cell, interfaceNodes: ROPE];CompareNodes, CompareComponents: OrderedSymbolTableRef.CompareProc;EnsureEnvironment: PROC [in: Cell, forType: CellType, to: ExpansionReceiver];MirrorPorts: PROC [fwd: Ports, alwaysOutput, alwaysInput: BOOL _ FALSE] RETURNS [bkwd: Ports];MakeMoreIO: PROC [cell: Cell, bToo: BOOL] RETURNS [a, b: REF ANY];EqualInterfaces: PROC [a, b: Ports] RETURNS [equal: BOOL];roots: SymbolTable;END.    [Indigo]<Rosemary>2.6>Rosemary.df=>RoseCreate.MesaLast Edited by: Spreitzer, January 17, 1985 4:43:28 pm PSTLast Edited by: Gasbarro, August 16, 1984 4:03:20 pm PDTsteady indicates whether this is for working on the steady-state, or initialization.interfaceNodes must be empty at the top.Uses shallow when depth <= boundary, deep when depth > boundary.Depth of root is 0.Given a type with a non-empty interface, this will create (if necessary) and instantiate a type, with an empty interface, whose ExpandProc instantiates the given type, and the nodes it needs.  The instance name used for the component is the type name with its first character lowercased.  If clocks # NIL, a clock generator will also be instantiated, with its outputs connected to the nodes named in clocks.Э╩]  Ц"cedar" styleШ JЩ2JЩ:JЩ8JШ IcodeЪ╧k	Ь"Ш+KШ KЪ╨bx
ЬЭЬЭЬШKШ KЪЭЬЭЬШKШ Ъ╧bЬЭЬШ%KЪЬЭЬШKЪЬШЧKШ KЪ╧nЬЭЬЭЬЭЬЭЬЭЬ7ЭЬ ЭЬЭЬЭЬЭЬЭЬЭЬЭЬЭЬШ░KШ KЪаЬЭЬЭЬЭЬШ8KШ Ъа	ЬЭЬ
ЭЬЭЬШ9JЩTЧKШ ЪаЬЭЬЭЬ2ЭЬШxJЩ(KШ KЪЬЭЬЭЬШ9ЪЬЭЬЭЬШ(KЪЬ"ЭЬЭЬШ+ЧKШ KЪаЬЭЬЭЬЭЬЭЬЭЬШUKШ KЪаЬЭЬ(ЭЬЭЬШRKШ ЪаЬЭЬ╧cЬЭЬШXKЪЬЭЬЭЬЭЬШ2ЧKЪЬ"б-ЬШPKЪЬ"б-ЬШPKШ ЪаЬЭЬ+ЭЬЭЬШxKЪЬ@Щ@KЩЧЧKШ KЪа
ЬЭЬ.ЭЬЭЬЭЬ2ЭЬ#Ш╡KШ ЪаЬЭЬЭЬ)ЭЬЭЬЭЬШВKЩЧЧKШ KЪа
ЬЭЬЭЬ	б	ЬШ6KШ KЪаЬЭЬ
ЭЬЭЬШ:KЪаЬЭЬЭЬЭЬШ<KЪаЬЭЬ
ЭЬЭЬШ>KШ KЪаЬЭЬЭЬЭЬШ?KШ KЪа
ЬЭЬЭЬЭЬШ8KЪа	ЬЭЬ&ЭЬЭЬШQKЪаЬЭЬ!ЭЬЭЬШJKШ KЪаЬЭЬЭЬЭЬШJKШ Ъа
ЬЭЬШKЪЬЭЬЭЬЭЬЭЬбЬШ-KЪЬЭЬб#ЬШ5KЪЭЬШЧKШ Ъа
ЬЭЬШKЪ	ЬЭЬЭЬЭЬЭЬШKЪЬЭЬШKЪЭЬШЧKШ KЪаЬЭЬЭЬЭЬШCKШ KЪаЬЭЬЭЬЭЬШ2KЪаЬЭЬЭЬЭЬШ2KШ KЪаЬЭЬЭЬШ>KЪЬCШCKШ KЪаЬЭЬ6ШMKШ KЪ
аЬЭЬ)ЭЬЭЬЭЬШ^KЪа
ЬЭЬЭЬЭЬЭЬЭЬШBKШ KЪаЬЭЬЭЬ	ЭЬШ:KШ KЪЬШKШ KЪЭЬШЧ ЕЧ    ж    