63 lines
2.1 KiB
Plaintext
63 lines
2.1 KiB
Plaintext
version 1 .
|
|
|
|
# Assertion in driver DS
|
|
# Causes creation of server and route
|
|
HttpBinding = <http-bind @host HostPattern @port int @method MethodPattern @path PathPattern @handler #:HttpRequest> .
|
|
|
|
# Assertion in driver DS
|
|
# Describes active server and route
|
|
HttpService = <http-service @host HostPattern @port int @method MethodPattern @path PathPattern> .
|
|
|
|
# Assertion in driver DS
|
|
# Describes active listener
|
|
HttpListener = <http-listener @port int> .
|
|
|
|
HostPattern = @host string / @any #f .
|
|
PathPattern = [PathPatternElement ...] .
|
|
PathPatternElement = @label string / @wildcard =_ / @rest =... .
|
|
|
|
MethodPattern = @any #f / @specific @"Lowercase" symbol .
|
|
|
|
# Assertion in driver DS
|
|
HttpRequest = <http-request
|
|
@sequenceNumber int
|
|
@host RequestHost
|
|
@port int
|
|
@method @"Lowercase" symbol
|
|
@path [string ...]
|
|
@headers Headers
|
|
@query {symbol: [QueryValue ...] ...:...}
|
|
@body RequestBody> .
|
|
|
|
Headers = {@"Lowercase" symbol: string ...:...} .
|
|
QueryValue = @string string / <file @filename string @headers Headers @body bytes> .
|
|
RequestBody = @absent #f / @present bytes .
|
|
RequestHost = @absent #f / @present string .
|
|
|
|
# Assertion to handler entity
|
|
HttpContext = <request @req HttpRequest @res #:HttpResponse> .
|
|
|
|
# HttpResponse protocol. Delivered to the `res` ref in `HttpContext`.
|
|
#
|
|
# (status | header)* . chunk* . done
|
|
#
|
|
# Done triggers completion of the response and retraction of the frame by the peer. If the
|
|
# HttpBinding responsible for the request is withdrawn mid-way through a response (i.e. when
|
|
# chunked transfer is used and at least one chunk has been sent) the request is abruptly
|
|
# closed; if it is withdrawn at any other moment in the lifetime of the request, a 500 Internal
|
|
# Server Error is send to the client.
|
|
#
|
|
@<TODO "trailers?">
|
|
HttpResponse =
|
|
# Messages.
|
|
/ <status @code int @message string>
|
|
/ <header @name symbol @value string>
|
|
/ <chunk @chunk Chunk>
|
|
/ <done @chunk Chunk>
|
|
.
|
|
|
|
Chunk = @string string / @bytes bytes .
|
|
|
|
# e.g. text/plain, text/html, application/json
|
|
MimeType = symbol .
|