scala.util.parsing.ast

Binders

trait Binders extends AbstractSyntax with Mappable

This component provides functionality for enforcing variable binding during parse-time .

When parsing simple languages, like Featherweight Scala, these parser combinators will fully enforce the binding discipline. When names are allowed to be left unqualified, these mechanisms would have to be complemented by an extra phase that resolves names that couldn't be resolved using the naive binding rules. (Maybe some machinery to model implicit' binders (e.g., this' and imported qualifiers) and selection on a binder will suffice?)

source: Binders.scala
    authors:

  1. Adriaan Moors

Inherited
  1. Hide All
  2. Show all
  1. Mappable
  2. AbstractSyntax
  3. AnyRef
  4. Any
Visibility
  1. Public
  2. All

Type Members

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

  2. trait BindingSensitive extends AnyRef

  3. class BoundElement[boundElement <: NameElement](el: boundElement, 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 thatel' 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'.

  4. trait Element extends Positional

    The base class for elements of the abstract syntax tree .

  5. trait Mappable[T] extends AnyRef

  6. trait Mapper extends AnyRef

  7. trait NameElement extends Element

    The base class for elements in the AST that represent names {@see Binders} .

  8. trait ReturnAndDo[T] extends AnyRef

    Returns a given result, but executes the supplied closure before returning .

  9. class Scope[binderType <: NameElement] extends Iterable[binderType]

    A Scope' keeps track of one or more syntactic elements that represent bound names. The elements it contains share the same scope and must all be distinct (wrt. ==) A NameElement' n' in the AST that is conceptually bound by a Scope' s', is replaced by a BoundElement(n, s)'.

  10. class UnboundElement[N <: NameElement] extends NameElement

    A variable that escaped its scope (i .

  11. class UnderBinder[binderType <: NameElement, elementT] extends Element with BindingSensitive

    Represents an element with variables that are bound in a certain scope .

Value Members

  1. def !=(arg0: AnyRef): Boolean

  2. def !=(arg0: Any): Boolean

    o != arg0 is the same as !(o == (arg0)).

  3. def ##(): Int

  4. def $asInstanceOf[T0](): T0

  5. def $isInstanceOf[T0](): Boolean

  6. def ==(arg0: AnyRef): Boolean

    o == arg0 is the same as if (o eq null) arg0 eq null else o.equals(arg0).

  7. def ==(arg0: Any): Boolean

    o == arg0 is the same as o.equals(arg0).

  8. object EmptyBinderEnv extends BinderEnv

  9. implicit def ListIsMappable[t](xs: List[t])(implicit arg0: (t) ⇒ Mappable[t]): Mappable[List[t]]

  10. implicit def NameElementIsMappable(self: NameElement): Mappable[NameElement]

  11. implicit def OptionIsMappable[t](xs: Option[t])(implicit arg0: (t) ⇒ Mappable[t]): Mappable[Option[t]]

  12. implicit def ScopeIsMappable[bt <: NameElement](scope: Scope[bt])(implicit arg0: (bt) ⇒ Mappable[bt]): Mappable[Scope[bt]]

  13. implicit def StringIsMappable(s: String): Mappable[String]

  14. object UnderBinder extends AnyRef

  15. implicit def UnderBinderIsMappable[bt <: NameElement, st](ub: UnderBinder[bt, st])(implicit arg0: (bt) ⇒ Mappable[bt], arg1: (st) ⇒ Mappable[st]): Mappable[UnderBinder[bt, st]]

  16. def UserNameElementIsMappable[t <: NameElement](self: t): Mappable[t]

  17. def asInstanceOf[T0]: T0

    This method is used to cast the receiver object to be of type T0.

  18. def clone(): AnyRef

    This method creates and returns a copy of the receiver object .

  19. def eq(arg0: AnyRef): Boolean

    This method is used to test whether the argument (arg0) is a reference to the receiver object (this).

  20. def equals(arg0: Any): Boolean

    This method is used to compare the receiver object (this) with the argument object (arg0) for equivalence.

  21. def finalize(): Unit

    This method is called by the garbage collector on the receiver object when garbage collection determines that there are no more references to the object .

  22. def getClass(): java.lang.Class[_ <: java.lang.Object]

    Returns a representation that corresponds to the dynamic class of the receiver object .

  23. def hashCode(): Int

    Returns a hash code value for the object .

  24. def isInstanceOf[T0]: Boolean

    This method is used to test whether the dynamic type of the receiver object is T0.

  25. def ne(arg0: AnyRef): Boolean

    o.ne(arg0) is the same as !(o.eq(arg0)).

  26. def notify(): Unit

    Wakes up a single thread that is waiting on the receiver object's monitor .

  27. def notifyAll(): Unit

    Wakes up all threads that are waiting on the receiver object's monitor .

  28. def return_[T](result: T): ReturnAndDo[T]

  29. def sequence[bt <: NameElement, st](orig: List[UnderBinder[bt, st]])(implicit arg0: (st) ⇒ Mappable[st]): UnderBinder[bt, List[st]]

    If a list of UnderBinder's all have the same scope, they can be turned in to an UnderBinder containing a list of the elements in the original UnderBinder'.

  30. def synchronized[T0](arg0: T0): T0

  31. def toString(): String

    Returns a string representation of the object .

  32. def unsequence[bt <: NameElement, st](orig: UnderBinder[bt, List[st]])(implicit arg0: (st) ⇒ Mappable[st]): List[UnderBinder[bt, st]]

  33. def wait(): Unit

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

  35. def wait(arg0: Long): Unit