Documentation
¶
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
This section is empty.
Types ¶
type Config ¶
type Config struct {
Synthesis bool // CFSMs synthesis.
Gong bool // Gong verifier.
Godel bool // Godel checker.
ExamplesDir string // Demo example dir.
StaticDir string // Static files dir.
TemplateDir string // HTML Template dir.
Handlers []Handler
}
func (*Config) LoadHandlers ¶
func (cfg *Config) LoadHandlers()
type ErrInternal ¶
type ErrInternal struct {
// contains filtered or unexported fields
}
func NewErrInternal ¶
func NewErrInternal(cause error, message string) *ErrInternal
func (*ErrInternal) Error ¶
func (e *ErrInternal) Error() string
func (*ErrInternal) Report ¶
func (e *ErrInternal) Report(w http.ResponseWriter)
Report sends internal server error to web client also logs to console.
type Handler ¶
type Handler struct {
Name string
InitFunc func()
}
Handler is a convenient type to keep all handler initialision in one place.
type Server ¶
type Server struct {
// contains filtered or unexported fields
}
Server encapsulates all parameters required to run the webservice.
func (*Server) Listener ¶
Listener creates or returns the existing listener associated to this server.
Source Files
Click to show internal directories.
Click to hide internal directories.