DIRECTORY HierarchicalDisplays, IO, OrderedSymbolTableRef, PrincOps, Rope, RoseConditions, RoseEvents, RoseRun, RoseTypes, Trees, ViewerClasses, ViewRec; RoseDisplayInsides: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Rope.ROPE; Viewer: TYPE = ViewerClasses.Viewer; Cell: TYPE = RoseTypes.Cell; Node: TYPE = RoseTypes.Node; TreeNode: TYPE = Trees.TreeNode; Condition: TYPE = RoseConditions.Condition; SymbolTable: TYPE = OrderedSymbolTableRef.Table; TreeNodeList: TYPE = LIST OF TreeNode; Display: TYPE = REF DisplayRep; DisplayRep: TYPE = RECORD [ sim: RoseTypes.Simulation, rootCell: Cell, cth: RoseTypes.CellTestHandle _ NIL, rootDisplay: HierarchicalDisplays.Parent, rv: ViewRec.RecordViewer, ctlPanel: ControlPanel, log: IO.STREAM, logging: Logging, conditionHandle, conditionsHandle: REF ANY _ NIL, notice: CONDITION, stopResponse: StopResponse _ Abort, stopped: PrincOps.FrameHandle _ NIL, type: TopType, parms: RoseRun.TestParms _ NIL, mucking: INTEGER _ 0]; DisplayMode: TYPE = {Value, Test}; Logging: TYPE = ARRAY LogSubject OF BOOL _ ALL[FALSE]; LogSubject: TYPE = {simple, special, switch}; StopResponse: TYPE = {Resume, Abort, Signal}; TopType: TYPE = {Ordinary, Test}; IncList: TYPE = LIST OF RoseConditions.IncrementalCondition; ControlPanel: TYPE = REF ControlPanelRep; ControlPanelRep: TYPE = RECORD [ display: Display, status: Status _ Idle, incrementalDisplay: BOOLEAN _ FALSE, logging: Logging, Pack: PROC [display: Display], NoticeEdits: PROC [display: Display] RETURNS [AOK: BOOLEAN], Run: PROC [display: Display], SingleStep: PROC [display: Display] RETURNS [stepType: RoseRun.StepType], Interrupt: PROC [display: Display], Disable: PROC [display: Display] RETURNS [ok: BOOL], Proceed, Abort, Signal: PROC [display: Display], ClearStack, ClearCondition, Or, PostCondition, RemoveCondition, PostIncremental, RemoveIncremental: PROC [display: Display], AddNamedCondition, DeleteNamedCondition: PROC [display: Display, name: ROPE], Save, Restore: PROC [display: Display, fileName: ROPE] RETURNS [errMsg: ROPE], mode: DisplayMode _ Value, conditions: SymbolTable, conditionStack: TreeNodeList _ NIL, condition: TreeNode _ NIL ]; Status: TYPE = {Idle, Running, Interrupted}; NodeDisplayList: TYPE = LIST OF NodeDisplay; NodeDisplay: TYPE = RECORD [ org: NodeOrigin, dc: HierarchicalDisplays.Child --where this display is ]; NodeOrigin: TYPE = RECORD [ socket: RoseTypes.Socket, display: Display]; CellBrowser: TYPE = REF CellBrowserRep; CellBrowserRep: TYPE = RECORD [ cell: Cell, display: Display, changed: BOOLEAN _ FALSE]; NodeElt: TYPE = REF NodeEltRep; NodeEltRep: TYPE = RECORD [ name: ROPE, node: Node, org: NodeOrigin, parent: CellBrowser, format: RoseTypes.Format, interfaceIndex: CARDINAL, interfaceNode, badString, changed: BOOLEAN _ FALSE, testData: REF ANY _ NIL, testProc: RoseTypes.NodeTestProc _ NIL]; CellState: TYPE = REF CellStateRep; CellStateRep: TYPE = RECORD [cb0: CellBrowser]; InterfaceNodes: TYPE = REF InterfaceNodesRep; InterfaceNodesRep: TYPE = RECORD [cb1: CellBrowser]; InternalNodes: TYPE = REF InternalNodesRep; InternalNodesRep: TYPE = RECORD [cb2: CellBrowser]; Components: TYPE = REF ComponentsRep; ComponentsRep: TYPE = RECORD [cb3: CellBrowser]; nodeDisplaysProp, cellStateDisplayProp: ATOM; leafProp: ATOM; nodeClass, cellClass, cellStateClass: HierarchicalDisplays.ChildClass; NDLSearch: PROC [ndl: NodeDisplayList, org: NodeOrigin, remove: BOOLEAN] RETURNS [newdl: NodeDisplayList, nd: NodeDisplay, found: BOOLEAN]; NotifyNodeView: RoseEvents.NotifyProc; NotifyCellView: RoseEvents.NotifyProc; NotifyNodeQ: RoseEvents.NotifyProc; NotifyNodeUD: RoseEvents.NotifyProc; NotifyPerturb: RoseEvents.NotifyProc; NotifyFound: RoseEvents.NotifyProc; Push: PROC [display: Display, cond: Condition]; Pop: PROC [display: Display] RETURNS [cond: Condition]; END. ΒRoseDisplayInsides.Mesa Last Edited by: Spreitzer, October 7, 1984 4:28:15 pm PDT Last Edited by: Barth, May 9, 1985 2:19:32 pm PDT Last Edited by: Gasbarro, July 17, 1984 3:58:22 pm PDT Κo˜J™J™9J™1J™6Icode˜KšΟk œœw˜™K˜KšΠbxœœ œ˜'K˜Kš˜K˜Kšœœœ˜Kšœœ˜$Kšœœ˜Kšœœ˜Kšœ œ˜ Kšœ œ˜+Kšœ œ˜0K˜K˜Kšœœœœ ˜&K˜Kšœ œœ ˜šœ œœ˜K˜Kšœ˜Kšœ œ˜$Kšœ)˜)Kšœ˜Kšœ˜Kšœœœ˜Kšœ˜Kšœ#œœœ˜1Kšœ œ˜Kšœ#˜#Kšœ œ˜$Kšœ˜Kšœœ˜Kšœ œ˜—K˜Kšœ œ˜"K˜Kš œ œœ œœœœ˜6Kšœ œ˜-K˜Kšœœ˜-K˜Kšœ œ˜!K˜Kšœ œœœ%˜