GetSwagger returns the Swagger specification corresponding to the generated code in this file.

Constructs a synthetic filesystem for resolving external references when loading openapi specifications.

RegisterHandlers adds each server route to the EchoRouter.

Registers handlers, and prepends BaseURL to the paths, so that the paths can be served under a prefix.

ServerInterfaceWrapper converts echo contexts to parameters.

VerifySolutionJSONBody defines parameters for VerifySolution.

VerifySolutionParams defines parameters for VerifySolution.

This is a simple interface which specifies echo.Route addition functions which are present on both echo.Echo and echo.Group, since we want to allow using either of them for path registration.

ServerInterface represents all server handlers.

VerifySolutionJSONRequestBody defines body for VerifySolution for application/json ContentType.