Trait scala.reflect.macros.Internals.ContextInternalApi.TypingTransformApi
trait TypingTransformApi extends TransformApi
Abstract Value Members
abstract def atOwner[T](tree: blackbox.Context.Tree, owner: blackbox.Context.Symbol)(op: ⇒ T): T
abstract def atOwner[T](owner: blackbox.Context.Symbol)(op: ⇒ T): T
abstract def currentOwner: blackbox.Context.Symbol
Returns the symbol currently on the top of the owner stack. If we're not inside any atOwner
call, then macro application's context owner will be used.
abstract def default(tree: blackbox.Context.Tree): blackbox.Context.Tree
Calls the default transformer on the given tree. Default transformer = recur into tree's children and assemble the results.
- Definition Classes
- TransformApi
abstract def recur(tree: blackbox.Context.Tree): blackbox.Context.Tree
Calls the current transformer on the given tree. Current transformer = argument to the transform
call.
- Definition Classes
- TransformApi
abstract def typecheck(tree: blackbox.Context.Tree): blackbox.Context.Tree
Typechecks the given tree using the local typer currently on the top of the owner stack. If we're not inside any atOwner
call, then macro application's callsite typer will be used.
Concrete Value Members
final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
final def ##(): Int
- Definition Classes
- AnyRef → Any
def +(other: String): String
- Implicit
- This member is added by an implicit conversion from TypingTransformApi to any2stringadd[TypingTransformApi] performed by method any2stringadd in scala.Predef.
- Definition Classes
- any2stringadd
def ->[B](y: B): (TypingTransformApi, B)
- Implicit
- This member is added by an implicit conversion from TypingTransformApi to ArrowAssoc[TypingTransformApi] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @inline()
final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
final def asInstanceOf[T0]: T0
- Definition Classes
- Any
def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
def ensuring(cond: (TypingTransformApi) ⇒ Boolean, msg: ⇒ Any): TypingTransformApi
- Implicit
- This member is added by an implicit conversion from TypingTransformApi to Ensuring[TypingTransformApi] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
def ensuring(cond: (TypingTransformApi) ⇒ Boolean): TypingTransformApi
- Implicit
- This member is added by an implicit conversion from TypingTransformApi to Ensuring[TypingTransformApi] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): TypingTransformApi
- Implicit
- This member is added by an implicit conversion from TypingTransformApi to Ensuring[TypingTransformApi] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
def ensuring(cond: Boolean): TypingTransformApi
- Implicit
- This member is added by an implicit conversion from TypingTransformApi to Ensuring[TypingTransformApi] 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[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
def formatted(fmtstr: String): String
- Implicit
- This member is added by an implicit conversion from TypingTransformApi to StringFormat[TypingTransformApi] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @inline()
final def getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
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( ... ) @native()
def →[B](y: B): (TypingTransformApi, B)
- Implicit
- This member is added by an implicit conversion from TypingTransformApi to ArrowAssoc[TypingTransformApi] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
© 2002-2019 EPFL, with contributions from Lightbend.
Licensed under the Apache License, Version 2.0.
https://www.scala-lang.org/api/2.12.9/scala-reflect/scala/reflect/macros/Internals$ContextInternalApi$TypingTransformApi.html
Functions that are available during typingTransform.
typingTransform