<> <> <> <> DIRECTORY FeedbackTypes, GGInterfaceTypes, IO, Rope; GGSessionLog: CEDAR DEFINITIONS = BEGIN MsgRouter: TYPE = FeedbackTypes.MsgRouter; GGData: TYPE = GGInterfaceTypes.GGData; OpenScript: PROC [fileName: Rope.ROPE, ggData: GGData, oldStream: IO.STREAM _ NIL, oldScriptName: Rope.ROPE _ NIL] RETURNS [stream: IO.STREAM, fullName: Rope.ROPE]; <> AppendScript: PROC [fileName: Rope.ROPE, ggData: GGData, oldStream: IO.STREAM _ NIL, oldScriptName: Rope.ROPE] RETURNS [stream: IO.STREAM, fullName: Rope.ROPE]; CloseScript: PROC [stream: IO.STREAM, scriptName: Rope.ROPE, router: MsgRouter] RETURNS [newStream: IO.STREAM, newName: Rope.ROPE]; FlushScript: PROC [oldStream: IO.STREAM, oldScriptName: Rope.ROPE, router: MsgRouter] RETURNS [newStream: IO.STREAM, newName: Rope.ROPE]; <> EnterAction: PROC [clientData: REF, inputAction: REF]; PlaybackFromFile: PROC [fileName: Rope.ROPE, ggData: GGData]; EndOfScriptMessage: PROC [ggData: GGData, event: LIST OF REF ANY]; END.