final case class QuantifiedExpr(quantifier: Quantifier, simpleBindings: IndexedSeq[SimpleBindingInQuantifiedExpr], satisfiesExpr: ExprSingle) extends ExprSingle with VariableIntroducingExpr with Product with Serializable
- Alphabetic
- By Inheritance
- QuantifiedExpr
- Serializable
- Serializable
- Product
- Equals
- VariableIntroducingExpr
- ExprSingle
- XPathElem
- ElemLike
- ElemApi
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
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
childrenAffectedByOwnVariableBindings: IndexedSeq[XPathElem]
Returns the children that are affected by the own (and other) variable bindings, in interpreting which variables are free and which are bounded.
Returns the children that are affected by the own (and other) variable bindings, in interpreting which variables are free and which are bounded.
- Definition Classes
- QuantifiedExpr → VariableIntroducingExpr
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
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[java.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[_]
- 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()
- val quantifier: Quantifier
- val satisfiesExpr: ExprSingle
- 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( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )