CollectorWithPC

abstract def step(e: ast.Trees.Expr, env: Env): List[Result]

Does one step of collection for the current Expr and Env

abstract val symbols: ast.Trees.Symbols

abstract val trees: Trees

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def accumulate(e: ast.Trees.Expr, env: Env): Unit

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def collect(fd: ast.Trees.FunDef): List[Result]

Collect the expressions in a FunDef's body

final def collect(e: ast.Trees.Expr): List[Result]

Traverses an Expr with the initial environment and collects

final def collect(e: ast.Trees.Expr, init: Env): List[Result]

Traverses an Expr with the specified environment and collects

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

def initEnv: ast.Definitions.Symbols.Path

The default initial Env

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def rec(e: ast.Trees.Expr, current: Env): ast.Trees.Expr

The function that recursively traverses the expression

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def transform(fd: ast.Trees.FunDef): ast.Trees.Expr

Transform the body of a FunDef

final def transform(e: ast.Trees.Expr): ast.Trees.Expr

Transform an Expr with the initial environment

final def transform(e: ast.Trees.Expr, init: Env): ast.Trees.Expr

Transform an Expr with the specified environment

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit