ToolBox

Abstract Value Members

abstract def compile(tree: U.Tree): () ⇒ Any

Compiles a tree using this ToolBox.
Compiles a tree using this ToolBox.
If the tree has unresolved type variables (represented as instances of FreeTypeSymbol symbols), then they all have to be resolved first using Tree.substituteTypes, or an error occurs.
This spawns the compiler at the Namer phase, and pipelines the tree through that compiler. Currently compile does not accept trees that already typechecked, because typechecking isn't idempotent. For more info, take a look at https://issues.scala-lang.org/browse/SI-5464.
abstract def eval(tree: U.Tree): Any

Compiles and runs a tree using this ToolBox.
Compiles and runs a tree using this ToolBox. Is equivalent to compile(tree)().
abstract def frontEnd: FrontEnd

Front end of the toolbox.
Front end of the toolbox.
Accumulates and displays warnings and errors, can drop to interactive mode (if supported). The latter can be useful to study the typechecker or to debug complex macros.
scala.tools.reflect provides two predefined front ends that can be created using scala.tools.reflect.mkSilentFrontEnd and scala.tools.reflect.mkConsoleFrontEnd.
abstract def inferImplicitValue(pt: U.Type, silent: Boolean = true, withMacrosDisabled: Boolean = false, pos: U.Position = u.NoPosition): U.Tree

Infers an implicit value of the expected type pt in top-level context.
Infers an implicit value of the expected type pt in top-level context. Optional pos parameter provides a position that will be associated with the implicit search.
As mentioned in https://groups.google.com/forum/#!topic/scala-internals/ta-vbUT6JE8 this API won't take into account the lexical context of the callsite, because currently it's impossible to reify it.
If silent is false, TypeError will be thrown in case of an inference error. If silent is true, the typecheck is silent and will return EmptyTree if an error occurs. Such errors don't vanish and can be inspected by turning on -Xlog-implicits. Unlike in typecheck, silent is true by default.
abstract def inferImplicitView(tree: U.Tree, from: U.Type, to: U.Type, silent: Boolean = true, withMacrosDisabled: Boolean = false, pos: U.Position = u.NoPosition): U.Tree

Infers an implicit view from the provided tree tree from the type from to the type to in the toplevel context.
Infers an implicit view from the provided tree tree from the type from to the type to in the toplevel context. Optional pos parameter provides a position that will be associated with the implicit search.
As mentioned in https://groups.google.com/forum/#!topic/scala-internals/ta-vbUT6JE8 this API won't take into account the lexical context of the callsite, because currently it's impossible to reify it.
If silent is false, TypeError will be thrown in case of an inference error. If silent is true, the typecheck is silent and will return EmptyTree if an error occurs. Such errors don't vanish and can be inspected by turning on -Xlog-implicits. Unlike in typecheck, silent is true by default.
abstract val mirror: U.Mirror

Underlying mirror of a ToolBox
abstract def parse(code: String): U.Tree

.
..
abstract def resetAllAttrs(tree: U.Tree): U.Tree

Recursively resets symbols and types in a given tree.
Recursively resets symbols and types in a given tree.
Note that this does not revert the tree to its pre-typer shape. For more info, read up https://issues.scala-lang.org/browse/SI-5464.
abstract def resetLocalAttrs(tree: U.Tree): U.Tree

Recursively resets locally defined symbols and types in a given tree.
Recursively resets locally defined symbols and types in a given tree.
Note that this does not revert the tree to its pre-typer shape. For more info, read up https://issues.scala-lang.org/browse/SI-5464.
abstract def typecheck(tree: U.Tree, pt: U.Type = u.WildcardType, silent: Boolean = false, withImplicitViewsDisabled: Boolean = false, withMacrosDisabled: Boolean = false): U.Tree

Typechecks a tree using this ToolBox.
Typechecks a tree using this ToolBox. This populates symbols and types of the tree and possibly transforms it to reflect certain desugarings.
If the tree has unresolved type variables (represented as instances of FreeTypeSymbol symbols), then they all have to be resolved first using Tree.substituteTypes, or an error occurs.
If silent is false, TypeError will be thrown in case of a typecheck error. If silent is true, the typecheck is silent and will return EmptyTree if an error occurs. Such errors don't vanish and can be inspected by turning on -Ydebug.
Typechecking can be steered with the following optional parameters: withImplicitViewsDisabled recursively prohibits implicit views (though, implicit vals will still be looked up and filled in), default value is false withMacrosDisabled recursively prohibits macro expansions and macro-based implicits, default value is false
abstract val u: U

Underlying universe of a ToolBox

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 ToolBox[U] to StringAdd[ToolBox[U]] performed by method StringAdd in scala.Predef.
Definition Classes
StringAdd
def ->[B](y: B): (ToolBox[U], B)

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

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

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

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

Implicit information
This member is added by an implicit conversion from ToolBox[U] to Ensuring[ToolBox[U]] performed by method Ensuring 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[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from ToolBox[U] to StringFormat[ToolBox[U]] performed by method StringFormat 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
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 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): (ToolBox[U], B)

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

Deprecated Value Members

def typeCheck(tree: U.Tree, pt: U.Type = u.WildcardType, silent: Boolean = false, withImplicitViewsDisabled: Boolean = false, withMacrosDisabled: Boolean = false): U.Tree

Annotations
@deprecated
Deprecated
(Since version 2.11.0) Use tb.typecheck instead
See also
Typers.typecheck

trait ToolBox[U <: Universe] extends AnyRef

Abstract Value Members

abstract def compile(tree: U.Tree): () ⇒ Any

abstract def eval(tree: U.Tree): Any

abstract def frontEnd: FrontEnd

abstract def inferImplicitValue(pt: U.Type, silent: Boolean = true, withMacrosDisabled: Boolean = false, pos: U.Position = u.NoPosition): U.Tree

abstract def inferImplicitView(tree: U.Tree, from: U.Type, to: U.Type, silent: Boolean = true, withMacrosDisabled: Boolean = false, pos: U.Position = u.NoPosition): U.Tree

abstract val mirror: U.Mirror

abstract def parse(code: String): U.Tree

abstract def resetAllAttrs(tree: U.Tree): U.Tree

abstract def resetLocalAttrs(tree: U.Tree): U.Tree

abstract def typecheck(tree: U.Tree, pt: U.Type = u.WildcardType, silent: Boolean = false, withImplicitViewsDisabled: Boolean = false, withMacrosDisabled: Boolean = false): U.Tree

abstract val u: U

Concrete Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (ToolBox[U], B)

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def ensuring(cond: (ToolBox[U]) ⇒ Boolean, msg: ⇒ Any): ToolBox[U]

def ensuring(cond: (ToolBox[U]) ⇒ Boolean): ToolBox[U]

def ensuring(cond: Boolean, msg: ⇒ Any): ToolBox[U]

def ensuring(cond: Boolean): ToolBox[U]

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

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

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

def →[B](y: B): (ToolBox[U], B)

Deprecated Value Members

def typeCheck(tree: U.Tree, pt: U.Type = u.WildcardType, silent: Boolean = false, withImplicitViewsDisabled: Boolean = false, withMacrosDisabled: Boolean = false): U.Tree

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion StringAdd from ToolBox[U] to StringAdd[ToolBox[U]]

Inherited by implicit conversion StringFormat from ToolBox[U] to StringFormat[ToolBox[U]]

Inherited by implicit conversion Ensuring from ToolBox[U] to Ensuring[ToolBox[U]]

Inherited by implicit conversion ArrowAssoc from ToolBox[U] to ArrowAssoc[ToolBox[U]]

Ungrouped