<> <> <> <> <> <> <<>> 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; <> <<>> <