Fix a few framework contracts to match code

(cherry picked from commit 6c3284a828)
This commit is contained in:
Asumu Takikawa 2011-07-14 17:39:07 -04:00 committed by Eli Barzilay
parent 225f563bda
commit 2c70c98228
2 changed files with 4 additions and 3 deletions

View File

@ -207,7 +207,7 @@
be inserted, even if it is not the right kind. If @racket[flash?] is true,
the matching open parenthesis will be flashed.
}
@defmethod*[(((classify-position (position exact-nonnegative-integer?)) symbol?))]{
@defmethod*[(((classify-position (position exact-nonnegative-integer?)) (or/c symbol? #f)))]{
Return a symbol for the lexer-determined token type for the token that
contains the item after @racket[position].

View File

@ -67,12 +67,13 @@
}
@defmethod*[(((tabify (start-pos exact-integer?
(send this text get-start-position)))
(send this get-start-position)))
void?))]{
Tabs the line containing by @racket[start-pos]
}
@defmethod*[(((tabify-selection (start exact-integer?) (end exact-integer?))
@defmethod*[(((tabify-selection (start exact-integer? (send this get-start-position))
(end exact-integer? (send this get-end-position)))
void?))]{
Sets the tabbing for the lines containing positions @racket[start]
through @racket[end].