Module ast 

Structs

FunctionSig

The signature of a specific function test function(T1, …, Tn) as R (XPath 3.1 §2.5.4.3). Drives the function-subtyping rules applied by instance of / treat as: the parameter types are contravariant and the return type is covariant.

SequenceType

XPath 2.0 SequenceType — limited to what we recognise. Anything outside xs:string / xs:integer / xs:decimal / xs:double / xs:boolean / xs:date / xs:dateTime / xs:time / xs:anyAtomicType / xs:anyURI (atomic) or item() / node() / element() / attribute() / text() / comment() / processing-instruction() / document-node() (kind) is parsed but flagged as unsupported at eval time.

Step

XPathCatch

One catch clause of an Expr::TryCatch. The grammar is "catch" NameTest ("|" NameTest)* "{" Expr "}", with "*" allowed as a catch-all in place of a specific QName.

Enums

Axis

XPath 1.0 abstract syntax tree.

CatchNameTest

One name-test in an XPath try/catch catch clause name list.

Expr

ItemType

LocationPath

LookupKey

The key selector of an XPath 3.1 lookup expression (?K).

NodeTest

Occurrence

Occurrence indicator (XPath 2.0 § 2.5.3) attached to a SequenceType.

QuantifierKind

Distinguishes some (∃) from every (∀) quantified expressions.

Functions

max_predicate_nesting

Maximum depth of predicates-within-predicates anywhere in expr.

Type Aliases

SingleType

SingleType — a SequenceType with implicit ? (one or zero). Used in cast as / castable as.