trait TypingTransformApi extends TransformApi
Functions that are available during typingTransform.
- Source
- Internals.scala
- See also
- Alphabetic
- By Inheritance
- TypingTransformApi
- TransformApi
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- All
Abstract Value Members
-
abstract
def
atOwner[T](tree: blackbox.Context.Tree, owner: blackbox.Context.Symbol)(op: ⇒ T): T
Temporarily pushes the given tree onto the recursion stack, and then calls
atOwner(symbol)(trans)
. -
abstract
def
atOwner[T](owner: blackbox.Context.Symbol)(op: ⇒ T): T
Temporarily pushes the given symbol onto the owner stack, creating a new local typer, invoke the given operation and then rollback the changes to the owner stack.
-
abstract
def
currentOwner: blackbox.Context.Symbol
Returns the symbol currently on the top of the owner stack.
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.
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.
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.
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[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
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[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 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
- @native() @throws( ... )
-
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