<> <> <> <> <> DIRECTORY Pipal, PipalEdit, PipalInt, PipalReal; PipalOverlayEditor: CEDAR DEFINITIONS = BEGIN <> <> <> overlayEditorClass: Pipal.Class; OverlayEditor: TYPE = REF OverlayEditorRec; OverlayEditorRec: TYPE = RECORD [ selected: Pipal.Objects _ NIL]; <> Create: PROC [overlay: Pipal.Overlay] RETURNS [editor: PipalEdit.Editor]; <> <<>> Freeze: PROC [editor: PipalEdit.Editor] RETURNS [overlay: Pipal.Overlay]; <> Edit: PROC [editor: PipalEdit.Editor]; <> <> <> Select: PROC [editor: PipalEdit.Editor, exclusive: BOOL _ TRUE, remove: BOOL _ FALSE, style: ATOM, pos1: PipalReal.Position, pos2: PipalReal.Position] RETURNS [changedArea: Pipal.Object _ NIL]; <<>> <> < $Select>> < ({$Add, $Exclusive}, {$Select, $Deselect}, {$Point, $Area, $Touch, $Close}, Position, Size)>> <> <<>> < $SelectedOutlines>> <> <> InsertInt: PROC [editor: PipalEdit.Editor, child: Pipal.Object, position: PipalInt.Position, selectNew: BOOL _ TRUE]; InsertReal: PROC [editor: PipalEdit.Editor, child: Pipal.Object, position: PipalReal.Position, selectNew: BOOL _ TRUE]; <> Delete: PROC [editor: PipalEdit.Editor] RETURNS [changedArea: Pipal.Object _ NIL]; <> <> <> <> <> <<>> <> <> <> <<>> <> <> <<>> <> <> <<>> END.