Scala Library
scala.util.parsing.ast.Binders

class BinderEnv
[source: scala/util/parsing/ast/Binders.scala]
abstract class BinderEnv
extends AnyRef
An environment that maps a `NameElement' to the scope in which it is bound. This can be used to model scoping during parsing. (This class is similar to Burak's ECOOP paper on pattern matching, except that we use `==' instead of `eq', thus types can't be unified in general) TODO: more documentation
Direct Known Subclasses:
Binders.EmptyBinderEnv
Method Summary
abstract def apply [A <: NameElement](v : A) : Option[Scope[A]]
def extend [a <: NameElement](v : a, x : Scope[a]) : BinderEnv
Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Method Details
abstract def apply[A <: NameElement](v : A) : Option[Scope[A]]
def extend[a <: NameElement](v : a, x : Scope[a]) : BinderEnv
Scala Library