<> <> <> <> <> <<>> DIRECTORY AtomButtonsTypes, IO, Rope, ViewerClasses; Feedback: CEDAR DEFINITIONS = BEGIN Viewer: TYPE = ViewerClasses.Viewer; FeedbackData: TYPE = REF FeedbackDataObj; FeedbackDataObj: TYPE = AtomButtonsTypes.FeedbackDataObj; Problem: SIGNAL [msg: Rope.ROPE]; MsgType: TYPE = {oneLiner, begin, middle, end}; OpenTypescript: PROC [headerText: Rope.ROPE, atomName: ATOM, openHeight: NAT _ 120] RETURNS [alreadyExists: BOOL, typescript: Viewer]; <> GetTypescriptStream: PROC [atomName: ATOM] RETURNS [IO.STREAM]; <> RegisterFeedback: PROC [label: Viewer, atomName: ATOM] RETURNS [feedback: FeedbackData]; <> ClearHerald: PROC [feedback: FeedbackData]; <> ClearHeraldRaw: PROC [atomName: ATOM]; <> <<>> Blink: PROC [feedback: FeedbackData]; <> BlinkRaw: PROC [atomName: ATOM]; <> Append: PROC [feedback: FeedbackData, msg: Rope.ROPE, msgType: MsgType]; <> AppendHerald: PROC [feedback: FeedbackData, msg: Rope.ROPE, msgType: MsgType]; <> AppendTypescript: PROC [feedback: FeedbackData, msg: Rope.ROPE, msgType: MsgType]; <> <<>> AppendRaw: PROC [atomName: ATOM, msg: Rope.ROPE, msgType: MsgType]; <> AppendHeraldRaw: PROC [atomName: ATOM, msg: Rope.ROPE, msgType: MsgType]; <> AppendTypescriptRaw: PROC [atomName: ATOM, msg: Rope.ROPE, msgType: MsgType]; <> PutF: PROC [feedback: FeedbackData, msgType: MsgType, format: Rope.ROPE _ NIL, v1, v2, v3, v4, v5: IO.Value _ [null[]] ]; <> PutFHerald: PROC [feedback: FeedbackData, msgType: MsgType, format: Rope.ROPE _ NIL, v1, v2, v3, v4, v5: IO.Value _ [null[]] ]; <> PutFTypescript: PROC [feedback: FeedbackData, msgType: MsgType, format: Rope.ROPE _ NIL, v1, v2, v3, v4, v5: IO.Value _ [null[]] ]; <> <<>> PutFRaw: PROC [atomName: ATOM, msgType: MsgType, format: Rope.ROPE _ NIL, v1, v2, v3, v4, v5: IO.Value _ [null[]] ]; <> PutFHeraldRaw: PROC [atomName: ATOM, msgType: MsgType, format: Rope.ROPE _ NIL, v1, v2, v3, v4, v5: IO.Value _ [null[]] ]; <> PutFTypescriptRaw: PROC [atomName: ATOM, msgType: MsgType, format: Rope.ROPE _ NIL, v1, v2, v3, v4, v5: IO.Value _ [null[]] ]; <> END.