Versions in this module Expand all Collapse all v0 v0.2.1 Feb 9, 2024 Changes in this version + var ANY_CSP = NewCSP() + var ANY_HTTP_REQUEST = &Request + var ANY_HTTP_RESP_WRITER = &ResponseWriter + var ANY_REQUEST_PATTERN = &RequestPattern + var ANY_RESP = &Response + var ANY_RESULT = &Result + var ANY_STATUS = &Status + var ANY_STATUS_CODE = &StatusCode + var HTTP_CLIENT_PROPNAMES = []string + var HTTP_REQUEST_PROPNAMES = []string + var HTTP_RESPONSE_PROPNAMES = []string + var HTTP_RESP_WRITER_PROPNAMES = []string + var HTTP_SERVER_PROPNAMES = []string + var SSE_SOURCE_PROPNAMES = []string + var STATUS_CODE_INT_VALUE = ...(...) + var STATUS_PROPNAMES = []string + func NewCookieObject() *symbolic.Object + type Client struct + func (*Client) PropertyNames() []string + func (*Client) Schemes() []string + func (c *Client) GetGoMethod(name string) (*symbolic.GoFunction, bool) + func (c *Client) GetHostCookies(h *symbolic.Host) *symbolic.List + func (c *Client) IsMutable() bool + func (c *Client) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (c *Client) Prop(name string) symbolic.Value + func (c *Client) Test(v symbolic.Value, state symbolic.RecTestCallState) bool + func (c *Client) WidestOfType() symbolic.Value + type ContentSecurityPolicy struct + func NewCSP() *ContentSecurityPolicy + func (*ContentSecurityPolicy) IsMutable() bool + func (n *ContentSecurityPolicy) Test(v symbolic.Value, state symbolic.RecTestCallState) bool + func (r *ContentSecurityPolicy) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *ContentSecurityPolicy) WidestOfType() symbolic.Value + type HttpsServer struct + func (*HttpsServer) PropertyNames() []string + func (r *HttpsServer) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *HttpsServer) Test(v symbolic.Value, state symbolic.RecTestCallState) bool + func (r *HttpsServer) WidestOfType() symbolic.Value + func (s *HttpsServer) Prop(name string) symbolic.Value + func (serv *HttpsServer) GetGoMethod(name string) (*symbolic.GoFunction, bool) + func (serv *HttpsServer) IsMutable() bool + type Request struct + func (Request) PropertyNames() []string + func (r *Request) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *Request) Test(v symbolic.Value, state symbolic.RecTestCallState) bool + func (r *Request) WidestOfType() symbolic.Value + func (req *Request) GetGoMethod(name string) (*symbolic.GoFunction, bool) + func (req *Request) IsSharable() (bool, string) + func (req *Request) IsShared() bool + func (req *Request) Prop(name string) symbolic.Value + func (req *Request) Share(originState *symbolic.State) symbolic.PotentiallySharable + func (req Request) IsMutable() bool + type RequestPattern struct + func (*RequestPattern) IsMutable() bool + func (r *RequestPattern) HasUnderlyingPattern() bool + func (r *RequestPattern) IteratorElementKey() symbolic.Value + func (r *RequestPattern) IteratorElementValue() symbolic.Value + func (r *RequestPattern) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *RequestPattern) StringPattern() (symbolic.StringPattern, bool) + func (r *RequestPattern) SymbolicValue() symbolic.Value + func (r *RequestPattern) Test(v symbolic.Value, state symbolic.RecTestCallState) bool + func (r *RequestPattern) TestValue(v symbolic.Value, state symbolic.RecTestCallState) bool + func (r *RequestPattern) WidestOfType() symbolic.Value + type Response struct + func (*Response) PropertyNames() []string + func (r *Response) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *Response) Test(v symbolic.Value, state symbolic.RecTestCallState) bool + func (r *Response) WidestOfType() symbolic.Value + func (resp *Response) GetGoMethod(name string) (*symbolic.GoFunction, bool) + func (resp *Response) IsMutable() bool + func (resp *Response) Prop(name string) symbolic.Value + type ResponseWriter struct + func (*ResponseWriter) PropertyNames() []string + func (r *ResponseWriter) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *ResponseWriter) Test(v symbolic.Value, state symbolic.RecTestCallState) bool + func (r *ResponseWriter) WidestOfType() symbolic.Value + func (resp *ResponseWriter) IsMutable() bool + func (rw *ResponseWriter) AddHeader(ctx *symbolic.Context, k, v *symbolic.String) + func (rw *ResponseWriter) Finish(ctx *symbolic.Context) + func (rw *ResponseWriter) GetGoMethod(name string) (*symbolic.GoFunction, bool) + func (rw *ResponseWriter) Prop(name string) symbolic.Value + func (rw *ResponseWriter) SetCookie(ctx *symbolic.Context, obj *symbolic.Object) *symbolic.Error + func (rw *ResponseWriter) SetStatus(ctx *symbolic.Context, status *StatusCode) + func (rw *ResponseWriter) WriteBinary(ctx *symbolic.Context, v *symbolic.ByteSlice) (*symbolic.Int, *symbolic.Error) + func (rw *ResponseWriter) WriteError(ctx *symbolic.Context, err *symbolic.Error, status *StatusCode) + func (rw *ResponseWriter) WriteHTML(ctx *symbolic.Context, v symbolic.Value) (*symbolic.Int, *symbolic.Error) + func (rw *ResponseWriter) WriteHeaders(ctx *symbolic.Context, status *symbolic.OptionalParam[*StatusCode]) + func (rw *ResponseWriter) WriteJSON(ctx *symbolic.Context, v symbolic.Serializable) (*symbolic.Int, *symbolic.Error) + func (rw *ResponseWriter) WritePlainText(ctx *symbolic.Context, v *symbolic.ByteSlice) (*symbolic.Int, *symbolic.Error) + type Result struct + func (r *Result) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *Result) Test(v symbolic.Value, state symbolic.RecTestCallState) bool + func (r *Result) WidestOfType() symbolic.Value + func (resp *Result) IsMutable() bool + type ServerSentEventSource struct + func (*ServerSentEventSource) IsMutable() bool + func (*ServerSentEventSource) PropertyNames() []string + func (r *ServerSentEventSource) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *ServerSentEventSource) Test(v symbolic.Value, state symbolic.RecTestCallState) bool + func (r *ServerSentEventSource) WidestOfType() symbolic.Value + func (s *ServerSentEventSource) Prop(name string) symbolic.Value + func (serv *ServerSentEventSource) GetGoMethod(name string) (*symbolic.GoFunction, bool) + type Status struct + func (*Status) GetGoMethod(name string) (*symbolic.GoFunction, bool) + func (Status) PropertyNames() []string + func (r *Status) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (s *Status) IsMutable() bool + func (s *Status) Prop(name string) symbolic.Value + func (s *Status) Test(v symbolic.Value, state symbolic.RecTestCallState) bool + func (s *Status) WidestOfType() symbolic.Value + type StatusCode struct + func (c *StatusCode) IsMutable() bool + func (c *StatusCode) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (c *StatusCode) WidestOfType() symbolic.Value + func (s *StatusCode) Test(v symbolic.Value, state symbolic.RecTestCallState) bool