ast

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