Cro::OpenAPI::RoutesFromDefinition
Takes an existing OpenAPI Document and allows straightforward implementation
of the API defined within it using the Cro libraries.
Synopsis
# Implement the OpenAPI defined in schema.yaml.
my $routes = openapi 'schema.yaml'.IO, {
# Given an operation defined like this:
#
# summary: Updates a pet in the store with form data
# operationId: updatePetWithForm
# parameters:
# - name: petId
# in: path
# description: ID of pet that needs to be updated
# required: true
# schema:
# type: string
# requestBody:
# content:
# 'application/x-www-form-urlencoded':
# schema:
# properties:
# name:
# description: Updated name of the pet
# type: string
# status:
# description: Updated status of the pet
# type: string
# required:
# - status
# responses:
# '200':
# description: Pet updated.
# content:
# 'application/json': {}
# '400':
# description: Invalid input
# content:
# 'application/json': {}
#
# We can implement it by receiving the route parameter as a positional
# argument; other literal route segments need not be mentioned.
operation 'updatePetWithForm', -> $id {
# The request body will already have been validated, so just grab
# it, perhaps using destructuring.
request-body -> (:$name, :$status) {
# Do something with it.
$some-store.update-pet($id, $name, $status);
# Respond (response automatically checked against schema too).
content 'application/json', {};
}
}
}
The $routes
object is a subclass of Cro::HTTP::Router::RouteSet
, and so
can be included into a route block:
my $api-routes = openapi 'schema.yaml'.IO, {
...
}
my $app = route {
include 'api' => $api-routes;
}
Since it is also a Cro::Transform
, then it may be hosted directly as the
application using Cro::HTTP::Server
.
my $service = Cro::HTTP::Server:
:host<0.0.0.0>, :port(10000),
:application($api-routes);
The openapi sub
The openapi
sub works somewhat like route
from Cro::HTTP::Router
. As in
a route
block, it is possible to:
- Use
before
and after
to add middleware. The before
middleware will be
after the validation of a request takes place, and the after
middleware
will be run before the validation of a response takes place. This means
that middleware can rely on processing a request that has passed validation,
while after
middleware can add, for example, standard headers (such as
rate limiting) to responses. - Use
body-parser
and body-serializer
to specify body parsers and
serializers. The body parsers will be put in place before validation of
the body, to ensure deserialization works as desired.
By contrast, get
, put
, post
and so forth are not valid in the context
of an openapi
block, and using them will produce an error. Instead, the
operation
sub should be used to specify the implementations of operations
defined by the OpenAPI document. The URI patterns to match will be taken from
the OpenAPI document, and need not be repeated. Similarly, include
and
delegate
are not available either (a form of include
may be supported in
the future in order to allow for breaking up the definition of a large API
over multiple files).
The openapi
sub may be passed a string containing an OpenAPI document in
either YAML or JSON:
openapi $json-doc, {
...
}
Or an IO
object pointing to a file to read the document from:
openapi "api.yaml".IO, {
...
}
In either case, JSON will be detected by looking at the data that is read and
seeing if it starts with {
(with leading whitespace allowed); failing that,
it will be parsed as YAML.
The openapi
sub may be passed the following options:
:ignore-unimplemented
- by default, an operation in the OpenAPI document
that does not have an implementation in the openapi
block will result in
an error being raised by the openapi
sub. This is to help you understand
when an API has not been completely implemented. Setting this option will
cause unimplemented operations to be ignored instead.:!validate-responses
- this option defaults to True, but may be set to
False
. If set to False, then responses will not be validated. This may be
useful for increasing production performance, once confident the API has
been correctly implemented.:%formats
and :%add-formats
- passed to OpenAPI::Schema::Validate
to
control format validation (%add-formats
adds additional formats or
overrides existing ones which %formats
allows for a full replacement of
the available formats).:%document
- used to configure how the OpenAPI document itself is served.
It defaults to { '/openapi.json' => 'json', '/openapi.yaml' => 'yaml' }
,
which means that the OpenAPI specification will be served as both JSON and
YAML on requests to /openapi.json
and /openapi.yaml
respectively. To
serve a format at the root of the API, pass :document{ json => '/' }
(this
also means it will not be served at /openapi.json
and /openapi.yaml
any
longer). It is fine to register multiple paths to serve the document for a
given format at.
All operations in the OpenAPI document should have an operationId
in order
to be implementable. Unless configured with :ignore-unimplemented
, such
operations will be complained about, with a note that it is not even possible
to implement them.
The operation sub
The operation
sub is used to specify the implementation of an operation in
the OpenAPI file. It takes a string operation ID and a block that will be run
per request to that operation.
If the string operation ID does not match an operationId
in the OpenAPI
definition, an error will be raised.
The signature of the block may be used in order to unpack various properties
of the request. This works similarly to signatures on get
and similar in
Cro::HTTP::Router
, but with some differences.
The first parameter may be a session or auth object, populated according to
the usual Cro::HTTP::Router
rules.
Route parameters, from the request target, will be passed as positional
arguments. Thus, the signature of the operation must be able to accept
them, and cope with optional route parameters. An error will be given if
the signature of any operation block is not suitable. Note that literal
route parameters must not be mentioned, and the parameter variable names
are not significant (the route parameters are passed in the order they
appear in the URI).
Query string parameters may be unpacked into named arguments (either
those with no applicable source trait or those marked with is query
will
be considered). There is no requirement to unpack all of the query string
parameters. However, it is an error to name one that does not exist in the
OpenAPI document.
Headers and cookies may be unpacked into named arguments (using the
is header
and is cookie
parameter traits). There is no requirement to
unpack these here, and it is allowed to unpack others not mentioned in the
OpenAPI specification (to provide access to "standard" headers, for
example).
Otherwise, it is just like being inside a normal get
, post
, etc. block as
with Cro::HTTP::Router
. The request
and response
terms provide access to
the request and response objects, the request-body
sub is available, and the
various response helpers (such as content
) are also available.
Automatic Validation
A request will be validated against the OpenAPI definition. The following
aspects of the request will be validated:
- Method (
GET
, POST
, etc.) (failure to match will result in an automatic
405 response). - Route (path) arguments from the target URI (failure to match these will
result in an automatic 404 response).
- Query string arguments, headers, and cookies (failure to match these will
result in an automatic 400 response).
- The content type of the request body (failure to match this will result in
an automatic 400 response).
- The request body. Cro has built-in support for JSON,
multipart/form-data
and application/x-www-form-urlencoded
request bodies, and validation will
work out of the box. For other body formats, a body-parser
will be
required, and it should produce output that can be traversed like a JSON
data structure in order for schema validation to work. Failure to match the
schema for the request body will result in an autoamtic 400 response.
A response will (unless response validation is disabled) be validated for:
- The status code of the response. Note that 400, 404, and 405 errors that
are automatically produced as a result of request validation will always be
allowed through.
- That the required headers are present and match the schema.
- The content type of the response body.
- The response body. Cro has built-in support for JSON response bodies, and
validation will work out of the box. For other formats, a
body-serializer
will be needed, and the data structure to serialize should be a JSON-like
tree of hashes/arrays so it can be validated against the schema.
Failure to validate the response indicates an implementation error. A 500
error will be returned to the client, and the error will be logged.
Manually handling request validation errors
It may in some cases be desirable to handle request validation errors as part
of the operation implementation. Note that this does not apply to an incorrect
method or non-matching route parameters. Further, it presumes that any named
unpacks in the operation signature are liberal enough to cope with the invalid
data.
To manually handle request validation errors, pass :allow-invalid
to the
operation
sub. The request-validation-error
sub can then be used in order
to check if there is a validation error. If there is, then it will be populated
with an instance of X::Cro::OpenAPI::RoutesFromDefinition::CheckFailed
, which
is a subclass of Exception
. It has the properties:
http-message
- the request that failed to parse. Same as request
in the
scope of a handler.reason
- a string explaining the reason that validation failed
If there is no request validation error, then Nil
is returned, meaning it can be
tested using with
or without
.
operation 'foo', :allow-invalid, -> $path-param {
with request-validation-error() -> $error {
content 'application/json', { :result('error'), :reason($error.reason) };
}
else {
???;
content 'application/json', { :result("ok") };
}
}
Security requirements
Enforcing security requirements involves:
- Implementing the
Cro::OpenAPI::RoutesFromDefinition::SecurityChecker
role - Passing that using the
security
named parameter to the openapi
function
Implementing the role requires implementing a single method, which receives the
security scheme to enforce, the HTTP request object, an array of requirements
(optional, and only applicable to OpenID) and the operation ID (also optional).
It should return True
if the requester satisfies the security requirements,
and False
if not.
role Cro::OpenAPI::RoutesFromDefinition::SecurityChecker {
method is-allowed(OpenAPI::Model::SecurityScheme $scheme, Cro::HTTP::Request $request,
:@requirements, :$operation-id --> Bool) { ... }
}
For the case of API keys, the role provides a get-api-key($scheme, $request)
method that will use the scheme to look up the API key from the request. It will
return a Failure
if the is no such header, cookie, or query string parameter, or
if the scheme type is not apiKey
.
An example implementation of the role looks like this:
class KeyChecker does Cro::OpenAPI::RoutesFromDefinition::SecurityChecker {
method is-allowed(OpenAPI::Model::SecurityScheme $scheme, Cro::HTTP::Request $request --> Bool) {
with self.get-api-key($scheme, $request) -> $key {
if $key.starts-with('totally-legit') {
$request.auth = MyAuthInfo.new(:$key);
return True;
}
}
return False;
}
}
Which could be used like this:
my $application = openapi $api-doc, security => KeyChecker, {
operation 'public', -> {
content 'text/plain', 'public ok';
}
operation 'private', -> {
content 'text/plain', 'private ok, key=' ~ request.auth.key;
}
}
Author
Jonathan Worthington jonathan@edument.se
Copyright and License
Copyright 2018 Edument Central Europe sro.
This library is free software; you can redistribute it and/or modify it under
the Artistic License 2.0.