Removing contract notes, taken care of by script now

svn: r6409
This commit is contained in:
Jay McCarthy 2007-05-30 16:00:59 +00:00
parent 46d1b3d234
commit a3a8ba3636
19 changed files with 11 additions and 33 deletions

View File

@ -80,13 +80,12 @@
new-config@) new-config@)
(provide ; XXX contract (provide
make-make-servlet-namespace make-make-servlet-namespace
load-configuration-sexpr) load-configuration-sexpr)
(provide/contract (provide/contract
[complete-configuration (path-string? configuration-table? . -> . configuration?)] [complete-configuration (path-string? configuration-table? . -> . configuration?)]
[get-configuration (path-string? . -> . configuration-table?)] [get-configuration (path-string? . -> . configuration-table?)]
; XXX contract
[build-developer-configuration (list? . -> . configuration?)] [build-developer-configuration (list? . -> . configuration?)]
[default-configuration-table-path path?] [default-configuration-table-path path?]
[update-configuration (configuration? (listof (cons/c symbol? any/c)) . -> . configuration?)] [update-configuration (configuration? (listof (cons/c symbol? any/c)) . -> . configuration?)]

View File

@ -16,8 +16,7 @@
"../response-structs.ss") "../response-structs.ss")
(provide/contract (provide/contract
[interface-version dispatcher-interface-version?]) [interface-version dispatcher-interface-version?])
(provide ; XXX contract kw (provide make)
make)
; more here - ".." should probably raise an error instead of disappearing. ; more here - ".." should probably raise an error instead of disappearing.
(define (url-path->path base p) (define (url-path->path base p)

View File

@ -9,8 +9,7 @@
"../request-structs.ss") "../request-structs.ss")
(provide/contract (provide/contract
[interface-version dispatcher-interface-version?]) [interface-version dispatcher-interface-version?])
(provide ; XXX contract kw (provide make)
make)
(define interface-version 'v1) (define interface-version 'v1)
(define/kw (make #:key (define/kw (make #:key

View File

@ -10,8 +10,7 @@
"../private/response.ss") "../private/response.ss")
(provide/contract (provide/contract
[interface-version dispatcher-interface-version?]) [interface-version dispatcher-interface-version?])
(provide ; XXX contract kw (provide make)
make)
(define interface-version 'v1) (define interface-version 'v1)
(define/kw (make #:key (define/kw (make #:key

View File

@ -4,8 +4,7 @@
(require "dispatch.ss") (require "dispatch.ss")
(provide/contract (provide/contract
[interface-version dispatcher-interface-version?]) [interface-version dispatcher-interface-version?])
(provide ; XXX contract kw (provide make)
make)
(define interface-version 'v1) (define interface-version 'v1)
(define ((make . dispatchers) conn req) (define ((make . dispatchers) conn req)

View File

@ -24,9 +24,7 @@
"../private/cache-table.ss") "../private/cache-table.ss")
(provide/contract (provide/contract
[interface-version dispatcher-interface-version?]) [interface-version dispatcher-interface-version?])
(provide ; XXX contract improve (provide make)
; XXX contract kw
make)
(define (url-path->path base p) (define (url-path->path base p)
(path->complete-path (path->complete-path

View File

@ -5,7 +5,6 @@
(require "manager.ss" (require "manager.ss"
"../servlet-structs.ss") "../servlet-structs.ss")
(provide/contract (provide/contract
; XXX contract kw
[create-LRU-manager ((expiration-handler? number? number? (-> boolean?)) any/c . ->* . (manager?))]) [create-LRU-manager ((expiration-handler? number? number? (-> boolean?)) any/c . ->* . (manager?))])
;; Utility ;; Utility

View File

@ -6,7 +6,6 @@
"../response-structs.ss") "../response-structs.ss")
; configuration is now a unit. See sig.ss ; configuration is now a unit. See sig.ss
; XXX contract
(define configuration? (define configuration?
unit?) unit?)

View File

@ -227,7 +227,7 @@
expanded-virtual-host-table) expanded-virtual-host-table)
default-host))) default-host)))
(provide ; XXX contract (provide
build-configuration build-configuration
apply-default-functions-to-host-table apply-default-functions-to-host-table
make-make-servlet-namespace) make-make-servlet-namespace)
@ -236,7 +236,6 @@
[complete-developer-configuration (path-string? configuration-table? . -> . configuration?)]) [complete-developer-configuration (path-string? configuration-table? . -> . configuration?)])
(provide/contract (provide/contract
[error-response ((natural-number/c string? string?) (listof (cons/c symbol? string?)) . ->* . (response?))] [error-response ((natural-number/c string? string?) (listof (cons/c symbol? string?)) . ->* . (response?))]
; XXX contract
[servlet-loading-responder (string? any/c . -> . response?)] [servlet-loading-responder (string? any/c . -> . response?)]
[gen-servlet-not-found (path-string? . -> . (url? . -> . response?))] [gen-servlet-not-found (path-string? . -> . (url? . -> . response?))]
[gen-servlet-responder (path-string? . -> . (url? any/c . -> . response?))] [gen-servlet-responder (path-string? . -> . (url? any/c . -> . response?))]

View File

@ -9,5 +9,5 @@
(port listen-ip max-waiting initial-connection-timeout (port listen-ip max-waiting initial-connection-timeout
read-request dispatch)) read-request dispatch))
(provide ; XXX contract signature (provide
dispatch-server^ dispatch-server-config^)) dispatch-server^ dispatch-server-config^))

View File

@ -61,5 +61,4 @@
(import tcp^) (import tcp^)
(export web-server^)) (export web-server^))
(provide ; XXX contract (provide serve))
serve))

View File

@ -86,5 +86,4 @@
(and (number? x) (exact? x) (integer? x) (<= 0 x))) (and (number? x) (exact? x) (integer? x) (<= 0 x)))
(provide/contract (provide/contract
; XXX contract
[parse-configuration-table (list? . -> . configuration-table?)])) [parse-configuration-table (list? . -> . configuration-table?)]))

View File

@ -13,7 +13,6 @@
[rename ext:output-response output-response (connection? any/c . -> . any)] [rename ext:output-response output-response (connection? any/c . -> . any)]
[rename ext:output-response/method output-response/method (connection? response? symbol? . -> . any)] [rename ext:output-response/method output-response/method (connection? response? symbol? . -> . any)]
[rename ext:output-file output-file (connection? path? symbol? bytes? . -> . any)] [rename ext:output-file output-file (connection? path? symbol? bytes? . -> . any)]
; XXX add contract
[rename ext:output-file/partial output-file/partial (connection? path? symbol? bytes? integer? integer? . -> . any)]) [rename ext:output-file/partial output-file/partial (connection? path? symbol? bytes? integer? integer? . -> . any)])
;; Table 1. head responses: ;; Table 1. head responses:

View File

@ -46,11 +46,8 @@
([connection connection?] ([connection connection?]
[request request?] [request request?]
[suspend procedure?])] [suspend procedure?])]
; XXX contract maybe
[current-servlet thread-cell?] [current-servlet thread-cell?]
; XXX contract maybe
[current-servlet-instance-id thread-cell?] [current-servlet-instance-id thread-cell?]
; XXX contract maybe
[current-execution-context thread-cell?] [current-execution-context thread-cell?]
[get-current-servlet-instance-id (-> number?)] [get-current-servlet-instance-id (-> number?)]
[current-servlet-manager (-> manager?)] [current-servlet-manager (-> manager?)]

View File

@ -5,7 +5,6 @@
(lib "plt-match.ss")) (lib "plt-match.ss"))
(provide/contract (provide/contract
; XXX contract maybe
[match-url-params (string? . -> . (or/c false/c (list/c string? string? string? string?)))] [match-url-params (string? . -> . (or/c false/c (list/c string? string? string? string?)))]
[continuation-url? (url? . -> . (or/c boolean? (list/c number? number? number?)))] [continuation-url? (url? . -> . (or/c boolean? (list/c number? number? number?)))]
[embed-ids ((list/c number? number? number?) url? . -> . string?)]) [embed-ids ((list/c number? number? number?) url? . -> . string?)])
@ -75,4 +74,4 @@
(url-path-absolute? in-url) (url-path-absolute? in-url)
new-path new-path
empty empty
(url-fragment in-url))))) (url-fragment in-url)))))

View File

@ -130,4 +130,4 @@
[directory-part (path? . -> . path?)] [directory-part (path? . -> . path?)]
[lowercase-symbol! ((or/c string? bytes?) . -> . symbol?)] [lowercase-symbol! ((or/c string? bytes?) . -> . symbol?)]
[exn->string ((or/c exn? any/c) . -> . string?)] [exn->string ((or/c exn? any/c) . -> . string?)]
[build-path-unless-absolute (path-string? path-string? . -> . path?)])) [build-path-unless-absolute (path-string? path-string? . -> . path?)]))

View File

@ -31,5 +31,4 @@
(lambda (a) (regexp-match rx a)))) (lambda (a) (regexp-match rx a))))
(provide/contract (provide/contract
; XXX contract maybe
[extract-user-pass ((listof header?) . -> . (or/c false/c (cons/c bytes? bytes?)))])) [extract-user-pass ((listof header?) . -> . (or/c false/c (cons/c bytes? bytes?)))]))

View File

@ -85,7 +85,6 @@
path)))) path))))
(provide/contract (provide/contract
; XXX contract maybe
[struct servlet-url ([protocol (or/c false/c string?)] [struct servlet-url ([protocol (or/c false/c string?)]
[host (or/c false/c string?)] [host (or/c false/c string?)]
[port (or/c false/c natural-number/c)] [port (or/c false/c natural-number/c)]
@ -99,5 +98,4 @@
[servlet-url->url-string/no-continuation (servlet-url? . -> . string?)] [servlet-url->url-string/no-continuation (servlet-url? . -> . string?)]
[servlet-url->servlet-url/no-extra-path (servlet-url? . -> . servlet-url?)] [servlet-url->servlet-url/no-extra-path (servlet-url? . -> . servlet-url?)]
[request->servlet-url (request? . -> . servlet-url?)] [request->servlet-url (request? . -> . servlet-url?)]
; XXX contract maybe
[uri->servlet-url ((url?) ((or/c false/c string?) (or/c false/c natural-number/c)) . opt-> . servlet-url?)])) [uri->servlet-url ((url?) ((or/c false/c string?) (or/c false/c natural-number/c)) . opt-> . servlet-url?)]))

View File

@ -26,9 +26,7 @@
;; sent directly to the client (Web browser) instead of the terminal/log. ;; sent directly to the client (Web browser) instead of the terminal/log.
(provide/contract (provide/contract
[xexpr/callback->xexpr (embed/url? xexpr/callback? . -> . xexpr?)] [xexpr/callback->xexpr (embed/url? xexpr/callback? . -> . xexpr?)]
; XXX contract
[current-url-transform parameter?] [current-url-transform parameter?]
; XXX contract
[current-servlet-continuation-expiration-handler parameter?] [current-servlet-continuation-expiration-handler parameter?]
[redirect/get (-> request?)] [redirect/get (-> request?)]
[redirect/get/forget (-> request?)] [redirect/get/forget (-> request?)]