ast

package
v6.7.2 Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Jul 17, 2023 License: MIT Imports: 13 Imported by: 0

Documentation

Index

Constants

View Source
const (
	FromMethod          = "from"
	IntoMethod          = "into"
	UpdateMethod        = "update"
	ToMethod            = "to"
	DeleteMethod        = "delete"
	WithKeyword         = "with"
	OnlyKeyword         = "only"
	HeadersKeyword      = "headers"
	HiddenKeyword       = "hidden"
	TimeoutKeyword      = "timeout"
	MaxAgeKeyword       = "max-age"
	SmaxAgeKeyword      = "s-max-age"
	IgnoreErrorsKeyword = "ignore-errors"
	Matches             = "matches"
	NoMultiplex         = "no-multiplex"
	Base64              = "base64"
	JSON                = "json"
	AsBody              = "as-body"
	Flatten             = "flatten"
	NoExplode           = "no-explode"
	AsQuery             = "as-query"
)

restQL language keywords.

Variables

This section is empty.

Functions

func Parse

func Parse(filename string, b []byte, opts ...Option) (interface{}, error)

Parse parses the data from b using filename as information in the error messages.

func ParseFile

func ParseFile(filename string, opts ...Option) (i interface{}, err error)

ParseFile parses the file identified by filename.

func ParseReader

func ParseReader(filename string, r io.Reader, opts ...Option) (interface{}, error)

ParseReader parses the data from r using filename as information in the error messages.

Types

type Block

type Block struct {
	Method     string
	Resource   string
	Alias      string
	In         []string
	Qualifiers []Qualifier
}

Block is the syntax node representing a statement.

type Chained

type Chained struct {
	PathVariable string
	PathItem     string
}

Chained is the syntax node representing a chain value.

type Cloner

type Cloner interface {
	Clone() interface{}
}

Cloner is implemented by any value that has a Clone method, which returns a copy of the value. This is mainly used for types which are not passed by value (e.g map, slice, chan) or structs that contain such types.

This is used in conjunction with the global state feature to create proper copies of the state to allow the parser to properly restore the state in the case of backtracking.

type DependsOnValue

type DependsOnValue string

DependsOnValue is the syntax node representing the value in the `depends-on` clause.

type Filter

type Filter struct {
	Field     []string
	Functions []interface{}
}

Filter is the syntax node representing entries in the `only` clause.

type FilterByRegex

type FilterByRegex struct {
	PathString   *string
	PathVariable *string

	RegexString   *string
	RegexVariable *string
}

FilterByRegex is the syntax node representing the `filterByRegex` function.

type Generator

type Generator struct{}

Generator encapsulate the parsing implementation used to transform a query string into an AST.

func New

func New() (Generator, error)

New constructs an AST generator.

func (Generator) Parse

func (g Generator) Parse(query string) (*Query, error)

Parse transform a query string into an AST.

type HeaderItem

type HeaderItem struct {
	Key   string
	Value HeaderValue
}

HeaderItem is the syntax node representing an entry of the `headers` clause.

type HeaderValue

type HeaderValue struct {
	Variable *string
	String   *string
	Chain    []Chained
}

HeaderValue is the syntax node representing a `headers` clause entry value.

type KeyValue

type KeyValue struct {
	Key       string
	Value     Value
	Functions []string
}

KeyValue is the syntax node representing parameters in the `with` clause.

type Match

type Match struct {
	String   *string
	Variable *string
}

Match is the syntax node representing the `matches` function.

type MaxAgeValue

type MaxAgeValue variableOrInt

MaxAgeValue is the syntax node representing the value in the `max-age` clause.

type ObjectEntry

type ObjectEntry struct {
	Key   string
	Value Value
}

ObjectEntry is the syntax node representing an object value.

type Option

type Option func(*parser) Option

Option is a function that can set an option on the parser. It returns the previous setting as an Option.

func AllowInvalidUTF8

func AllowInvalidUTF8(b bool) Option

AllowInvalidUTF8 creates an Option to allow invalid UTF-8 bytes. Every invalid UTF-8 byte is treated as a utf8.RuneError (U+FFFD) by character class matchers and is matched by the any matcher. The returned matched value, c.text and c.offset are NOT affected.

The default is false.

func Debug

func Debug(b bool) Option

Debug creates an Option to set the debug flag to b. When set to true, debugging information is printed to stdout while parsing.

The default is false.

func Entrypoint

func Entrypoint(ruleName string) Option

Entrypoint creates an Option to set the rule name to use as entrypoint. The rule name must have been specified in the -alternate-entrypoints if generating the parser with the -optimize-grammar flag, otherwise it may have been optimized out. Passing an empty string sets the entrypoint to the first rule in the grammar.

The default is to start parsing at the first rule in the grammar.

func GlobalStore

func GlobalStore(key string, value interface{}) Option

GlobalStore creates an Option to set a key to a certain value in the globalStore.

func InitState

func InitState(key string, value interface{}) Option

InitState creates an Option to set a key to a certain value in the global "state" store.

func MaxExpressions

func MaxExpressions(maxExprCnt uint64) Option

MaxExpressions creates an Option to stop parsing after the provided number of expressions have been parsed, if the value is 0 then the parser will parse for as many steps as needed (possibly an infinite number).

The default for maxExprCnt is 0.

func Memoize

func Memoize(b bool) Option

Memoize creates an Option to set the memoize flag to b. When set to true, the parser will cache all results so each expression is evaluated only once. This guarantees linear parsing time even for pathological cases, at the expense of more memory and slower times for typical cases.

The default is false.

func Recover

func Recover(b bool) Option

Recover creates an Option to set the recover flag to b. When set to true, this causes the parser to recover from panics and convert it to an error. Setting it to false can be useful while debugging to access the full stack trace.

The default is true.

func Statistics

func Statistics(stats *Stats, choiceNoMatch string) Option

Statistics adds a user provided Stats struct to the parser to allow the user to process the results after the parsing has finished. Also the key for the "no match" counter is set.

Example usage:

input := "input"
stats := Stats{}
_, err := Parse("input-file", []byte(input), Statistics(&stats, "no match"))
if err != nil {
    log.Panicln(err)
}
b, err := json.MarshalIndent(stats.ChoiceAltCnt, "", "  ")
if err != nil {
    log.Panicln(err)
}
fmt.Println(string(b))

type ParameterBody

type ParameterBody struct {
	Target    string
	Functions []string
}

ParameterBody is the syntax node representing the dynamic body feature of the `with` clause.

type Parameters

type Parameters struct {
	Body      *ParameterBody
	KeyValues []KeyValue
}

Parameters is the syntax node representing the `with` clause.

type Primitive

type Primitive struct {
	String  *string
	Int     *int
	Float   *float64
	Boolean *bool
	Chain   []Chained
	Null    bool
}

Primitive is the syntax node representing the basic restQL value types.

type Qualifier

type Qualifier struct {
	With         *Parameters
	Only         []Filter
	Headers      []HeaderItem
	DependsOn    string
	Hidden       bool
	Timeout      *TimeoutValue
	MaxAge       *MaxAgeValue
	SMaxAge      *SMaxAgeValue
	IgnoreErrors bool
}

Qualifier is the syntax node representing statement clauses: `with`, `only`, `hidden`, `headers`, `timeout` `max-age`, `s-max-age` and `ignore-errors`.

type Query

type Query struct {
	Use    []Use
	Blocks []Block
}

Query is the root of the restQL AST.

type SMaxAgeValue

type SMaxAgeValue variableOrInt

SMaxAgeValue is the syntax node representing the value in the `s-max-age` clause.

type Stats

type Stats struct {
	// ExprCnt counts the number of expressions processed during parsing
	// This value is compared to the maximum number of expressions allowed
	// (set by the MaxExpressions option).
	ExprCnt uint64

	// ChoiceAltCnt is used to count for each ordered choice expression,
	// which alternative is used how may times.
	// These numbers allow to optimize the order of the ordered choice expression
	// to increase the performance of the parser
	//
	// The outer key of ChoiceAltCnt is composed of the name of the rule as well
	// as the line and the column of the ordered choice.
	// The inner key of ChoiceAltCnt is the number (one-based) of the matching alternative.
	// For each alternative the number of matches are counted. If an ordered choice does not
	// match, a special counter is incremented. The name of this counter is set with
	// the parser option Statistics.
	// For an alternative to be included in ChoiceAltCnt, it has to match at least once.
	ChoiceAltCnt map[string]map[string]int
}

Stats stores some statistics, gathered during parsing

type TimeoutValue

type TimeoutValue variableOrInt

TimeoutValue is the syntax node representing the value in the `timeout` clause.

type Use

type Use struct {
	Key   string
	Value UseValue
}

Use is the syntax node representing the `use` clause.

type UseValue

type UseValue struct {
	Int    *int
	String *string
}

UseValue is the syntax node representing the `use` clause possible values.

type Value

type Value struct {
	List      []Value
	Object    []ObjectEntry
	Variable  *string
	Primitive *Primitive
}

Value is the syntax node representing possible types used in the `with` clause parameters.

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL