Class

scala.reflect.macros.contexts

Context

Related Doc: package contexts

Permalink

abstract class Context extends blackbox.Context with whitebox.Context with Aliases with Enclosures with Names with Reifiers with FrontEnds with Infrastructure with Typers with Parsers with Evals with ExprUtils with Traces with Internals

Source
Context.scala
Linear Supertypes
Internals, TypingTransformers, Traces, util.Traces, ExprUtils, Evals, Parsers, Typers, Infrastructure, FrontEnds, Reifiers, Names, Enclosures, Aliases, whitebox.Context, blackbox.Context, macros.Internals, macros.ExprUtils, macros.Evals, macros.Parsers, macros.Typers, macros.Infrastructure, macros.FrontEnds, macros.Reifiers, macros.Names, macros.Enclosures, macros.Aliases, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Context
  2. Internals
  3. TypingTransformers
  4. Traces
  5. Traces
  6. ExprUtils
  7. Evals
  8. Parsers
  9. Typers
  10. Infrastructure
  11. FrontEnds
  12. Reifiers
  13. Names
  14. Enclosures
  15. Aliases
  16. Context
  17. Context
  18. Internals
  19. ExprUtils
  20. Evals
  21. Parsers
  22. Typers
  23. Infrastructure
  24. FrontEnds
  25. Reifiers
  26. Names
  27. Enclosures
  28. Aliases
  29. AnyRef
  30. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Context()

    Permalink

Type Members

  1. trait ContextInternalApi extends MacroInternalApi

    Permalink
    Definition Classes
    Internals
  2. type Expr[+T] = tools.nsc.Global.Expr[T]

    Permalink
    Definition Classes
    Aliases
  3. case class ImplicitCandidate extends Product with Serializable

    Permalink
    Definition Classes
    Context
  4. type Modifiers = tools.nsc.Global.Modifiers

    Permalink
    Definition Classes
    Aliases
  5. type Name = tools.nsc.Global.Name

    Permalink
    Definition Classes
    Aliases
  6. type Position = internal.util.Position

    Permalink
    Definition Classes
    Aliases
  7. abstract type PrefixType

    Permalink
    Definition Classes
    Context
  8. implicit class RichOpenImplicit extends AnyRef

    Permalink
    Definition Classes
    Aliases
  9. type Scope = tools.nsc.Global.Scope

    Permalink
    Definition Classes
    Aliases
  10. type Symbol = tools.nsc.Global.Symbol

    Permalink
    Definition Classes
    Aliases
  11. type TermName = tools.nsc.Global.TermName

    Permalink
    Definition Classes
    Aliases
  12. type Tree = tools.nsc.Global.Tree

    Permalink
    Definition Classes
    Aliases
  13. type Type = tools.nsc.Global.Type

    Permalink
    Definition Classes
    Aliases
  14. type TypeName = tools.nsc.Global.TypeName

    Permalink
    Definition Classes
    Aliases
  15. type TypeTag[T] = tools.nsc.Global.TypeTag[T]

    Permalink
    Definition Classes
    Aliases
  16. type TypecheckException = macros.TypecheckException

    Permalink
    Definition Classes
    Typers
  17. type TypecheckMode = Mode

    Permalink
    Definition Classes
    Typers
  18. abstract class TypingTransformer extends Global.Transformer

    Permalink
    Definition Classes
    TypingTransformers
  19. type WeakTypeTag[T] = tools.nsc.Global.WeakTypeTag[T]

    Permalink
    Definition Classes
    Aliases
  20. type CompilationUnit = tools.nsc.Global.CompilationUnit

    Permalink
    Definition Classes
    Aliases
    Annotations
    @deprecated
    Deprecated

    (Since version 2.11.0) c.enclosingTree-style APIs are now deprecated; consult the scaladoc for more information

  21. case class EnclosureException extends Exception with Product with Serializable

    Permalink
    Definition Classes
    Enclosures
    Annotations
    @deprecated
    Deprecated

    (Since version 2.11.0) c.enclosingTree-style APIs are now deprecated; consult the scaladoc for more information

  22. type Run = tools.nsc.Global.Run

    Permalink
    Definition Classes
    Aliases
    Annotations
    @deprecated
    Deprecated

    (Since version 2.11.0) c.enclosingTree-style APIs are now deprecated; consult the scaladoc for more information

Abstract Value Members

  1. abstract val callsiteTyper: (analyzer)#Typer

    Permalink
  2. abstract val expandee: Tree

    Permalink
  3. abstract val prefix: Expr[PrefixType]

    Permalink
    Definition Classes
    Context → Context
  4. abstract val universe: Global

    Permalink
    Definition Classes
    Context → Context

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink

    Test two objects for inequality.

    Test two objects for inequality.

    returns

    true if !(this == that), false otherwise.

    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink

    Equivalent to x.hashCode except for boxed numeric types and null.

    Equivalent to x.hashCode except for boxed numeric types and null. For numerics, it returns a hash value which is consistent with value equality: if two value type instances compare as true, then ## will produce the same hash value for each of them. For null returns a hashcode where null.hashCode throws a NullPointerException.

    returns

    a hash value consistent with ==

    Definition Classes
    AnyRef → Any
  3. def +(other: String): String

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

    Permalink
    Implicit information
    This member is added by an implicit conversion from Context to ArrowAssoc[Context] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  5. final def ==(arg0: Any): Boolean

    Permalink

    The expression x == that is equivalent to if (x eq null) that eq null else x.equals(that).

    The expression x == that is equivalent to if (x eq null) that eq null else x.equals(that).

    returns

    true if the receiver object is equivalent to the argument; false otherwise.

    Definition Classes
    AnyRef → Any
  6. def Expr[T](tree: Tree)(implicit arg0: WeakTypeTag[T]): Expr[T]

    Permalink
    Definition Classes
    Aliases
  7. val Expr: tools.nsc.Global.Expr.type

    Permalink
    Definition Classes
    Aliases
  8. val PATTERNmode: Mode

    Permalink
    Definition Classes
    Typers
  9. val TERMmode: Mode

    Permalink
    Definition Classes
    Typers
  10. val TYPEmode: Mode

    Permalink
    Definition Classes
    Typers
  11. def TypeTag[T](tpe: Type): TypeTag[T]

    Permalink
    Definition Classes
    Aliases
  12. val TypeTag: tools.nsc.Global.TypeTag.type

    Permalink
    Definition Classes
    Aliases
  13. val TypecheckException: macros.TypecheckException.type

    Permalink
    Definition Classes
    Typers
  14. val TypecheckMode: Mode.type

    Permalink
    Definition Classes
    Typers
  15. def WeakTypeTag[T](tpe: Type): WeakTypeTag[T]

    Permalink
    Definition Classes
    Aliases
  16. val WeakTypeTag: tools.nsc.Global.WeakTypeTag.type

    Permalink
    Definition Classes
    Aliases
  17. def abort(pos: Position, msg: String): Nothing

    Permalink
    Definition Classes
    FrontEnds
  18. final def asInstanceOf[T0]: T0

    Permalink

    Cast the receiver object to be of type T0.

    Cast the receiver object to be of type T0.

    Note that the success of a cast at runtime is modulo Scala's erasure semantics. Therefore the expression 1.asInstanceOf[String] will throw a ClassCastException at runtime, while the expression List(1).asInstanceOf[List[String]] will not. In the latter example, because the type argument is erased as part of compilation it is not possible to check whether the contents of the list are of the requested type.

    returns

    the receiver object.

    Definition Classes
    Any
    Exceptions thrown

    ClassCastException if the receiver object is not an instance of the erasure of type T0.

  19. def classPath: List[URL]

    Permalink
    Definition Classes
    Infrastructure
  20. def clone(): AnyRef

    Permalink

    Create a copy of the receiver object.

    Create a copy of the receiver object.

    The default implementation of the clone method is platform dependent.

    returns

    a copy of the receiver object.

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
    Note

    not specified by SLS as a member of AnyRef

  21. def compilerSettings: List[String]

    Permalink
    Definition Classes
    Infrastructure
  22. def echo(pos: Position, msg: String): Unit

    Permalink
    Definition Classes
    FrontEnds
  23. val enclosingClass: Tree

    Permalink
    Definition Classes
    Enclosures
  24. def enclosingDef: tools.nsc.Global.DefDef

    Permalink
    Definition Classes
    Enclosures
  25. def enclosingImpl: tools.nsc.Global.ImplDef

    Permalink
    Definition Classes
    Enclosures
  26. val enclosingImplicits: List[ImplicitCandidate]

    Permalink
    Definition Classes
    Enclosures
  27. val enclosingMacros: List[Context]

    Permalink
    Definition Classes
    Enclosures
  28. val enclosingMethod: Tree

    Permalink
    Definition Classes
    Enclosures
  29. def enclosingPackage: tools.nsc.Global.PackageDef

    Permalink
    Definition Classes
    Enclosures
  30. val enclosingPosition: Position

    Permalink
    Definition Classes
    Enclosures
  31. val enclosingRun: Run

    Permalink
    Definition Classes
    Enclosures
  32. def enclosingTemplate: tools.nsc.Global.Template

    Permalink
    Definition Classes
    Enclosures
  33. val enclosingUnit: CompilationUnit

    Permalink
    Definition Classes
    Enclosures
  34. def ensuring(cond: (Context) ⇒ Boolean, msg: ⇒ Any): Context

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

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

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

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

    Permalink

    Tests whether the argument (that) is a reference to the receiver object (this).

    Tests whether the argument (that) is a reference to the receiver object (this).

    The eq method implements an equivalence relation on non-null instances of AnyRef, and has three additional properties:

    • It is consistent: for any non-null instances x and y of type AnyRef, multiple invocations of x.eq(y) consistently returns true or consistently returns false.
    • For any non-null instance x of type AnyRef, x.eq(null) and null.eq(x) returns false.
    • null.eq(null) returns true.

    When overriding the equals or hashCode methods, it is important to ensure that their behavior is consistent with reference equality. Therefore, if two objects are references to each other (o1 eq o2), they should be equal to each other (o1 == o2) and they should hash to the same value (o1.hashCode == o2.hashCode).

    returns

    true if the argument is a reference to the receiver object; false otherwise.

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

    Permalink

    The equality method for reference types.

    The equality method for reference types. Default implementation delegates to eq.

    See also equals in scala.Any.

    returns

    true if the receiver object is equivalent to the argument; false otherwise.

    Definition Classes
    AnyRef → Any
  40. def error(pos: Position, msg: String): Unit

    Permalink
    Definition Classes
    FrontEnds
  41. def eval[T](expr: Expr[T]): T

    Permalink
    Definition Classes
    Evals
  42. def finalize(): Unit

    Permalink

    Called by the garbage collector on the receiver object when there are no more references to the object.

    Called by the garbage collector on the receiver object when there are no more references to the object.

    The details of when and if the finalize method is invoked, as well as the interaction between finalize and non-local returns and exceptions, are all platform dependent.

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
    Note

    not specified by SLS as a member of AnyRef

  43. def formatted(fmtstr: String): String

    Permalink
    Implicit information
    This member is added by an implicit conversion from Context to StringFormat[Context] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  44. def fresh[NameType <: Name](name: NameType): NameType

    Permalink
    Definition Classes
    Names
  45. def fresh(name: String): String

    Permalink
    Definition Classes
    Names
  46. def fresh(): String

    Permalink
    Definition Classes
    Names
  47. def freshName[NameType <: Name](name: NameType): NameType

    Permalink
    Definition Classes
    Names
  48. def freshName(name: String): String

    Permalink
    Definition Classes
    Names
  49. def freshName(): String

    Permalink
    Definition Classes
    Names
  50. def freshNameCreator: FreshNameCreator

    Permalink
    Definition Classes
    Names
  51. final def getClass(): Class[_]

    Permalink

    A representation that corresponds to the dynamic class of the receiver object.

    A representation that corresponds to the dynamic class of the receiver object.

    The nature of the representation is platform dependent.

    returns

    a representation that corresponds to the dynamic class of the receiver object.

    Definition Classes
    AnyRef → Any
    Note

    not specified by SLS as a member of AnyRef

  52. val global: universe.type

    Permalink
    Definition Classes
    Reifiers
  53. def globalSettings: Settings

    Permalink
    Definition Classes
    TracesTraces
  54. def hasErrors: Boolean

    Permalink
    Definition Classes
    FrontEnds
  55. def hasWarnings: Boolean

    Permalink
    Definition Classes
    FrontEnds
  56. def hashCode(): Int

    Permalink

    The hashCode method for reference types.

    The hashCode method for reference types. See hashCode in scala.Any.

    returns

    the hash code value for this object.

    Definition Classes
    AnyRef → Any
  57. def inferImplicitValue(pt: Type, silent: Boolean = true, withMacrosDisabled: Boolean = false, pos: Position = enclosingPosition): Tree

    Permalink
    Definition Classes
    Typers
  58. def inferImplicitView(tree: Tree, from: Type, to: Type, silent: Boolean = true, withMacrosDisabled: Boolean = false, pos: Position = enclosingPosition): Tree

    Permalink
    Definition Classes
    Typers
  59. def info(pos: Position, msg: String, force: Boolean): Unit

    Permalink
    Definition Classes
    FrontEnds
  60. lazy val internal: ContextInternalApi

    Permalink
    Definition Classes
    Internals
  61. final def isInstanceOf[T0]: Boolean

    Permalink

    Test whether the dynamic type of the receiver object is T0.

    Test whether the dynamic type of the receiver object is T0.

    Note that the result of the test is modulo Scala's erasure semantics. Therefore the expression 1.isInstanceOf[String] will return false, while the expression List(1).isInstanceOf[List[String]] will return true. In the latter example, because the type argument is erased as part of compilation it is not possible to check whether the contents of the list are of the specified type.

    returns

    true if the receiver object is an instance of erasure of type T0; false otherwise.

    Definition Classes
    Any
  62. def literal(x: Char): Expr[Char]

    Permalink
    Definition Classes
    ExprUtils
  63. def literal(x: String): Expr[String]

    Permalink
    Definition Classes
    ExprUtils
  64. def literal(x: Double): Expr[Double]

    Permalink
    Definition Classes
    ExprUtils
  65. def literal(x: Float): Expr[Float]

    Permalink
    Definition Classes
    ExprUtils
  66. def literal(x: Long): Expr[Long]

    Permalink
    Definition Classes
    ExprUtils
  67. def literal(x: Int): Expr[Int]

    Permalink
    Definition Classes
    ExprUtils
  68. def literal(x: Short): Expr[Short]

    Permalink
    Definition Classes
    ExprUtils
  69. def literal(x: Byte): Expr[Byte]

    Permalink
    Definition Classes
    ExprUtils
  70. def literal(x: Boolean): Expr[Boolean]

    Permalink
    Definition Classes
    ExprUtils
  71. def literalFalse: Expr[Boolean]

    Permalink
    Definition Classes
    ExprUtils
  72. def literalNull: Expr[Null]

    Permalink
    Definition Classes
    ExprUtils
  73. def literalTrue: Expr[Boolean]

    Permalink
    Definition Classes
    ExprUtils
  74. def literalUnit: Expr[Unit]

    Permalink
    Definition Classes
    ExprUtils
  75. val macroApplication: Tree

    Permalink
    Definition Classes
    Enclosures
  76. val macroDebugLite: Boolean

    Permalink
    Definition Classes
    Traces
  77. val macroDebugVerbose: Boolean

    Permalink
    Definition Classes
    Traces
  78. final def macroLogLite(msg: ⇒ Any): Unit

    Permalink
    Definition Classes
    Traces
    Annotations
    @inline()
  79. final def macroLogVerbose(msg: ⇒ Any): Unit

    Permalink
    Definition Classes
    Traces
    Annotations
    @inline()
  80. val mirror: tools.nsc.Global.Mirror

    Permalink
    Definition Classes
    Context → Context
  81. final def ne(arg0: AnyRef): Boolean

    Permalink

    Equivalent to !(this eq that).

    Equivalent to !(this eq that).

    returns

    true if the argument is not a reference to the receiver object; false otherwise.

    Definition Classes
    AnyRef
  82. final def notify(): Unit

    Permalink

    Wakes up a single thread that is waiting on the receiver object's monitor.

    Wakes up a single thread that is waiting on the receiver object's monitor.

    Definition Classes
    AnyRef
    Note

    not specified by SLS as a member of AnyRef

  83. final def notifyAll(): Unit

    Permalink

    Wakes up all threads that are waiting on the receiver object's monitor.

    Wakes up all threads that are waiting on the receiver object's monitor.

    Definition Classes
    AnyRef
    Note

    not specified by SLS as a member of AnyRef

  84. def openImplicits: List[ImplicitCandidate]

    Permalink
    Definition Classes
    Typers
  85. def openMacros: List[Context]

    Permalink
    Definition Classes
    Typers
  86. def parse(code: String): tools.nsc.Global.Tree

    Permalink
    Definition Classes
    Parsers
  87. def reifyEnclosingRuntimeClass: Tree

    Permalink
    Definition Classes
    Reifiers
  88. def reifyRuntimeClass(tpe: Type, concrete: Boolean = true): Tree

    Permalink
    Definition Classes
    Reifiers
  89. def reifyTree(universe: Tree, mirror: Tree, tree: Tree): Tree

    Permalink
    Definition Classes
    Reifiers
  90. def reifyType(universe: Tree, mirror: Tree, tpe: Type, concrete: Boolean = false): Tree

    Permalink
    Definition Classes
    Reifiers
  91. def resetLocalAttrs(tree: Tree): Tree

    Permalink
    Definition Classes
    Typers
  92. def settings: List[String]

    Permalink
    Definition Classes
    Infrastructure
  93. def symbolOf[T](implicit arg0: Context.WeakTypeTag[T]): tools.nsc.Global.TypeSymbol

    Permalink
    Definition Classes
    Aliases
  94. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  95. def toString(): String

    Permalink

    Creates a String representation of this object.

    Creates a String representation of this object. The default representation is platform dependent. On the java platform it is the concatenation of the class name, "@", and the object's hashcode in hexadecimal.

    returns

    a String representation of the object.

    Definition Classes
    AnyRef → Any
  96. def typeOf[T](implicit ttag: TypeTag[T]): Type

    Permalink
    Definition Classes
    Aliases
  97. def typeTag[T](implicit ttag: TypeTag[T]): TypeTag[T]

    Permalink
    Definition Classes
    Aliases
  98. def typecheck(tree: Tree, mode: TypecheckMode = TERMmode, pt: Type = universe.WildcardType, silent: Boolean = false, withImplicitViewsDisabled: Boolean = false, withMacrosDisabled: Boolean = false): Tree

    Permalink

  99. def unreifyTree(tree: Tree): Tree

    Permalink
    Definition Classes
    Reifiers
  100. def untypecheck(tree: Tree): Tree

    Permalink
    Definition Classes
    Typers
  101. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  102. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  103. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  104. def warning(pos: Position, msg: String): Unit

    Permalink
    Definition Classes
    FrontEnds
  105. def weakTypeOf[T](implicit attag: WeakTypeTag[T]): Type

    Permalink
    Definition Classes
    Aliases
  106. def weakTypeTag[T](implicit attag: WeakTypeTag[T]): WeakTypeTag[T]

    Permalink
    Definition Classes
    Aliases
  107. def [B](y: B): (Context, B)

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

Deprecated Value Members

  1. def typeCheck(tree: Context.Tree, pt: Context.Type, silent: Boolean, withImplicitViewsDisabled: Boolean, withMacrosDisabled: Boolean): Context.Tree

    Permalink
    Definition Classes
    Typers
    Annotations
    @deprecated
    Deprecated

    (Since version 2.11.0) Use c.typecheck instead

Inherited from Internals

Inherited from TypingTransformers

Inherited from Traces

Inherited from util.Traces

Inherited from ExprUtils

Inherited from Evals

Inherited from Parsers

Inherited from Typers

Inherited from Infrastructure

Inherited from FrontEnds

Inherited from Reifiers

Inherited from Names

Inherited from Enclosures

Inherited from Aliases

Inherited from whitebox.Context

Inherited from blackbox.Context

Inherited from macros.Internals

Inherited from macros.ExprUtils

Inherited from macros.Evals

Inherited from macros.Parsers

Inherited from macros.Typers

Inherited from macros.Infrastructure

Inherited from macros.FrontEnds

Inherited from macros.Reifiers

Inherited from macros.Names

Inherited from macros.Enclosures

Inherited from macros.Aliases

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from Context to any2stringadd[Context]

Inherited by implicit conversion StringFormat from Context to StringFormat[Context]

Inherited by implicit conversion Ensuring from Context to Ensuring[Context]

Inherited by implicit conversion ArrowAssoc from Context to ArrowAssoc[Context]

Ungrouped