Type Members

1.  sealed trait AbbrevForwardStep extends ForwardStep
2.  sealed trait AdditionOp extends XPathElem with LeafElem
3.  sealed trait AdditiveExpr extends XPathElem
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 CompoundAdditiveExpr (headExpr: MultiplicativeExpr, op: AdditionOp, tailExpr: AdditiveExpr) extends AdditiveExpr with Product with Serializable
20.  final case class CompoundComparisonExpr (stringConcatExpr1: StringConcatExpr, comp: Comp, stringConcatExpr2: StringConcatExpr) extends ComparisonExpr with Product with Serializable
21.  final case class CompoundIntersectExceptExpr (headExpr: InstanceOfExpr, op: IntersectExceptOp, tailExpr: IntersectExceptExpr) extends IntersectExceptExpr with Product with Serializable
22.  final case class CompoundMultiplicativeExpr (headExpr: UnionExpr, op: MultiplicativeOp, tailExpr: MultiplicativeExpr) extends MultiplicativeExpr with Product with Serializable
23.  final case class CompoundRangeExpr (additiveExpr1: AdditiveExpr, additiveExpr2: AdditiveExpr) extends RangeExpr with Product with Serializable
24.  final case class CompoundRelativePathExpr (headExpr: StepExpr, op: StepOp, tailExpr: RelativePathExpr) extends RelativePathExpr with Product with Serializable
25.  final case class DataPITest (data: StringLiteral) extends PITest with Product with Serializable
26.  final case class DecimalLiteral (value: BigDecimal) extends NumericLiteral with LeafElem with Product with Serializable
27.  sealed trait DocumentTest extends KindTest
28.  final case class DocumentTestContainingElementTest (elementTest: ElementTest) extends DocumentTest with Product with Serializable
29.  final case class DocumentTestContainingSchemaElementTest (schemaElementTest: SchemaElementTest) extends DocumentTest with Product with Serializable
30.  final case class DoubleLiteral (value: Double) extends NumericLiteral with LeafElem with Product with Serializable
31.  sealed trait EQName extends AnyRef

    EQName, so either a URIQualifiedName or a QName.

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

    NCName, that is, a non-colon name.

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

     Binding of a variable name to an expression.

130.  sealed trait VariableIntroducingExpr extends XPathElem

     XPathElem that can introduce one or more variable bindings.

131.  sealed trait Wildcard extends NameTest
132.  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.

133.  final case class XPathExpr (expr: Expr) extends XPathElem with Product with Serializable
134.  final case class ZeroOrMoreSequenceType (itemType: ItemType) extends SequenceType with Product with Serializable
135.  final case class ZeroOrOneSequenceType (itemType: ItemType) extends SequenceType with Product with Serializable