From a3a8ba3636eb28fd08d0b1918f9646c93867259e Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Wed, 30 May 2007 16:00:59 +0000 Subject: [PATCH] Removing contract notes, taken care of by script now svn: r6409 --- collects/web-server/configuration.ss | 3 +-- collects/web-server/dispatchers/dispatch-files.ss | 3 +-- collects/web-server/dispatchers/dispatch-log.ss | 3 +-- collects/web-server/dispatchers/dispatch-passwords.ss | 3 +-- collects/web-server/dispatchers/dispatch-sequencer.ss | 3 +-- collects/web-server/dispatchers/dispatch-servlets.ss | 4 +--- collects/web-server/managers/lru.ss | 1 - collects/web-server/private/configuration-structures.ss | 1 - collects/web-server/private/configuration.ss | 3 +-- collects/web-server/private/dispatch-server-sig.ss | 2 +- collects/web-server/private/launch.ss | 3 +-- collects/web-server/private/parse-table.ss | 1 - collects/web-server/private/response.ss | 1 - collects/web-server/private/servlet.ss | 3 --- collects/web-server/private/url.ss | 3 +-- collects/web-server/private/util.ss | 2 +- collects/web-server/servlet/basic-auth.ss | 1 - collects/web-server/servlet/servlet-url.ss | 2 -- collects/web-server/servlet/web.ss | 2 -- 19 files changed, 11 insertions(+), 33 deletions(-) diff --git a/collects/web-server/configuration.ss b/collects/web-server/configuration.ss index bbcbfe301b..b48ff7c44f 100644 --- a/collects/web-server/configuration.ss +++ b/collects/web-server/configuration.ss @@ -80,13 +80,12 @@ new-config@) - (provide ; XXX contract + (provide make-make-servlet-namespace load-configuration-sexpr) (provide/contract [complete-configuration (path-string? configuration-table? . -> . configuration?)] [get-configuration (path-string? . -> . configuration-table?)] - ; XXX contract [build-developer-configuration (list? . -> . configuration?)] [default-configuration-table-path path?] [update-configuration (configuration? (listof (cons/c symbol? any/c)) . -> . configuration?)] diff --git a/collects/web-server/dispatchers/dispatch-files.ss b/collects/web-server/dispatchers/dispatch-files.ss index 3153873f0b..ffcf90850a 100644 --- a/collects/web-server/dispatchers/dispatch-files.ss +++ b/collects/web-server/dispatchers/dispatch-files.ss @@ -16,8 +16,7 @@ "../response-structs.ss") (provide/contract [interface-version dispatcher-interface-version?]) - (provide ; XXX contract kw - make) + (provide make) ; more here - ".." should probably raise an error instead of disappearing. (define (url-path->path base p) diff --git a/collects/web-server/dispatchers/dispatch-log.ss b/collects/web-server/dispatchers/dispatch-log.ss index efff53ce68..daa4a27bf9 100644 --- a/collects/web-server/dispatchers/dispatch-log.ss +++ b/collects/web-server/dispatchers/dispatch-log.ss @@ -9,8 +9,7 @@ "../request-structs.ss") (provide/contract [interface-version dispatcher-interface-version?]) - (provide ; XXX contract kw - make) + (provide make) (define interface-version 'v1) (define/kw (make #:key diff --git a/collects/web-server/dispatchers/dispatch-passwords.ss b/collects/web-server/dispatchers/dispatch-passwords.ss index 8ad3c485c2..be1ab10240 100644 --- a/collects/web-server/dispatchers/dispatch-passwords.ss +++ b/collects/web-server/dispatchers/dispatch-passwords.ss @@ -10,8 +10,7 @@ "../private/response.ss") (provide/contract [interface-version dispatcher-interface-version?]) - (provide ; XXX contract kw - make) + (provide make) (define interface-version 'v1) (define/kw (make #:key diff --git a/collects/web-server/dispatchers/dispatch-sequencer.ss b/collects/web-server/dispatchers/dispatch-sequencer.ss index cf7ae402c3..ec445745e4 100644 --- a/collects/web-server/dispatchers/dispatch-sequencer.ss +++ b/collects/web-server/dispatchers/dispatch-sequencer.ss @@ -4,8 +4,7 @@ (require "dispatch.ss") (provide/contract [interface-version dispatcher-interface-version?]) - (provide ; XXX contract kw - make) + (provide make) (define interface-version 'v1) (define ((make . dispatchers) conn req) diff --git a/collects/web-server/dispatchers/dispatch-servlets.ss b/collects/web-server/dispatchers/dispatch-servlets.ss index db90d7c134..f964c74d3c 100644 --- a/collects/web-server/dispatchers/dispatch-servlets.ss +++ b/collects/web-server/dispatchers/dispatch-servlets.ss @@ -24,9 +24,7 @@ "../private/cache-table.ss") (provide/contract [interface-version dispatcher-interface-version?]) - (provide ; XXX contract improve - ; XXX contract kw - make) + (provide make) (define (url-path->path base p) (path->complete-path diff --git a/collects/web-server/managers/lru.ss b/collects/web-server/managers/lru.ss index 89f75b361e..f496227fca 100644 --- a/collects/web-server/managers/lru.ss +++ b/collects/web-server/managers/lru.ss @@ -5,7 +5,6 @@ (require "manager.ss" "../servlet-structs.ss") (provide/contract - ; XXX contract kw [create-LRU-manager ((expiration-handler? number? number? (-> boolean?)) any/c . ->* . (manager?))]) ;; Utility diff --git a/collects/web-server/private/configuration-structures.ss b/collects/web-server/private/configuration-structures.ss index d2a7bea244..e2c95d6089 100644 --- a/collects/web-server/private/configuration-structures.ss +++ b/collects/web-server/private/configuration-structures.ss @@ -6,7 +6,6 @@ "../response-structs.ss") ; configuration is now a unit. See sig.ss - ; XXX contract (define configuration? unit?) diff --git a/collects/web-server/private/configuration.ss b/collects/web-server/private/configuration.ss index c77444d254..333c96485f 100644 --- a/collects/web-server/private/configuration.ss +++ b/collects/web-server/private/configuration.ss @@ -227,7 +227,7 @@ expanded-virtual-host-table) default-host))) - (provide ; XXX contract + (provide build-configuration apply-default-functions-to-host-table make-make-servlet-namespace) @@ -236,7 +236,6 @@ [complete-developer-configuration (path-string? configuration-table? . -> . configuration?)]) (provide/contract [error-response ((natural-number/c string? string?) (listof (cons/c symbol? string?)) . ->* . (response?))] - ; XXX contract [servlet-loading-responder (string? any/c . -> . response?)] [gen-servlet-not-found (path-string? . -> . (url? . -> . response?))] [gen-servlet-responder (path-string? . -> . (url? any/c . -> . response?))] diff --git a/collects/web-server/private/dispatch-server-sig.ss b/collects/web-server/private/dispatch-server-sig.ss index af7a23821a..3e66765539 100644 --- a/collects/web-server/private/dispatch-server-sig.ss +++ b/collects/web-server/private/dispatch-server-sig.ss @@ -9,5 +9,5 @@ (port listen-ip max-waiting initial-connection-timeout read-request dispatch)) - (provide ; XXX contract signature + (provide dispatch-server^ dispatch-server-config^)) \ No newline at end of file diff --git a/collects/web-server/private/launch.ss b/collects/web-server/private/launch.ss index 8334c9b60c..e9f6c9420e 100644 --- a/collects/web-server/private/launch.ss +++ b/collects/web-server/private/launch.ss @@ -61,5 +61,4 @@ (import tcp^) (export web-server^)) - (provide ; XXX contract - serve)) \ No newline at end of file + (provide serve)) \ No newline at end of file diff --git a/collects/web-server/private/parse-table.ss b/collects/web-server/private/parse-table.ss index 2e5b05d987..0aacb2ef4c 100644 --- a/collects/web-server/private/parse-table.ss +++ b/collects/web-server/private/parse-table.ss @@ -86,5 +86,4 @@ (and (number? x) (exact? x) (integer? x) (<= 0 x))) (provide/contract - ; XXX contract [parse-configuration-table (list? . -> . configuration-table?)])) \ No newline at end of file diff --git a/collects/web-server/private/response.ss b/collects/web-server/private/response.ss index 8d3a20aa20..156c57395f 100644 --- a/collects/web-server/private/response.ss +++ b/collects/web-server/private/response.ss @@ -13,7 +13,6 @@ [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-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)]) ;; Table 1. head responses: diff --git a/collects/web-server/private/servlet.ss b/collects/web-server/private/servlet.ss index 0a56fb48ce..3570ccaa54 100644 --- a/collects/web-server/private/servlet.ss +++ b/collects/web-server/private/servlet.ss @@ -46,11 +46,8 @@ ([connection connection?] [request request?] [suspend procedure?])] - ; XXX contract maybe [current-servlet thread-cell?] - ; XXX contract maybe [current-servlet-instance-id thread-cell?] - ; XXX contract maybe [current-execution-context thread-cell?] [get-current-servlet-instance-id (-> number?)] [current-servlet-manager (-> manager?)] diff --git a/collects/web-server/private/url.ss b/collects/web-server/private/url.ss index 0cf0dc3b19..b2fdba9064 100644 --- a/collects/web-server/private/url.ss +++ b/collects/web-server/private/url.ss @@ -5,7 +5,6 @@ (lib "plt-match.ss")) (provide/contract - ; XXX contract maybe [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?)))] [embed-ids ((list/c number? number? number?) url? . -> . string?)]) @@ -75,4 +74,4 @@ (url-path-absolute? in-url) new-path empty - (url-fragment in-url))))) + (url-fragment in-url))))) \ No newline at end of file diff --git a/collects/web-server/private/util.ss b/collects/web-server/private/util.ss index 6665a1eee7..e516c76097 100644 --- a/collects/web-server/private/util.ss +++ b/collects/web-server/private/util.ss @@ -130,4 +130,4 @@ [directory-part (path? . -> . path?)] [lowercase-symbol! ((or/c string? bytes?) . -> . symbol?)] [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?)])) \ No newline at end of file diff --git a/collects/web-server/servlet/basic-auth.ss b/collects/web-server/servlet/basic-auth.ss index d2b9047569..3e4ddb5860 100644 --- a/collects/web-server/servlet/basic-auth.ss +++ b/collects/web-server/servlet/basic-auth.ss @@ -31,5 +31,4 @@ (lambda (a) (regexp-match rx a)))) (provide/contract - ; XXX contract maybe [extract-user-pass ((listof header?) . -> . (or/c false/c (cons/c bytes? bytes?)))])) \ No newline at end of file diff --git a/collects/web-server/servlet/servlet-url.ss b/collects/web-server/servlet/servlet-url.ss index 66bd802a89..667ca144bb 100644 --- a/collects/web-server/servlet/servlet-url.ss +++ b/collects/web-server/servlet/servlet-url.ss @@ -85,7 +85,6 @@ path)))) (provide/contract - ; XXX contract maybe [struct servlet-url ([protocol (or/c false/c string?)] [host (or/c false/c string?)] [port (or/c false/c natural-number/c)] @@ -99,5 +98,4 @@ [servlet-url->url-string/no-continuation (servlet-url? . -> . string?)] [servlet-url->servlet-url/no-extra-path (servlet-url? . -> . 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?)])) \ No newline at end of file diff --git a/collects/web-server/servlet/web.ss b/collects/web-server/servlet/web.ss index 8ea4f0998f..46adc970d4 100644 --- a/collects/web-server/servlet/web.ss +++ b/collects/web-server/servlet/web.ss @@ -26,9 +26,7 @@ ;; sent directly to the client (Web browser) instead of the terminal/log. (provide/contract [xexpr/callback->xexpr (embed/url? xexpr/callback? . -> . xexpr?)] - ; XXX contract [current-url-transform parameter?] - ; XXX contract [current-servlet-continuation-expiration-handler parameter?] [redirect/get (-> request?)] [redirect/get/forget (-> request?)]