<<>> <> <> <> <> DIRECTORY IO USING[STREAM], MBQueue USING[Queue], Rope USING[ROPE], StackCirio USING[Stack], ViewerClasses USING[Viewer]; CirioButtons: CEDAR DEFINITIONS = BEGIN Viewer: TYPE ~ ViewerClasses.Viewer; <> <<>> <> <<>> ViewerControl: TYPE = REF ViewerControlBody; ViewerControlBody: TYPE = MONITORED RECORD[ destroyStarted: BOOLEAN, okToDestroy: BOOLEAN, self: Viewer, script: Viewer, in: IO.STREAM, -- viewer typescript out: IO.STREAM, -- writes onto the viewer typescript mbQueue: MBQueue.Queue, nextButtonAction: LIST OF ButtonAction, lastButtonAction: LIST OF ButtonAction, formatPrompt: PROC [counter: INT, clientData: REF ANY] RETURNS [Rope.ROPE], interpretTextLine: PROC[line: Rope.ROPE, reports: IO.STREAM, clientData: REF ANY] RETURNS[Rope.ROPE], shutDown: PROC[clientData: REF ANY, reports: IO.STREAM], clientData: REF ANY ]; ButtonAction: TYPE = REF ButtonActionBody; ButtonActionBody: TYPE = RECORD[ action: PROC[ButtonAction], data: REF ANY, ignoreDestroyStarted: BOOLEAN _ FALSE]; CreateViewer: PROC [ name: Rope.ROPE, scriptY: CARD, formatPrompt: PROC [counter: INT, clientData: REF ANY] RETURNS [Rope.ROPE], interpretTextLine: PROC[line: Rope.ROPE, reports: IO.STREAM, clientData: REF ANY] RETURNS[Rope.ROPE], shutDown: PROC[clientData: REF ANY, reports: IO.STREAM], clientData: REF ANY] RETURNS[ViewerControl]; MainActionProc: PROC[control: ViewerControl]; <> <<>> <> <<>> <<>> InstallWalkStackButton: PROC[bs: ButtonSet, stack: StackCirio.Stack, threadIndexText: Rope.ROPE, frameIndexLabel: Viewer]; <<(threadIndexText will be NIL for a pop up debugger.)>> InstallShowFrameButton: PROC[bs: ButtonSet, stack: StackCirio.Stack]; InstallSourcePositionButton: PROC[bs: ButtonSet, stack: StackCirio.Stack]; InstallSourceLanguageButton: PROC[bs: ButtonSet, stack: StackCirio.Stack]; << >> <> ButtonSet: TYPE = REF ButtonSetBody; ButtonSetBody: TYPE = RECORD[ container: Viewer, <> vc: ViewerControl, validFlag: BOOLEAN, <> x, y: CARD, colX: CARD, lineH: CARD, fixedWidth: CARD _ 0]; <> ButtonSize: TYPE = RECORD[w, h: CARD]; CreateButtonSet: PROC[container: Viewer, vc: ViewerControl, x, y: CARD, colX: CARD, lineH: CARD, fixedWidth: CARD _ 0] RETURNS[ButtonSet]; KillButtonSet: PROC[bs: ButtonSet, paint: BOOLEAN _ TRUE] RETURNS[ButtonSet]; <> <> <> NewLine: PROC[bs: ButtonSet]; MoveToY: PROC[bs: ButtonSet, y: CARD]; -- resets x to colX SkipY: PROC[bs: ButtonSet, h: CARD]; MoveToX: PROC[bs: ButtonSet, x: CARD]; SkipX: PROC[bs: ButtonSet, w: CARD]; GetButtonSize: PROC[name: Rope.ROPE] RETURNS[ButtonSize]; InstallCommandButton: PROC [ bs: ButtonSet, name: Rope.ROPE, border: BOOL _ FALSE, guarded: BOOL _ FALSE, clientData1: REF ANY, choices: ChoiceList _ NIL, proc1: PROC[button: Viewer, vc: ViewerControl, key, clientData1: REF ANY] RETURNS[clientData2: REF ANY] _ NIL, proc2: PROC[button: Viewer, vc: ViewerControl, key, clientData1, clientData2: REF ANY]] RETURNS[Viewer]; <> <> <> ChoiceList: TYPE = LIST OF Choice; Choice: TYPE = RECORD [key: REF ANY, doc: Rope.ROPE]; InstallLabelButton: PROC[bs: ButtonSet, name: Rope.ROPE] RETURNS[Viewer]; InstallRule: PROC[bs: ButtonSet]; END..