SimpleTreeTransformer

Instance Constructors

new SimpleTreeTransformer()

Type Members

type C = Unit

Definition Classes
SimpleTreeTransformer → TreeTransformer

Abstract Value Members

abstract def post(sort: Sort): Sort
abstract def post(term: Term): Term
abstract def pre(sort: Sort): Sort
abstract def pre(term: Term): Term

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: C, cs: Seq[C]): C

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
SimpleTreeTransformer → 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
SimpleTreeTransformer → 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
SimpleTreeTransformer → PrePostTreeTransformer
final def pre(sort: Sort, c: C): (Sort, C)

Definition Classes
SimpleTreeTransformer → 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
SimpleTreeTransformer → PrePostTreeTransformer
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def transform(sortedVar: SortedVar): SortedVar
final def transform(sortedVar: SortedVar, c: C): (SortedVar, C)

Definition Classes
SimpleTreeTransformer → TreeTransformer
final def transform(varBinding: VarBinding): VarBinding
final def transform(varBinding: VarBinding, c: C): (VarBinding, C)

Definition Classes
SimpleTreeTransformer → TreeTransformer
final def transform(id: Identifier): Identifier
final def transform(id: Identifier, c: C): (Identifier, C)

Definition Classes
SimpleTreeTransformer → TreeTransformer
final def transform(sort: Sort): Sort
final def transform(term: Term): Term
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
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 SimpleTreeTransformer extends PrePostTreeTransformer

Instance Constructors

new SimpleTreeTransformer()

Type Members

type C = Unit

Abstract Value Members

abstract def post(sort: Sort): Sort

abstract def post(term: Term): Term

abstract def pre(sort: Sort): Sort

abstract def pre(term: Term): Term

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: C, cs: Seq[C]): C

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(sortedVar: SortedVar): SortedVar

final def transform(sortedVar: SortedVar, c: C): (SortedVar, C)

final def transform(varBinding: VarBinding): VarBinding

final def transform(varBinding: VarBinding, c: C): (VarBinding, C)

final def transform(id: Identifier): Identifier

final def transform(id: Identifier, c: C): (Identifier, C)

final def transform(sort: Sort): Sort

final def transform(term: Term): Term

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)

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