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
override def canEqual (arg0 : Any) : Boolean
A method that should be called from every well-designed equals method that is open to be overridden in a subclass. See Programming in Scala, Chapter 28 for discussion and design.
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 Product
productIterator, productElements
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
override def canEqual(arg0 : Any) : Boolean
A method that should be called from every well-designed equals method that is open to be overridden in a subclass. See Programming in Scala, Chapter 28 for discussion and design.
Scala Library