tmql

type Anchor struct {
	Constant *Constant `  @@`
	Variable string    `| @Variable | @"."`
}

type Atom struct {
	Keyword Keyword `( @"undef" | @"true" | @"false" )`
	Number  *int    `| @Int`
	String  *string `| @String`
}

type Axis int

type BindingSet struct {
	VariableAssignments []*VariableAssignment `@@ ( "," @@ )*`
}

type BooleanExpression struct {
	BooleanPrimitive *BooleanPrimitive `@@`
}

type BooleanPrimitive struct {
	Negated      *BooleanPrimitive `  "not" @@`
	ForallClause *ForallClause     `| @@`
	ExistsClause *ExistsClause     `| @@`
}

type CompositeContent struct {
	Content   *Content   `@@`
	OpContent *OpContent `@@*`
}

type Constant struct {
	Atom          *Atom          `  @@`
	ItemReference *ItemReference `| @@`
}

type Content struct {
	QueryExpression *QueryExpression `  "{" @@ "}"`
	PathExpression  *PathExpression  `| @@`
}

type ExistsClause struct {
	ExistsQuantifier  *ExistsQuantifier  `( @@`
	BindingSet        *BindingSet        `  @@`
	BooleanExpression *BooleanExpression `  "satisfies" @@ )`
	ExistsContent     *CompositeContent  `| "exists"? @@`
}

type ExistsQuantifier struct {
	Some  bool `  @"some"`
	Least int  `| "at" ( "least" @Int`
	Most  int  `       | "most" @Int )`
}

type ForallClause struct {
	BindingSet        *BindingSet        `"every" @@`
	BooleanExpression *BooleanExpression `"satisfies" @@`
}

type ItemReference struct {
	Identifier string `  @Identifier`
	QIRI       string `| @QIRI`
}

type Keyword string

type OpContent struct {
	ContentInfixOperator string   `( @"++" | @"--" | @"==" )`
	Content              *Content `@@`
}

type PathExpression struct {
	PostfixedExpression *PostfixedExpression `@@`
}

type Postfix struct {
	// TMQL [56] filter-postfix
	//
	// http://www.isotopicmaps.org/tmql/tmql.html#filter-postfix
	FilterPostfix *BooleanPrimitive `"[" @@ "]"`
}

type PostfixedExpression struct {
	TupleExpression *TupleExpression `( @@`
	SimpleContent   *SimpleContent   `| @@ )`
	Postfix         []*Postfix       `@@*`
}

type QName struct {
	Prefix     string `@Prefix`
	Identifier string `@Identifier`
}

type QueryExpression struct {
	PathExpression *PathExpression `@@`
}

type SimpleContent struct {
	Anchor     *Anchor `@@`
	Navigation []*Step `@@*`
}

type Step struct {
	Direction StepDirection `( @">>" | @"<<" )`
	Axis      Axis          `` /* 248-byte string literal not displayed */

	Anchor *Anchor `@@?`
}

type StepDirection int

type TupleExpression struct {
	Null bool `@Null`
}

type VariableAssignment struct {
	Variable         string            `@Variable`
	CompositeContent *CompositeContent `"in" @@`
}