Type Members

1.  sealed trait AbbrevForwardStep extends ForwardStep
2.  sealed trait AdditionOp extends XPathElem with LeafElem
3.  final case class AdditiveExpr (firstExpr: MultiplicativeExpr, operatorExprPairs: IndexedSeq[(AdditionOp, MultiplicativeExpr)]) extends XPathElem with Product with Serializable
4.  final case class AndExpr (comparisonExprs: IndexedSeq[ComparisonExpr]) extends XPathElem with Product with Serializable
5.  sealed trait Argument extends XPathElem
6.  final case class ArgumentList (arguments: IndexedSeq[Argument]) extends PredicateOrArgumentList with Product with Serializable
7.  final case class AtomicOrUnionType (tpe: EQName) extends ItemType with LeafElem with Product with Serializable
8.  final case class AttributeAxisAbbrevForwardStep (nodeTest: NodeTest) extends AbbrevForwardStep with Product with Serializable
9.  final case class AttributeNameAndTypeTest (name: EQName, tpe: EQName) extends AttributeTest with LeafElem with Product with Serializable
10.  final case class AttributeNameTest (name: EQName) extends AttributeTest with LeafElem with Product with Serializable
11.  sealed trait AttributeTest extends KindTest
12.  final case class AttributeTypeTest (tpe: EQName) extends AttributeTest with LeafElem with Product with Serializable
13.  sealed trait AxisStep extends StepExpr
14.  final case class BracedUriLiteral (namespaceOption: Option[String]) extends Product with Serializable

    Braced URI literal.

15.  final case class CastExpr (unaryExpr: UnaryExpr, singleTypeOption: Option[SingleType]) extends XPathElem with Product with Serializable
16.  final case class CastableExpr (castExpr: CastExpr, singleTypeOption: Option[SingleType]) extends XPathElem with Product with Serializable
17.  sealed trait Comp extends XPathElem with LeafElem
18.  sealed trait ComparisonExpr extends XPathElem
19.  final case class CompoundComparisonExpr (stringConcatExpr1: StringConcatExpr, comp: Comp, stringConcatExpr2: StringConcatExpr) extends ComparisonExpr with Product with Serializable
20.  final case class CompoundRangeExpr (additiveExpr1: AdditiveExpr, additiveExpr2: AdditiveExpr) extends RangeExpr with Product with Serializable
21.  final case class DataPITest (data: StringLiteral) extends PITest with Product with Serializable
22.  final case class DecimalLiteral (value: BigDecimal) extends NumericLiteral with LeafElem with Product with Serializable
23.  sealed trait DocumentTest extends KindTest
24.  final case class DocumentTestContainingElementTest (elementTest: ElementTest) extends DocumentTest with Product with Serializable
25.  final case class DocumentTestContainingSchemaElementTest (schemaElementTest: SchemaElementTest) extends DocumentTest with Product with Serializable
26.  final case class DoubleLiteral (value: Double) extends NumericLiteral with LeafElem with Product with Serializable
27.  sealed trait EQName extends AnyRef

    EQName, so either a URIQualifiedName or a QName.

28.  final case class ElementNameAndTypeTest (name: EQName, tpe: EQName) extends ElementTest with LeafElem with Product with Serializable
29.  final case class ElementNameTest (name: EQName) extends ElementTest with LeafElem with Product with Serializable
30.  sealed trait ElementTest extends KindTest
31.  final case class ElementTypeTest (tpe: EQName) extends ElementTest with LeafElem with Product with Serializable
32.  final case class EnclosedExpr (expr: Expr) extends XPathElem with Product with Serializable
33.  final case class ExactlyOneSequenceType (itemType: ItemType) extends SequenceType with Product with Serializable
34.  final case class Expr (exprSingleSeq: IndexedSeq[ExprSingle]) extends XPathElem with Product with Serializable
35.  sealed trait ExprSingle extends XPathElem
36.  final case class ExprSingleArgument (exprSingle: ExprSingle) extends Argument with Product with Serializable
37.  final case class ForExpr (simpleForBindings: IndexedSeq[SimpleForBinding], returnExpr: ExprSingle) extends ExprSingle with VariableIntroducingExpr with Product with Serializable
38.  sealed trait ForwardAxis extends XPathElem with LeafElem
39.  final case class ForwardAxisStep (step: ForwardStep, predicateList: IndexedSeq[Predicate]) extends AxisStep with Product with Serializable
40.  sealed trait ForwardStep extends XPathElem
41.  final case class FunctionCall (functionName: EQName, argumentList: ArgumentList) extends PrimaryExpr with Product with Serializable
42.  sealed trait FunctionItemExpr extends PrimaryExpr
43.  sealed trait FunctionTest extends ItemType
44.  sealed trait GeneralComp extends Comp
45.  final case class IfExpr (condition: Expr, thenExpr: ExprSingle, elseExpr: ExprSingle) extends ExprSingle with Product with Serializable
46.  final case class InlineFunctionExpr (paramListOption: Option[ParamList], resultTypeOption: Option[SequenceType], body: EnclosedExpr) extends FunctionItemExpr with Product with Serializable
47.  final case class InstanceOfExpr (treatExpr: TreatExpr, sequenceTypeOption: Option[SequenceType]) extends XPathElem with Product with Serializable
48.  final case class IntegerLiteral (value: BigInt) extends NumericLiteral with LeafElem with Product with Serializable
49.  final case class IntersectExceptExpr (firstExpr: InstanceOfExpr, operatorExprPairs: IndexedSeq[(IntersectExceptOp, InstanceOfExpr)]) extends XPathElem with Product with Serializable
50.  sealed trait IntersectExceptOp extends XPathElem with LeafElem
51.  sealed trait ItemType extends XPathElem
52.  sealed trait KindTest extends NodeTest
53.  final case class KindTestItemType (kindTest: KindTest) extends ItemType with Product with Serializable
54.  sealed trait LeafElem extends XPathElem
55.  final case class LetExpr (simpleLetBindings: IndexedSeq[SimpleLetBinding], returnExpr: ExprSingle) extends ExprSingle with VariableIntroducingExpr with Product with Serializable
56.  sealed trait Literal extends PrimaryExpr
57.  final case class LocalNameWildcard (localName: NCName) extends Wildcard with LeafElem with Product with Serializable
58.  final case class MultiplicativeExpr (firstExpr: UnionExpr, operatorExprPairs: IndexedSeq[(MultiplicativeOp, UnionExpr)]) extends XPathElem with Product with Serializable
59.  sealed trait MultiplicativeOp extends XPathElem with LeafElem
60.  final case class NCName (name: String) extends Product with Serializable

    NCName, that is, a non-colon name.

61.  sealed trait NameTest extends NodeTest
62.  final case class NamedFunctionRef (functionName: EQName, arity: BigInt) extends FunctionItemExpr with LeafElem with Product with Serializable
63.  final case class NamespaceWildcard (bracedUriLiteral: BracedUriLiteral) extends Wildcard with LeafElem with Product with Serializable
64.  final case class NillableElementNameAndTypeTest (name: EQName, tpe: EQName) extends ElementTest with LeafElem with Product with Serializable
65.  final case class NillableElementTypeTest (tpe: EQName) extends ElementTest with LeafElem with Product with Serializable
66.  sealed trait NodeComp extends Comp
67.  sealed trait NodeTest extends XPathElem
68.  final case class NonAbbrevForwardStep (forwardAxis: ForwardAxis, nodeTest: NodeTest) extends ForwardStep with Product with Serializable
69.  final case class NonAbbrevReverseStep (reverseAxis: ReverseAxis, nodeTest: NodeTest) extends ReverseStep with Product with Serializable
70.  final case class NonEmptySingleType (name: EQName) extends SingleType with LeafElem with Product with Serializable
71.  sealed trait NumericLiteral extends Literal
72.  final case class OneOrMoreSequenceType (itemType: ItemType) extends SequenceType with Product with Serializable
73.  final case class OrExpr (andExprs: IndexedSeq[AndExpr]) extends ExprSingle with Product with Serializable
74.  sealed trait PITest extends KindTest
75.  final case class Param (paramName: EQName, typeDeclarationOption: Option[TypeDeclaration]) extends XPathElem with Product with Serializable
76.  final case class ParamList (params: IndexedSeq[Param]) extends XPathElem with Product with Serializable
77.  final case class ParenthesizedExpr (exprOption: Option[Expr]) extends PrimaryExpr with Product with Serializable
78.  final case class ParenthesizedItemType (itemType: ItemType) extends ItemType with Product with Serializable
79.  sealed trait PathExpr extends XPathElem
80.  final case class PathExprStartingWithDoubleSlash (relativePathExpr: RelativePathExpr) extends PathExpr with Product with Serializable
81.  final case class PathExprStartingWithSingleSlash (relativePathExpr: RelativePathExpr) extends PathExpr with Product with Serializable
82.  final case class PostfixExpr (primaryExpr: PrimaryExpr, predicatesAndArgumentLists: IndexedSeq[PredicateOrArgumentList]) extends StepExpr with Product with Serializable
83.  final case class PotentiallyEmptySingleType (name: EQName) extends SingleType with LeafElem with Product with Serializable
84.  final case class Predicate (expr: Expr) extends PredicateOrArgumentList with Product with Serializable
85.  sealed trait PredicateOrArgumentList extends XPathElem
86.  final case class PrefixWildcard (prefix: NCName) extends Wildcard with LeafElem with Product with Serializable
87.  sealed trait PrimaryExpr extends XPathElem
88.  final case class QuantifiedExpr (quantifier: Quantifier, simpleBindings: IndexedSeq[SimpleBindingInQuantifiedExpr], satisfiesExpr: ExprSingle) extends ExprSingle with VariableIntroducingExpr with Product with Serializable
89.  sealed trait Quantifier extends XPathElem with LeafElem
90.  sealed trait RangeExpr extends XPathElem
91.  final case class RelativePathExpr (firstExpr: StepExpr, operatorExprPairs: IndexedSeq[(StepOp, StepExpr)]) extends PathExpr with Product with Serializable
92.  sealed trait ReverseAxis extends XPathElem with LeafElem
93.  final case class ReverseAxisStep (step: ReverseStep, predicateList: IndexedSeq[Predicate]) extends AxisStep with Product with Serializable
94.  sealed trait ReverseStep extends XPathElem
95.  final case class SchemaAttributeTest (name: EQName) extends KindTest with LeafElem with Product with Serializable
96.  final case class SchemaElementTest (name: EQName) extends KindTest with LeafElem with Product with Serializable
97.  sealed trait SequenceType extends XPathElem
98.  final case class SimpleAbbrevForwardStep (nodeTest: NodeTest) extends AbbrevForwardStep with Product with Serializable
99.  final case class SimpleBindingInQuantifiedExpr (varName: EQName, expr: ExprSingle) extends VariableBinding with Product with Serializable
100.  final case class SimpleComparisonExpr (stringConcatExpr: StringConcatExpr) extends ComparisonExpr with Product with Serializable
101.  final case class SimpleForBinding (varName: EQName, expr: ExprSingle) extends VariableBinding with Product with Serializable
102.  final case class SimpleLetBinding (varName: EQName, expr: ExprSingle) extends VariableBinding with Product with Serializable
103.  final case class SimpleMapExpr (pathExprs: IndexedSeq[PathExpr]) extends XPathElem with Product with Serializable
104.  final case class SimpleNameTest (name: EQName) extends NameTest with LeafElem with Product with Serializable
105.  final case class SimpleRangeExpr (additiveExpr: AdditiveExpr) extends RangeExpr with Product with Serializable
106.  sealed trait SingleType extends XPathElem
107.  sealed trait StepExpr extends XPathElem
108.  sealed trait StepOp extends XPathElem with LeafElem
109.  final case class StringConcatExpr (rangeExprs: IndexedSeq[RangeExpr]) extends XPathElem with Product with Serializable
110.  final case class StringLiteral (value: String) extends Literal with LeafElem with Product with Serializable
111.  final case class TargetPITest (target: NCName) extends PITest with LeafElem with Product with Serializable
112.  final case class TreatExpr (castableExpr: CastableExpr, sequenceTypeOption: Option[SequenceType]) extends XPathElem with Product with Serializable
113.  final case class TypeDeclaration (tpe: SequenceType) extends XPathElem with Product with Serializable
114.  final case class TypedFunctionTest (argumentTypes: IndexedSeq[SequenceType], resultType: SequenceType) extends FunctionTest with Product with Serializable
115.  final case class UnaryExpr (ops: IndexedSeq[UnaryOp], valueExpr: ValueExpr) extends XPathElem with Product with Serializable
116.  sealed trait UnaryOp extends XPathElem with LeafElem
117.  final case class UnionExpr (intersectExceptExprs: IndexedSeq[IntersectExceptExpr]) extends XPathElem with Product with Serializable
118.  sealed trait ValueComp extends Comp
119.  final case class ValueExpr (expr: SimpleMapExpr) extends XPathElem with Product with Serializable
120.  final case class VarRef (varName: EQName) extends PrimaryExpr with LeafElem with Product with Serializable
121.  sealed trait VariableBinding extends XPathElem

     Binding of a variable name to an expression.

122.  sealed trait VariableIntroducingExpr extends XPathElem

     XPathElem that can introduce one or more variable bindings.

123.  sealed trait Wildcard extends NameTest
124.  sealed trait XPathElem extends ElemLike[XPathElem]

     XPath 3.0 AST.

     XPath 3.0 AST. The root of the type hierarchy is XPathElem. It offers the ElemApi query API.

     The purpose of this AST is as follows:

     • It must represent the syntax tree of a successfully parsed XPath expression
     • It is not annotated with more semantic information, like type information that is not included in the XPath expression
     • It does not know anything about the context in which it runs, like bound namespaces etc.
     • It is rich enough to be able to serialize the AST back to XPath, knowing exactly where to place parentheses, braces, etc.
     • It is rich enough to contain operator precedence in the AST itself
     • Serialization of the AST to XPath may lead to differences in whitespace (and operator aliases), but other than that the result must be the same
     • The AST class hierarchy does not have to use the exact same names as the XPath grammar

     Having such an AST of a successfully parsed XPath expression, it must be easy to reliably find used namespace prefixes, for example.

     TODO Improve several class names.

     TODO XPath 3.1.

125.  final case class XPathExpr (expr: Expr) extends XPathElem with Product with Serializable
126.  final case class ZeroOrMoreSequenceType (itemType: ItemType) extends SequenceType with Product with Serializable
127.  final case class ZeroOrOneSequenceType (itemType: ItemType) extends SequenceType with Product with Serializable