3 OCaml HTTP - do it yourself (fully OCaml) HTTP daemon
5 Copyright (C) <2002> Stefano Zacchiroli <zack@cs.unibo.it>
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2 of the License, or
10 (at your option) any later version.
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, write to the Free Software
19 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
22 (** HTTP messages parsing *)
26 (** given an HTTP like query string (e.g. "name1=value1&name2=value2&...")
27 @return a list of pairs [("name1", "value1"); ("name2", "value2")]
28 @raise Malformed_query if the string isn't a valid query string
29 @raise Malformed_query_part if some piece of the query isn't valid
31 val split_query_params: string -> (string * string) list
33 (** parse 1st line of an HTTP request
34 @param inchan input channel from which parse request
35 @return a triple meth * url * version, meth is the HTTP method invoked, url is
36 the requested url, version is the HTTP version specified or None if no version
38 @raise Malformed_request if request 1st linst isn't well formed
39 @raise Malformed_request_URI if requested URI isn't well formed *)
40 val parse_request_fst_line: in_channel -> meth * Neturl.url * version option
42 (** parse 1st line of an HTTP response
43 * @param inchan input channel from which parse response
44 * @raise Malformed_response if first line isn't well formed
46 val parse_response_fst_line: in_channel -> version * status
48 (** parse HTTP GET parameters from an URL; paramater which were passed with no
49 value (like 'x' in "/foo.cgi?a=10&x=&c=9") are returned associated with the
51 @return a list of pairs param_name * param_value *)
52 val parse_query_get_params: Neturl.url -> (string * string) list
54 (** parse the base path (removing query string, fragment, ....) from an URL *)
55 val parse_path: Neturl.url -> string
57 (** parse HTTP headers. Consumes also trailing CRLF at the end of header list
58 @param inchan input channel from which parse headers
59 @return a list of pairs header_name * header_value
60 @raise Invalid_header if a not well formed header is encountered *)
61 val parse_headers: in_channel -> (string * string) list
63 (** given an input channel, reads from it a GET HTTP request and
64 @return a pair <path, query_params> where path is a string representing the
65 requested path and query_params is a list of pairs <name, value> (the GET
67 val parse_request: in_channel -> string * (string * string) list