final case class QuantifiedExpr(quantifier: Quantifier, simpleBindings: IndexedSeq[SimpleBindingInQuantifiedExpr], satisfiesExpr: ExprSingle) extends ExprSingle with VariableIntroducingExpr with Product with Serializable
- Alphabetic
- By Inheritance
- QuantifiedExpr
- Serializable
- Product
- Equals
- VariableIntroducingExpr
- ExprSingle
- SimpleExpr
- Expr
- XPathExpr
- XPathElem
- ElemLike
- ElemApi
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Instance Constructors
- new QuantifiedExpr(quantifier: Quantifier, simpleBindings: IndexedSeq[SimpleBindingInQuantifiedExpr], satisfiesExpr: ExprSingle)
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##(): Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def children: IndexedSeq[XPathElem]
Returns the (immediate) child elements of this element.
Returns the (immediate) child elements of this element.
- Definition Classes
- QuantifiedExpr → XPathElem → ElemLike → ElemApi
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def filterElems(p: (XPathElem) => Boolean): IndexedSeq[XPathElem]
Finds all descendant elements obeying the given predicate.
- final def filterElemsOfType[A <: XPathElem](cls: ClassTag[A])(p: (A) => Boolean): IndexedSeq[A]
Finds all descendant elements of the given element type obeying the given predicate.
- final def filterElemsOrSelf(p: (XPathElem) => Boolean): IndexedSeq[XPathElem]
Finds all descendant-or-self elements obeying the given predicate.
- final def filterElemsOrSelfOfType[A <: XPathElem](cls: ClassTag[A])(p: (A) => Boolean): IndexedSeq[A]
Finds all descendant-or-self elements of the given element type obeying the given predicate.
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def findAllElems: IndexedSeq[XPathElem]
Finds all descendant elements.
- final def findAllElemsOfType[A <: XPathElem](cls: ClassTag[A]): IndexedSeq[A]
Finds all descendant elements of the given element type.
- final def findAllElemsOrSelf: IndexedSeq[XPathElem]
Finds all descendant-or-self elements.
- final def findAllElemsOrSelfOfType[A <: XPathElem](cls: ClassTag[A]): IndexedSeq[A]
Finds all descendant-or-self elements of the given element type.
- final def findAllTopmostElemsOfType[A <: XPathElem](cls: ClassTag[A]): IndexedSeq[A]
Finds all topmost descendant elements of the given element type.
- final def findAllTopmostElemsOrSelfOfType[A <: XPathElem](cls: ClassTag[A]): IndexedSeq[A]
Finds all topmost descendant-or-self elements of the given element type.
- final def findElem(p: (XPathElem) => Boolean): Option[XPathElem]
Finds the first descendant element obeying the given predicate, if any, returning an optional result.
- final def findElemOfType[A <: XPathElem](cls: ClassTag[A])(p: (A) => Boolean): Option[A]
Finds the first descendant element of the given element type obeying the given predicate, if any, returning an optional result.
- final def findElemOrSelf(p: (XPathElem) => Boolean): Option[XPathElem]
Finds the first descendant-or-self element obeying the given predicate, if any, returning an optional result.
- final def findElemOrSelfOfType[A <: XPathElem](cls: ClassTag[A])(p: (A) => Boolean): Option[A]
Finds the first descendant-or-self element of the given element type obeying the given predicate, if any, returning an optional result.
- final def findFirstElemOfType[A <: XPathElem](cls: ClassTag[A]): Option[A]
Finds the first descendant element of the given element type, if any, returning an optional result.
- final def findFirstElemOrSelfOfType[A <: XPathElem](cls: ClassTag[A]): Option[A]
Finds the first descendant-or-self element of the given element type, if any, returning an optional result.
- final def findTopmostElems(p: (XPathElem) => Boolean): IndexedSeq[XPathElem]
Finds all topmost descendant elements obeying the given predicate.
- final def findTopmostElemsOfType[A <: XPathElem](cls: ClassTag[A])(p: (A) => Boolean): IndexedSeq[A]
Finds all topmost descendant elements of the given element type obeying the given predicate.
- final def findTopmostElemsOrSelf(p: (XPathElem) => Boolean): IndexedSeq[XPathElem]
Finds all topmost elements-or-self obeying the given predicate.
- final def findTopmostElemsOrSelfOfType[A <: XPathElem](cls: ClassTag[A])(p: (A) => Boolean): IndexedSeq[A]
Finds all topmost descendant-or-self elements of the given element type obeying the given predicate.
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- val quantifier: Quantifier
- def returnExpr: XPathElem
Returns the "return expression".
Returns the "return expression".
- Definition Classes
- QuantifiedExpr → VariableIntroducingExpr
- val satisfiesExpr: ExprSingle
- final def scopeOfVariableBinding(variableBindingIndex: Int): IndexedSeq[XPathElem]
Returns the scope of the variable binding whose index is given as parameter.
Returns the scope of the variable binding whose index is given as parameter. The scope determines where variables can be bound by that variable binding.
- Definition Classes
- VariableIntroducingExpr
- val simpleBindings: IndexedSeq[SimpleBindingInQuantifiedExpr]
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def variableBindings: IndexedSeq[VariableBinding]
Returns the variable bindings introduced by this element.
Returns the variable bindings introduced by this element.
- Definition Classes
- QuantifiedExpr → VariableIntroducingExpr
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()