QuantifiedExpr

Value Members

1. final def !=(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

4. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

5. 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

6. 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

7. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

8. final def eq(arg0: AnyRef): Boolean

   

   Definition Classes

   AnyRef

9. final def filterElems(p: (XPathElem) ⇒ Boolean): IndexedSeq[XPathElem]

   

   Finds all descendant elements obeying the given predicate.

   Finds all descendant elements obeying the given predicate.

   Definition Classes

   ElemLike → ElemApi

10. 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.

    Finds all descendant elements of the given element type obeying the given predicate.

    Definition Classes

    ElemLike → ElemApi

11. final def filterElemsOrSelf(p: (XPathElem) ⇒ Boolean): IndexedSeq[XPathElem]

    

    Finds all descendant-or-self elements obeying the given predicate.

    Finds all descendant-or-self elements obeying the given predicate. This is a core method in that several methods are implemented directly or indirectly in terms of this one.

    Definition Classes

    ElemLike → ElemApi

12. 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.

    Finds all descendant-or-self elements of the given element type obeying the given predicate.

    Definition Classes

    ElemLike → ElemApi

13. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

14. final def findAllElems: IndexedSeq[XPathElem]

    

    Finds all descendant elements.

    Finds all descendant elements.

    Definition Classes

    ElemLike → ElemApi

15. final def findAllElemsOfType[A <: XPathElem](cls: ClassTag[A]): IndexedSeq[A]

    

    Finds all descendant elements of the given element type.

    Finds all descendant elements of the given element type.

    Definition Classes

    ElemLike → ElemApi

16. final def findAllElemsOrSelf: IndexedSeq[XPathElem]

    

    Finds all descendant-or-self elements.

    Finds all descendant-or-self elements.

    Definition Classes

    ElemLike → ElemApi

17. final def findAllElemsOrSelfOfType[A <: XPathElem](cls: ClassTag[A]): IndexedSeq[A]

    

    Finds all descendant-or-self elements of the given element type.

    Finds all descendant-or-self elements of the given element type.

    Definition Classes

    ElemLike → ElemApi

18. final def findAllTopmostElemsOfType[A <: XPathElem](cls: ClassTag[A]): IndexedSeq[A]

    

    Finds all topmost descendant elements of the given element type.

    Finds all topmost descendant elements of the given element type.

    Definition Classes

    ElemLike → ElemApi

19. final def findAllTopmostElemsOrSelfOfType[A <: XPathElem](cls: ClassTag[A]): IndexedSeq[A]

    

    Finds all topmost descendant-or-self elements of the given element type.

    Finds all topmost descendant-or-self elements of the given element type.

    Definition Classes

    ElemLike → ElemApi

20. final def findElem(p: (XPathElem) ⇒ Boolean): Option[XPathElem]

    

    Finds the first descendant element obeying the given predicate, if any, returning an optional result.

    Finds the first descendant element obeying the given predicate, if any, returning an optional result.

    Definition Classes

    ElemLike → ElemApi

21. 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.

    Finds the first descendant element of the given element type obeying the given predicate, if any, returning an optional result.

    Definition Classes

    ElemLike → ElemApi

22. 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.

    Finds the first descendant-or-self element obeying the given predicate, if any, returning an optional result.

    Definition Classes

    ElemLike → ElemApi

23. 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.

    Finds the first descendant-or-self element of the given element type obeying the given predicate, if any, returning an optional result.

    Definition Classes

    ElemLike → ElemApi

24. 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.

    Finds the first descendant element of the given element type, if any, returning an optional result.

    Definition Classes

    ElemLike → ElemApi

25. 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.

    Finds the first descendant-or-self element of the given element type, if any, returning an optional result.

    Definition Classes

    ElemLike → ElemApi

26. final def findTopmostElems(p: (XPathElem) ⇒ Boolean): IndexedSeq[XPathElem]

    

    Finds all topmost descendant elements obeying the given predicate.

    Finds all topmost descendant elements obeying the given predicate.

    Definition Classes

    ElemLike → ElemApi

27. 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.

    Finds all topmost descendant elements of the given element type obeying the given predicate.

    Definition Classes

    ElemLike → ElemApi

28. final def findTopmostElemsOrSelf(p: (XPathElem) ⇒ Boolean): IndexedSeq[XPathElem]

    

    Finds all topmost elements-or-self obeying the given predicate.

    Finds all topmost elements-or-self obeying the given predicate. This is a core method in that several methods are implemented directly or indirectly in terms of this one.

    Definition Classes

    ElemLike → ElemApi

29. 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.

    Finds all topmost descendant-or-self elements of the given element type obeying the given predicate.

    Definition Classes

    ElemLike → ElemApi

30. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

31. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

32. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

33. final def notify(): Unit

    

    Definition Classes

    AnyRef

34. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

35. val quantifier: Quantifier

    

36. val satisfiesExpr: ExprSingle

    

37. val simpleBindings: IndexedSeq[SimpleBindingInQuantifiedExpr]

    

38. final def synchronized[T0](arg0: ⇒ T0): T0

    

    Definition Classes

    AnyRef

39. def variableBindings: IndexedSeq[VariableBinding]

    

    Returns the variable bindings introduced by this element.

    Returns the variable bindings introduced by this element.

    Definition Classes

    QuantifiedExpr → VariableIntroducingExpr

40. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

41. final def wait(arg0: Long, arg1: Int): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

42. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )