<<>> <> <> <> <> <> <> <<>> DIRECTORY FeedbackTypes, GGInterfaceTypes, GGSegmentTypes, GGUserInput, Imager, Rope; GGEvent: CEDAR DEFINITIONS = BEGIN MsgRouter: TYPE = FeedbackTypes.MsgRouter; GGData: TYPE = GGInterfaceTypes.GGData; SelectionClass: TYPE = GGSegmentTypes.SelectionClass; Slice: TYPE = GGInterfaceTypes.Slice; SliceDescriptor: TYPE = GGInterfaceTypes.SliceDescriptor; Scene: TYPE = GGInterfaceTypes.Scene; UserInputProc: TYPE = GGUserInput.UserInputProc; <<>> <> <<>> <> <<>> <> <<>> Get: UserInputProc; -- GGEventImplD.Get Clear: UserInputProc; -- GGEventImplD.Clear Store: UserInputProc; -- GGEventImplD.Store FileNameFromEvent: PROC [opName: Rope.ROPE, event: LIST OF REF ANY, currentWDir: Rope.ROPE, router: MsgRouter, emergency: BOOL ¬ FALSE] RETURNS [fileName, fullName: Rope.ROPE ¬ NIL, success: BOOL ¬ FALSE, versionSpecified: BOOL ¬ FALSE, noName: BOOL ¬ FALSE]; <<>> <> <<>> ToIP: UserInputProc; -- GGEventImplA.ToIP MergeIPEditable: UserInputProc; -- GGEventImplA.MergeIPEditable MergeIPSlice: UserInputProc; -- GGEventImplA.MergeIPSlice <<>> <> <<>> AreaColorFromColorTool: UserInputProc; -- GGEventImplD.AreaColorFromColorTool LineColorFromColorTool: UserInputProc; -- GGEventImplD.LineColorFromColorTool AreaColorAux: PROC [ggData: GGData, color: Imager.Color, name: Rope.ROPE, noisy: BOOL ¬ TRUE, setHow: ATOM]; <> LineColorAux: PROC [ggData: GGData, color: Imager.Color, name: Rope.ROPE, noisy: BOOL ¬ TRUE, setHow: ATOM]; FillColorFromSelectedIntensity: UserInputProc; StrokeColorFromSelectedIntensity: UserInputProc; <> <<>> <