<<>> <> <> <> <> <> <> DIRECTORY Char USING [XCHAR], Rope USING [ROPE]; TextFind: CEDAR DEFINITIONS ~ BEGIN XCHAR: TYPE ~ Char.XCHAR; ROPE: TYPE ~ Rope.ROPE; <> Direction: TYPE ~ {forward, backward}; LiteralSearch: PROC [direction: Direction, targetHash: PROC [INT] RETURNS [BYTE], targetStart: INT, targetLen: INT, objectHash: PROC [INT] RETURNS [BYTE], objectStart: INT, objectLen: INT, match: PROC [objectStart, targetStart, len: INT] RETURNS [BOOL], interrupt: REF BOOL Ź NIL] RETURNS [found: BOOL Ź FALSE, matchStart, matchEnd: INT Ź 0]; CharMap: TYPE ~ REF CharMapRep; CharMapRep: TYPE ~ PACKED ARRAY CHAR OF CHAR; CharMapFromCase: PROC [case: BOOL] RETURNS [CharMap]; <> <> FetchProc: TYPE ~ PROC [index: INT] RETURNS [XCHAR]; <> SubstrProc: TYPE ~ PROC [start, len: INT] RETURNS [Text]; <> Text: TYPE ~ REF; <> <<>> Target: TYPE ~ REF TargetRep; TargetRep: TYPE; -- see TextFindImpl CreateTarget: PROC [size: INT, start: INT Ź 0, len: INT Ź INT.LAST, fetch: FetchProc, substr: SubstrProc, pattern: BOOL Ź FALSE] RETURNS [Target]; <> < parse the text as a pattern description, else use it literally>> < ensure that the target has left and right boundary items>> <> Error: ERROR [index: INT, reason: ROPE]; WildType: TYPE ~ {any, alpha, nonalpha, blank, nonblank}; MatchTypeProc: TYPE ~ PROC [index: INT, type: WildType] RETURNS [BOOL]; <> MatchStringProc: TYPE ~ PROC [index: INT, text: Text, start: INT, len: INT] RETURNS [BOOL]; <> Bound: TYPE ~ {start, end}; MatchBoundProc: TYPE ~ PROC [index: INT, bound: Bound] RETURNS [BOOL]; <> Subs: TYPE ~ REF SubsRep; SubsRep: TYPE; -- see TextFindImpl Search: PROC [direction: Direction, target: Target, size: INT, start: INT Ź 0, len: INT Ź INT.LAST, substr: SubstrProc, matchType: MatchTypeProc, matchString: MatchStringProc, matchProps: MatchStringProc Ź NIL, matchBound: MatchBoundProc Ź NIL, interrupt: REF BOOL Ź NIL] RETURNS [found: BOOL Ź FALSE, matchStart, matchEnd, selStart, selEnd: INT Ź 0, subs: Subs Ź NIL]; <> <> <> <<>> ReplaceProc: TYPE ~ PROC [start, len: INT]; <> SubstituteProc: TYPE ~ PROC [text: Text, start, len: INT, nameStart, nameLen: INT]; <> Replace: PROC [replace: ReplaceProc, substitute: SubstituteProc, size: INT, start: INT Ź 0, len: INT Ź INT.LAST, fetch: FetchProc, pattern: BOOL Ź FALSE, subs: Subs Ź NIL]; <> <> <> <> RopeLiteralSearch: PROC [direction: Direction, target: ROPE, targetStart: INT Ź 0, targetLen: INT Ź INT.LAST, object: ROPE, objectStart: INT Ź 0, objectLen: INT Ź INT.LAST, case: BOOL Ź TRUE] RETURNS [found: BOOL, matchStart, matchEnd: INT Ź 0]; TargetFromRope: PROC [rope: ROPE, start: INT Ź 0, len: INT Ź INT.LAST, pattern: BOOL Ź FALSE] RETURNS [Target]; RopeSearch: PROC [direction: Direction, target: Target, rope: ROPE, start: INT Ź 0, len: INT Ź INT.LAST, case: BOOL Ź TRUE, word, def, all: BOOL Ź FALSE, interrupt: REF BOOL Ź NIL] RETURNS [found: BOOL Ź FALSE, matchStart, matchEnd, selStart, selEnd: INT Ź 0, subs: Subs Ź NIL]; <<>> RopeReplace: PROC [rope: ROPE, start: INT Ź 0, len: INT Ź INT.LAST, with: ROPE, pattern: BOOL Ź FALSE, subs: Subs Ź NIL] RETURNS [ROPE]; <<>> END.