70 lines
1.9 KiB
Plaintext
70 lines
1.9 KiB
Plaintext
|
This file documents names defined in url.scm
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
NOTES
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
DEFINITIONS AND DESCRIPTIONS
|
||
|
|
|
||
|
|
|
||
|
|
userhost record
|
||
|
|
|
||
|
|
A record containing the fields user, password, host and port. Created
|
||
|
|
by parsing a string like //<user>:<password>@<host>:<port>/. The
|
||
|
|
record describes path-prefixes of the form
|
||
|
|
//<user>:<password>@<host>:<port>/ These are frequently used as the
|
||
|
|
initial prefix of URL's describing Internet resources.
|
||
|
|
|
||
|
|
|
||
|
|
parse-userhost path default
|
||
|
|
|
||
|
|
Parse a URI path (a list representing a path, not a string!) into a
|
||
|
|
userhost record. Default values are taken from the userhost record
|
||
|
|
DEFAULT except for the host. Returns a userhost record if it wins, and
|
||
|
|
#f if it cannot parse the path. It is an error if the specified path
|
||
|
|
does not begin with '//..' like noted at userhost.
|
||
|
|
|
||
|
|
|
||
|
|
userhost-escaped-chars list
|
||
|
|
|
||
|
|
The union of uri-escaped-chars and the characters '@' and ':'. Used
|
||
|
|
for the unparser.
|
||
|
|
|
||
|
|
|
||
|
|
userhost->string userhost procedure
|
||
|
|
|
||
|
|
Unparses a userhost record to a string.
|
||
|
|
|
||
|
|
|
||
|
|
http-url record
|
||
|
|
|
||
|
|
Record containing the fields userhost (a userhost record), path (a
|
||
|
|
path list), search and frag-id. The PATH slot of this record is the
|
||
|
|
URL's path split at slashes, e.g., "foo/bar//baz/" => ("foo" "bar" ""
|
||
|
|
"baz" ""). These elements are in raw, unescaped format. To convert
|
||
|
|
back to a string, use (uri-path-list->path (map escape-uri pathlist)).
|
||
|
|
|
||
|
|
|
||
|
|
parse-http-url path search frag-id procedure
|
||
|
|
|
||
|
|
Returns a http-url record. path, search and frag-id are results of a
|
||
|
|
parse-uri call on the initial uri. See there (uri.scm) for further
|
||
|
|
details. search and frag-id are stored as they are. This parser
|
||
|
|
decodes the path elements. It is an error if the path specifies an
|
||
|
|
user or a password as this is not allowd at http-urls.
|
||
|
|
|
||
|
|
|
||
|
|
default-http-userhost record
|
||
|
|
|
||
|
|
A userhost record that specifies the port as 80 and anything else as
|
||
|
|
#f.
|
||
|
|
|
||
|
|
|
||
|
|
http-url->string http-url
|
||
|
|
|
||
|
|
Unparses the given http-url to a string.
|