TreeGen

Instance Constructors

new TreeGen()

Abstract Value Members

abstract val global: SymbolTable

Definition Classes
TreeGen → AbsTreeGen

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
def +(other: String): String

Implicit information
This member is added by an implicit conversion from TreeGen to StringAdd performed by method any2stringadd in scala.Predef.
Definition Classes
StringAdd
def ->[B](y: B): (TreeGen, B)

Implicit information
This member is added by an implicit conversion from TreeGen to ArrowAssoc[TreeGen] performed by method any2ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
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[lang]
Definition Classes
AnyRef
Annotations
@throws()
def ensuring(cond: (TreeGen) ⇒ Boolean, msg: ⇒ Any): TreeGen

Implicit information
This member is added by an implicit conversion from TreeGen to Ensuring[TreeGen] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (TreeGen) ⇒ Boolean): TreeGen

Implicit information
This member is added by an implicit conversion from TreeGen to Ensuring[TreeGen] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): TreeGen

Implicit information
This member is added by an implicit conversion from TreeGen to Ensuring[TreeGen] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): TreeGen

Implicit information
This member is added by an implicit conversion from TreeGen to Ensuring[TreeGen] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
final def eq(arg0: AnyRef): Boolean

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

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from TreeGen to StringFormat performed by method any2stringfmt in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

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

Definition Classes
Any
def maybeMkAsInstanceOf(tree: Tree, pt: Type, tpe: Type, beforeRefChecks: Boolean = false): Tree

Cast tree to pt, unless tpe is a subtype of pt, or pt is Unit.
def mkAnd(tree1: Tree, tree2: Tree): Tree
def mkApplyIfNeeded(qual: Tree): Tree

If this is a reference to a method with an empty parameter list, wrap it in an apply.
def mkAsInstanceOf(value: Tree, tpe: Type, any: Boolean = true, wrapInApply: Boolean = true): Tree

Builds a cast with given value and type.
def mkAttributedIdent(sym: Symbol): Tree

Definition Classes
TreeGen → AbsTreeGen
def mkAttributedQualifier(tpe: Type, termSym: Symbol): Tree

Builds a reference to value whose type is given stable prefix.
Builds a reference to value whose type is given stable prefix. If the type is unsuitable, e.g. it is a TypeRef for an abstract type variable, then an Ident will be made using termSym as the Ident's symbol. In that case, termSym must not be NoSymbol.

Definition Classes
TreeGen → AbsTreeGen
def mkAttributedQualifier(tpe: Type): Tree

Builds a reference to value whose type is given stable prefix.
Builds a reference to value whose type is given stable prefix. The type must be suitable for this. For example, it must not be a TypeRef pointing to an abstract type variable.

Definition Classes
TreeGen → AbsTreeGen
def mkAttributedRef(sym: Symbol): Tree

Builds a reference to given symbol.
Builds a reference to given symbol.

Definition Classes
TreeGen → AbsTreeGen
def mkAttributedRef(pre: Type, sym: Symbol): Tree

Builds a reference to given symbol with given stable prefix.
Builds a reference to given symbol with given stable prefix.

Definition Classes
TreeGen → AbsTreeGen
def mkAttributedSelect(qual: Tree, sym: Symbol): Tree

Definition Classes
TreeGen → AbsTreeGen
def mkAttributedStableRef(sym: Symbol): Tree
def mkAttributedStableRef(pre: Type, sym: Symbol): Tree

Builds a reference with stable type to given symbol
def mkAttributedThis(sym: Symbol): Tree

Definition Classes
TreeGen → AbsTreeGen
def mkAttributedTypeApply(target: Tree, method: Symbol, targs: List[Type]): Tree
def mkClassOf(tp: Type): Tree

Apparently we smuggle a Type around as a Literal(Constant(tp)) and the implementation of Constant#tpe is such that x.
Apparently we smuggle a Type around as a Literal(Constant(tp)) and the implementation of Constant#tpe is such that x.tpe becomes ClassType(value.asInstanceOf[Type]), i.e. java.lang.Class[Type]. Can't find any docs on how/why it's done this way. See ticket SI-490 for some interesting comments from lauri alanko suggesting that the type given by classOf[T] is too strong and should be weakened so as not to suggest that classOf[List[String]] is any different from classOf[List[Int]].
!!! See deconstMap in Erasure for one bug this encoding has induced: I would be very surprised if there aren't more.
def mkConstantZero(tp: Type): Constant
def mkIsInstanceOf(value: Tree, tpe: Type, any: Boolean = true, wrapInApply: Boolean = true): Tree

Builds an instance test with given value and type.
def mkMethodCall(target: Tree, targs: List[Type], args: List[Tree]): Tree

Definition Classes
TreeGen → AbsTreeGen
def mkMethodCall(receiver: Tree, method: Symbol, targs: List[Type], args: List[Tree]): Tree

Definition Classes
TreeGen → AbsTreeGen
def mkMethodCall(receiver: Symbol, methodName: Name, args: List[Tree]): Tree

Definition Classes
TreeGen → AbsTreeGen
def mkMethodCall(target: Tree, args: List[Tree]): Tree

Definition Classes
TreeGen → AbsTreeGen
def mkMethodCall(method: Symbol, args: List[Tree]): Tree

Definition Classes
TreeGen → AbsTreeGen
def mkMethodCall(method: Symbol, targs: List[Type], args: List[Tree]): Tree

Definition Classes
TreeGen → AbsTreeGen
def mkMethodCall(receiver: Symbol, methodName: Name, targs: List[Type], args: List[Tree]): Tree

A creator for method calls, e.
A creator for method calls, e.g. fn[T1, T2, ...](v1, v2, ...) There are a number of variations.
receiver
symbol of the method receiver
methodName
name of the method to call
targs
type arguments (if Nil, no TypeApply node will be generated)
args
value arguments
returns
the newly created trees.

Definition Classes
TreeGen → AbsTreeGen
def mkNewCons(head: Tree, tail: Tree): Tree

Builds a list with given head and tail.
def mkNil: Tree

Builds a list with given head and tail.
def mkNullaryCall(method: Symbol, targs: List[Type]): Tree

Definition Classes
TreeGen → AbsTreeGen
def mkOr(tree1: Tree, tree2: Tree): Tree
def mkTuple(elems: List[Tree]): Tree

Builds a tuple
def mkTypeApply(target: Tree, method: Symbol, targs: List[Type]): Tree
def mkTypeApply(fun: Tree, targs: List[Tree]): Tree

Builds a type application node if args.
Builds a type application node if args.nonEmpty, returns fun otherwise.
def mkUnattributedRef(sym: Symbol): Tree

Builds an untyped reference to given symbol.
def mkZero(tp: Type): Tree

Builds a tree representing an undefined local, as in var x: T = _ which is appropriate to the given Type.
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def productConstr: Select
def rootId(name: Name): Select
def rootScalaDot(name: Name): Select
def scalaAnyRefConstr: Select
def scalaDot(name: Name): Select
def scalaFunctionConstr(argtpes: List[Tree], restpe: Tree, abstractFun: Boolean = false): Tree
def scalaUnitConstr: Select
val self: Any

Implicit information
This member is added by an implicit conversion from TreeGen to StringFormat performed by method any2stringfmt in scala.Predef.
Definition Classes
StringFormat
val self: Any

Implicit information
This member is added by an implicit conversion from TreeGen to StringAdd performed by method any2stringadd in scala.Predef.
Definition Classes
StringAdd
def serializableConstr: Select
def stabilize(tree: Tree): Tree

Replaces tree type with a stable type if possible
def stableTypeFor(tree: Tree): Option[Type]

Computes stable type for a tree if possible
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
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()
def →[B](y: B): (TreeGen, B)

Implicit information
This member is added by an implicit conversion from TreeGen to ArrowAssoc[TreeGen] performed by method any2ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

Deprecated Value Members

def x: TreeGen

Implicit information
This member is added by an implicit conversion from TreeGen to ArrowAssoc[TreeGen] performed by method any2ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@deprecated
Deprecated
(Since version 2.10.0) Use leftOfArrow instead
def x: TreeGen

Implicit information
This member is added by an implicit conversion from TreeGen to Ensuring[TreeGen] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
Annotations
@deprecated
Deprecated
(Since version 2.10.0) Use resultOfEnsuring instead

abstract class TreeGen extends AbsTreeGen

Instance Constructors

new TreeGen()

Abstract Value Members

abstract val global: SymbolTable

Concrete Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (TreeGen, B)

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def ensuring(cond: (TreeGen) ⇒ Boolean, msg: ⇒ Any): TreeGen

def ensuring(cond: (TreeGen) ⇒ Boolean): TreeGen

def ensuring(cond: Boolean, msg: ⇒ Any): TreeGen

def ensuring(cond: Boolean): TreeGen

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def formatted(fmtstr: String): String

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def maybeMkAsInstanceOf(tree: Tree, pt: Type, tpe: Type, beforeRefChecks: Boolean = false): Tree

def mkAnd(tree1: Tree, tree2: Tree): Tree

def mkApplyIfNeeded(qual: Tree): Tree

def mkAsInstanceOf(value: Tree, tpe: Type, any: Boolean = true, wrapInApply: Boolean = true): Tree

def mkAttributedIdent(sym: Symbol): Tree

def mkAttributedQualifier(tpe: Type, termSym: Symbol): Tree

def mkAttributedQualifier(tpe: Type): Tree

def mkAttributedRef(sym: Symbol): Tree

def mkAttributedRef(pre: Type, sym: Symbol): Tree

def mkAttributedSelect(qual: Tree, sym: Symbol): Tree

def mkAttributedStableRef(sym: Symbol): Tree

def mkAttributedStableRef(pre: Type, sym: Symbol): Tree

def mkAttributedThis(sym: Symbol): Tree

def mkAttributedTypeApply(target: Tree, method: Symbol, targs: List[Type]): Tree

def mkClassOf(tp: Type): Tree

def mkConstantZero(tp: Type): Constant

def mkIsInstanceOf(value: Tree, tpe: Type, any: Boolean = true, wrapInApply: Boolean = true): Tree

def mkMethodCall(target: Tree, targs: List[Type], args: List[Tree]): Tree

def mkMethodCall(receiver: Tree, method: Symbol, targs: List[Type], args: List[Tree]): Tree

def mkMethodCall(receiver: Symbol, methodName: Name, args: List[Tree]): Tree

def mkMethodCall(target: Tree, args: List[Tree]): Tree

def mkMethodCall(method: Symbol, args: List[Tree]): Tree

def mkMethodCall(method: Symbol, targs: List[Type], args: List[Tree]): Tree

def mkMethodCall(receiver: Symbol, methodName: Name, targs: List[Type], args: List[Tree]): Tree

def mkNewCons(head: Tree, tail: Tree): Tree

def mkNil: Tree

def mkNullaryCall(method: Symbol, targs: List[Type]): Tree

def mkOr(tree1: Tree, tree2: Tree): Tree

def mkTuple(elems: List[Tree]): Tree

def mkTypeApply(target: Tree, method: Symbol, targs: List[Type]): Tree

def mkTypeApply(fun: Tree, targs: List[Tree]): Tree

def mkUnattributedRef(sym: Symbol): Tree

def mkZero(tp: Type): Tree

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def productConstr: Select

def rootId(name: Name): Select

def rootScalaDot(name: Name): Select

def scalaAnyRefConstr: Select

def scalaDot(name: Name): Select

def scalaFunctionConstr(argtpes: List[Tree], restpe: Tree, abstractFun: Boolean = false): Tree

def scalaUnitConstr: Select

val self: Any

val self: Any

def serializableConstr: Select

def stabilize(tree: Tree): Tree

def stableTypeFor(tree: Tree): Option[Type]

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

def toString(): String

final def wait(): Unit

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

final def wait(arg0: Long): Unit