object VariableBindingUtil
Utility to query for free and bound variable occurrences. It takes (inline) function parameters into account as well.
Note that in an XPath expression EQNames can play different roles: variable names (including function parameters), function names, type names, and any kind of name in node tests (kind tests and name tests). This utility only cares about variables (including function parameters).
- Alphabetic
- By Inheritance
- VariableBindingUtil
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
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
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
def
findAllBoundVariables(elem: XPathElem): IndexedSeq[VarRef]
Returns
findAllBoundVariables(elem, Set()). -
def
findAllBoundVariables(elem: XPathElem, inheritedIntroducedVariables: Set[EQName]): IndexedSeq[VarRef]
Returns all VarRef elements that are bound, given the passed inherited "introduced" variables and the variable bindings of and in the given element itself.
Returns all VarRef elements that are bound, given the passed inherited "introduced" variables and the variable bindings of and in the given element itself. Note that function parameters (in inline functions) must also be treated as "introduced" variables. All bound VarRefs that are descendant-or-self elements of the parameter element are returned.
The "introduced" variables are those in variable bindings as well as function parameters.
-
def
findAllFreeVariables(elem: XPathElem): IndexedSeq[VarRef]
Returns
findAllFreeVariables(elem, Set()). -
def
findAllFreeVariables(elem: XPathElem, inheritedIntroducedVariables: Set[EQName]): IndexedSeq[VarRef]
Returns all VarRef elements that are free despite the passed inherited "introduced" variables and the variable bindings of and in the given element itself.
Returns all VarRef elements that are free despite the passed inherited "introduced" variables and the variable bindings of and in the given element itself. Note that function parameters (in inline functions) must also be treated as "introduced" variables. All free VarRefs that are descendant-or-self elements of the parameter element are returned.
The "introduced" variables are those in variable bindings as well as function parameters.
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- 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()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
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( ... )