Scala Library
scala.util.parsing.ast.Binders

class BoundElement
[source: scala/util/parsing/ast/Binders.scala]
case class BoundElement[boundElement <: NameElement](val el : boundElement, val scope : Scope[boundElement])
extends NameElement with Proxy with BindingSensitive with Product
A `BoundElement' is bound in a certain scope `scope', which keeps track of the actual element that `el' stands for. A `BoundElement' is represented textually by its bound element, followed by its scope's `id'. For example: `x@1' represents the variable `x' that is bound in the scope with `id' `1'. @invar scope.binds(el)
Values and Variables inherited from Positional
pos
Method Summary
def alpha_== [t <: NameElement](other : BoundElement[t]) : Boolean
def name : java.lang.String
override def productArity : Int
return k for a product A(x_1,...,x_k)
override def productElement (arg0 : Int) : Any
for a product A(x_1,...,x_k), returns x_(n+1) for 0 <= n < k
override def productPrefix : java.lang.String
By default the empty string. Implementations may override this method in order to prepend a string prefix to the result of the toString methods.
def self : Element
Returns the element this `BoundElement' stands for. The `Proxy' trait ensures `equals', `hashCode' and `toString' are forwarded to the result of this method.
override def toString : java.lang.String
Returns a string representation of the object.
Methods inherited from Proxy
hashCode, equals
Methods inherited from Positional
setPos
Methods inherited from AnyRef
getClass, clone, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Method Details
def self : Element
Returns the element this `BoundElement' stands for. The `Proxy' trait ensures `equals', `hashCode' and `toString' are forwarded to the result of this method.
Overrides
Proxy.self
def name : java.lang.String
Overrides
NameElement.name
override def toString : java.lang.String
Returns a string representation of the object.

The default representation is platform dependent.

Returns
a string representation of the object.

Overrides
Proxy.toString
def alpha_==[t <: NameElement](other : BoundElement[t]) : Boolean
override def productPrefix : java.lang.String
By default the empty string. Implementations may override this method in order to prepend a string prefix to the result of the toString methods.
Overrides
Product.productPrefix
override def productArity : Int
return k for a product A(x_1,...,x_k)
Overrides
Product.productArity
override def productElement(arg0 : Int) : Any
for a product A(x_1,...,x_k), returns x_(n+1) for 0 <= n < k
Parameters
n - the index of the element to return
Throws
IndexOutOfBoundsException -
Returns
The element n elements after the first element
Overrides
Product.productElement
Scala Library