W3cubDocs

/Scala 2.13 Reflection

Trait scala.reflect.macros.Internals.ContextInternalApi.TypingTransformApi

trait TypingTransformApi extends TransformApi

Functions that are available during typingTransform.

Source: Internals.scala
See also: typingTransform
Linear Supertypes: TransformApi, AnyRef, Any

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 toany2stringadd[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 toArrowAssoc[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[java.lang]
Definition Classes: AnyRef
Annotations: @throws(classOf[java.lang.CloneNotSupportedException]) @native()

def ensuring(cond: (TypingTransformApi) => Boolean, msg: => Any): TypingTransformApi

Implicit: This member is added by an implicit conversion from TypingTransformApi toEnsuring[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 toEnsuring[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 toEnsuring[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 toEnsuring[TypingTransformApi] performed by method Ensuring in scala.Predef.
Definition Classes: Ensuring

final def eq(arg0: AnyRef): Boolean

Definition Classes: AnyRef

def equals(arg0: AnyRef): 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: This member is added by an implicit conversion from TypingTransformApi toStringFormat[TypingTransformApi] performed by method StringFormat in scala.Predef.
Definition Classes: StringFormat
Annotations: @inline()

final def getClass(): Class[_ <: AnyRef]

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(classOf[java.lang.InterruptedException])

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

Definition Classes: AnyRef
Annotations: @throws(classOf[java.lang.InterruptedException])

final def wait(arg0: Long): Unit

Definition Classes: AnyRef
Annotations: @throws(classOf[java.lang.InterruptedException]) @native()

© 2002-2019 EPFL, with contributions from Lightbend.
Licensed under the Apache License, Version 2.0.
https://www.scala-lang.org/api/2.13.0/scala-reflect/scala/reflect/macros/Internals$ContextInternalApi$TypingTransformApi.html