document non-empty str requirement for text% find-string methods

This commit is contained in:
Stephen Chang 2016-12-15 16:34:01 -05:00 committed by Robby Findler
parent 5fed92d72a
commit b7b93e2c1e
2 changed files with 5 additions and 5 deletions

View File

@ -539,7 +539,7 @@
@definterface[text:searching<%> (editor:keymap<%> text:basic<%>)]{ @definterface[text:searching<%> (editor:keymap<%> text:basic<%>)]{
Any object matching this interface can be searched. Any object matching this interface can be searched.
@defmethod[(set-searching-state [str (or/c #f (and/c string? (not/c "")))] @defmethod[(set-searching-state [str (or/c #f non-empty-string?)]
[cs? boolean?] [cs? boolean?]
[replace-mode? boolean?] [replace-mode? boolean?]
[notify-frame? boolean?]) [notify-frame? boolean?])

View File

@ -637,7 +637,7 @@ can be any of the following:
} }
@defmethod[(find-string [str string?] @defmethod[(find-string [str non-empty-string?]
[direction (or/c 'forward 'backward) 'forward] [direction (or/c 'forward 'backward) 'forward]
[start (or/c exact-nonnegative-integer? 'start) 'start] [start (or/c exact-nonnegative-integer? 'start) 'start]
[end (or/c exact-nonnegative-integer? 'eof) 'eof] [end (or/c exact-nonnegative-integer? 'eof) 'eof]
@ -668,7 +668,7 @@ If @racket[case-sensitive?] is @racket[#f], then an uppercase and lowercase
} }
@defmethod[(find-string-embedded [str string?] @defmethod[(find-string-embedded [str non-empty-string?]
[direction (or/c 'forward 'backward) 'forward] [direction (or/c 'forward 'backward) 'forward]
[start (or/c exact-nonnegative-integer? 'start) 'start] [start (or/c exact-nonnegative-integer? 'start) 'start]
[end (or/c exact-nonnegative-integer? 'eof) 'eof] [end (or/c exact-nonnegative-integer? 'eof) 'eof]
@ -690,7 +690,7 @@ If @racket[case-sensitive?] is @racket[#f], then an uppercase and lowercase
search result position. search result position.
} }
@defmethod[(find-string-all [str string?] @defmethod[(find-string-all [str non-empty-string?]
[direction (or/c 'forward 'backward) 'forward] [direction (or/c 'forward 'backward) 'forward]
[start (or/c exact-nonnegative-integer? 'start) 'start] [start (or/c exact-nonnegative-integer? 'start) 'start]
[end (or/c exact-nonnegative-integer? 'eof) 'eof] [end (or/c exact-nonnegative-integer? 'eof) 'eof]
@ -704,7 +704,7 @@ Finds all occurrences of a string using @method[text% find-string]. If
} }
@defmethod[(find-string-embedded-all [str string?] @defmethod[(find-string-embedded-all [str non-empty-string?]
[direction (or/c 'forward 'backward) 'forward] [direction (or/c 'forward 'backward) 'forward]
[start (or/c exact-nonnegative-integer? 'start) 'start] [start (or/c exact-nonnegative-integer? 'start) 'start]
[end (or/c exact-nonnegative-integer? 'eof) 'eof] [end (or/c exact-nonnegative-integer? 'eof) 'eof]