TreeTraverser

Instance Constructors

new TreeTraverser()

Type Members

type C = Unit

Definition Classes
TreeTraverser → TreeTransformer

Abstract Value Members

abstract def post(term: Tree): Unit
abstract def pre(term: Tree): Unit

Concrete Value Members

final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def ==(arg0: Any): Boolean

Definition Classes
Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def combine(tree: Tree, c: Unit, cs: Seq[Unit]): Unit

Combine the contexts from subtrees
Combine the contexts from subtrees
combine is used after recursively transforming the subtrees, to combine the multiple contexts into one context to use in the post operation. The order of the context is from left to right in the tree structure.
Combine is always invoked, even on a single element sublist or on an empty list. The tree argument is the current tree, before applying the recursive transformation. Same for the context argument, it is the current context at that transformation step.

Definition Classes
TreeTraverser → TreeTransformer
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def post(sort: Sort, c: C): (Sort, C)

Definition Classes
TreeTraverser → PrePostTreeTransformer
final def post(term: Term, c: C): (Term, C)

a post-transformation to be applied to the term
a post-transformation to be applied to the term
If defined (default to None), the term will be mapped after performing the recursion in the subtrees. This should only do the mapping, without any recursive call.

Definition Classes
TreeTraverser → PrePostTreeTransformer
final def pre(sort: Sort, c: C): (Sort, C)

Definition Classes
TreeTraverser → PrePostTreeTransformer
final def pre(term: Term, c: C): (Term, C)

a pre-transformation to be applied to the term
a pre-transformation to be applied to the term
If defined (default to None), the term will be mapped before performing the recursion in the subtrees. This should only do the mapping, without any recursive call.

Definition Classes
TreeTraverser → PrePostTreeTransformer
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def transform(sort: Sort, context: C): (Sort, C)

Definition Classes
PrePostTreeTransformer → TreeTransformer
final def transform(term: Term, context: C): (Term, C)

Definition Classes
PrePostTreeTransformer → TreeTransformer
def transform(sexpr: SExpr, context: C): (SExpr, C)

Definition Classes
TreeTransformer
def transform(sv: SortedVar, context: C): (SortedVar, C)

Definition Classes
TreeTransformer
def transform(vb: VarBinding, context: C): (VarBinding, C)

Definition Classes
TreeTransformer
def transform(id: Identifier, context: C): (Identifier, C)

Definition Classes
TreeTransformer
final def traverse(tree: Tree): Unit
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

abstract class TreeTraverser extends PrePostTreeTransformer

Instance Constructors

new TreeTraverser()

Type Members

type C = Unit

Abstract Value Members

abstract def post(term: Tree): Unit

abstract def pre(term: Tree): Unit

Concrete Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def combine(tree: Tree, c: Unit, cs: Seq[Unit]): Unit

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def post(sort: Sort, c: C): (Sort, C)

final def post(term: Term, c: C): (Term, C)

final def pre(sort: Sort, c: C): (Sort, C)

final def pre(term: Term, c: C): (Term, C)

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

def toString(): String

final def transform(sort: Sort, context: C): (Sort, C)

final def transform(term: Term, context: C): (Term, C)

def transform(sexpr: SExpr, context: C): (SExpr, C)

def transform(sv: SortedVar, context: C): (SortedVar, C)

def transform(vb: VarBinding, context: C): (VarBinding, C)

def transform(id: Identifier, context: C): (Identifier, C)

final def traverse(tree: Tree): Unit

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from PrePostTreeTransformer

Inherited from TreeTransformer

Inherited from AnyRef

Inherited from Any

Ungrouped