TreeTraverser

Instance Constructors

new TreeTraverser()

Type Members

type C = Unit

Context computed while recursing down the trees
Context computed while recursing down the trees

Definition Classes
TreeTraverser → TreeTransformer
type R = Unit

Result type computed at each tree
Result type computed at each tree

Definition Classes
TreeTraverser → TreeTransformer

Abstract Value Members

abstract def combine(tree: Tree): Unit

Concrete Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

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

Definition Classes
AnyRef → 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 context with the results from subtrees
Combine the context with the results from subtrees
combine is used after recursively transforming the subtrees, to combine the multiple results into one result 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. So combine can be used to apply some function to each tree element.

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, r: R): (Sort, R)

Definition Classes
TreeTraverser → PrePostTreeTransformer
final def post(term: Term, r: R): (Term, R)

a post-transformation to be applied to the term
a post-transformation to be applied to the term
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
def post(sort: Sort): Unit
def post(term: Term): Unit
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
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
def pre(sort: Sort): Unit
def pre(term: Term): Unit
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, R)

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

Definition Classes
PrePostTreeTransformer → TreeTransformer
def transform(resp: CommandResponse, context: C): (CommandResponse, R)

Definition Classes
TreeTransformer
def transform(cmd: Command, context: C): (Command, R)

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

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

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

Definition Classes
TreeTransformer
def transform(option: SMTOption, context: C): (SMTOption, R)

Definition Classes
TreeTransformer
def transform(attr: Attribute, context: C): (Attribute, R)

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

Definition Classes
TreeTransformer
def transformQualifiedIdentifier(qid: QualifiedIdentifier, context: C): (QualifiedIdentifier, R)

Definition Classes
TreeTransformer
def transformSymbol(symbol: SSymbol, context: C): (SSymbol, R)

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( ... )

Related Doc: package trees

abstract class TreeTraverser extends PrePostTreeTransformer

Instance Constructors

new TreeTraverser()

Type Members

type C = Unit

type R = Unit

Abstract Value Members

abstract def combine(tree: Tree): Unit

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

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, r: R): (Sort, R)

final def post(term: Term, r: R): (Term, R)

def post(sort: Sort): Unit

def post(term: Term): Unit

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

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

def pre(sort: Sort): Unit

def pre(term: Term): Unit

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

def toString(): String

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

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

def transform(resp: CommandResponse, context: C): (CommandResponse, R)

def transform(cmd: Command, context: C): (Command, R)

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

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

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

def transform(option: SMTOption, context: C): (SMTOption, R)

def transform(attr: Attribute, context: C): (Attribute, R)

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

def transformQualifiedIdentifier(qid: QualifiedIdentifier, context: C): (QualifiedIdentifier, R)

def transformSymbol(symbol: SSymbol, context: C): (SSymbol, R)

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