suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

tightened up inserts contract

Browse Source 
svn: r18446
This commit is contained in:
Robby Findler 2010-03-03 16:42:45 +00:00
parent 71911772c6
commit a02520d692
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/scribblings/gui/text-class.scrbl
View File

@ -1048,7 +1048,8 @@ See also @method[text% caret-hidden?] and @method[editor<%> lock].
[end (or/c exact-nonnegative-integer? 'same) 'same]
[scroll-ok? any/c #t])
void?]
[(insert [n exact-nonnegative-integer?]
[(insert [n (and/c exact-nonnegative-integer?
(<=/c (string-length str)))]
[str string?]
[start exact-nonnegative-integer?]
[end (or/c exact-nonnegative-integer? 'same) 'same]
@ -1056,7 +1057,8 @@ See also @method[text% caret-hidden?] and @method[editor<%> lock].
void?]
[(insert [str string?])
void?]
[(insert [n exact-nonnegative-integer?]
[(insert [n (and/c exact-nonnegative-integer?
(<=/c (string-length str)))]
[str string?])
void?]
[(insert [snip (is-a?/c snip%)]