This file includes the VText Pounce
operation.
INTERFACEVTPounce ; IMPORT Point, Rd, Rect, Thread; IMPORT VTDef; TYPE View = VTDef.View; Pixels = VTDef.Pixels; I = VTDef.I; LineNo = VTDef.LineNo; SelectionMode = VTDef.SelectionMode; WhichEnd = VTDef.WhichEnd; PROCEDURE Locate ( view : View; p : Point.T; VAR (* OUT*) iL, iR: I; VAR (* OUT*) lineNo: LineNo; VAR (* OUT*) c : CHAR ) RAISES {Rd.EndOfFile, Rd.Failure, Thread.Alerted}; PROCEDURE Extend ( view : View; VAR (* INOUT*) iL, iR: I; lineNo: LineNo; c : CHAR; mode : SelectionMode) RAISES {Rd.EndOfFile, Rd.Failure, Thread.Alerted}; PROCEDURE Encage ( view: View; p : Point.T; iL : I; VAR (* OUT*) iM : I; iR : I; VAR (* OUT*) cage: Rect.T ): WhichEnd RAISES {Rd.EndOfFile, Rd.Failure, Thread.Alerted}; END VTPounce.