trait Reify extends GenSymbols with GenTypes with GenNames with GenTrees with GenAnnotationInfos with GenPositions with GenUtils
- Alphabetic
- By Inheritance
- Reify
- GenUtils
- GenPositions
- GenAnnotationInfos
- GenTrees
- GenNames
- GenTypes
- GenSymbols
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- Protected
Type Members
- case class Reification(name: tools.nsc.Global.Name, binding: tools.nsc.Global.Tree, tree: tools.nsc.Global.Tree) extends Product with Serializable
- Definition Classes
- GenSymbols
Value Members
- object TypedOrAnnotated
- Definition Classes
- GenUtils
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- def +(other: String): String
- def ->[B](y: B): (Reify, B)
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def boundSymbolsInCallstack: List[tools.nsc.Global.Symbol]
- def call(fname: String, args: tools.nsc.Global.Tree*): tools.nsc.Global.Tree
- Definition Classes
- GenUtils
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def current: Any
- def currents: List[Any]
- def ensuring(cond: (Reify) => Boolean, msg: => Any): Reify
- def ensuring(cond: (Reify) => Boolean): Reify
- def ensuring(cond: Boolean, msg: => Any): Reify
- def ensuring(cond: Boolean): Reify
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isCrossStageTypeBearer(tree: tools.nsc.Global.Tree): Boolean
- Definition Classes
- GenUtils
- Annotations
- @tailrec()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def isSemiConcreteTypeMember(tpe: tools.nsc.Global.Type): Boolean
- Definition Classes
- GenUtils
- def mirrorBuildCall(name: tools.nsc.Global.TermName, args: tools.nsc.Global.Tree*): tools.nsc.Global.Tree
- Definition Classes
- GenUtils
- def mirrorCall(name: tools.nsc.Global.TermName, args: tools.nsc.Global.Tree*): tools.nsc.Global.Tree
- Definition Classes
- GenUtils
- def mirrorFactoryCall(prefix: tools.nsc.Global.TermName, args: tools.nsc.Global.Tree*): tools.nsc.Global.Tree
- Definition Classes
- GenUtils
- def mirrorFactoryCall(value: Product, args: tools.nsc.Global.Tree*): tools.nsc.Global.Tree
- Definition Classes
- GenUtils
- def mirrorMirrorCall(name: tools.nsc.Global.TermName, args: tools.nsc.Global.Tree*): tools.nsc.Global.Tree
- Definition Classes
- GenUtils
- def mirrorMirrorSelect(name: tools.nsc.Global.TermName): tools.nsc.Global.Tree
- Definition Classes
- GenUtils
- def mirrorSelect(name: tools.nsc.Global.TermName): tools.nsc.Global.Tree
- Definition Classes
- GenUtils
- def mirrorSelect(name: String): tools.nsc.Global.Tree
- Definition Classes
- GenUtils
- def mkList(args: List[tools.nsc.Global.Tree]): tools.nsc.Global.Tree
- Definition Classes
- GenUtils
- def mkListMap(args: List[tools.nsc.Global.Tree]): tools.nsc.Global.Tree
- Definition Classes
- GenUtils
- 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()
- def origin(sym: tools.nsc.Global.Symbol): String
- Definition Classes
- GenUtils
- def path(fullname: String, mkName: (String) => tools.nsc.Global.Name): tools.nsc.Global.Tree
An (unreified) path that refers to definition with given fully qualified name
An (unreified) path that refers to definition with given fully qualified name
- mkName
Creator for last portion of name (either TermName or TypeName)
- Definition Classes
- GenUtils
- def reificationIsConcrete: Boolean
Keeps track of whether this reification contains abstract type parameters
Keeps track of whether this reification contains abstract type parameters
- Definition Classes
- GenTypes
- def reify(reifee: Any): tools.nsc.Global.Tree
Reifies any supported value.
Reifies any supported value. For internal use only, use
reifiedinstead. - def reifyAnnotationInfo(ann: tools.nsc.Global.AnnotationInfo): tools.nsc.Global.Tree
- Definition Classes
- GenAnnotationInfos
- def reifyBuildCall(name: tools.nsc.Global.TermName, args: Any*): tools.nsc.Global.Tree
- Definition Classes
- GenUtils
- def reifyFlags(flags: tools.nsc.Global.FlagSet): tools.nsc.Global.Tree
- Definition Classes
- GenTrees
- def reifyFreeTerm(binding: tools.nsc.Global.Tree): tools.nsc.Global.Tree
- Definition Classes
- GenSymbols
- def reifyFreeType(binding: tools.nsc.Global.Tree): tools.nsc.Global.Tree
- Definition Classes
- GenSymbols
- def reifyList(xs: List[Any]): tools.nsc.Global.Tree
- Definition Classes
- GenUtils
- def reifyMirrorObject(x: Product): tools.nsc.Global.Tree
- Definition Classes
- GenUtils
- def reifyMirrorObject(name: String): tools.nsc.Global.Tree
Reify a case object defined in Mirror
Reify a case object defined in Mirror
- Definition Classes
- GenUtils
- def reifyModifiers(m: tools.nsc.Global.Modifiers): tools.nsc.Global.Tree
- Definition Classes
- GenTrees
- def reifyName(name: tools.nsc.Global.Name): tools.nsc.Global.Tree
- Definition Classes
- GenNames
- def reifyPosition(pos: tools.nsc.Global.Position): tools.nsc.Global.Tree
- Definition Classes
- GenPositions
- def reifyProduct(prefix: String, elements: List[Any]): tools.nsc.Global.Tree
- Definition Classes
- GenUtils
- def reifyProduct(x: Product): tools.nsc.Global.Tree
- Definition Classes
- GenUtils
- def reifySymDef(sym: tools.nsc.Global.Symbol): tools.nsc.Global.Tree
- Definition Classes
- GenSymbols
- def reifySymRef(sym: tools.nsc.Global.Symbol): tools.nsc.Global.Tree
Reify a reference to a symbol
Reify a reference to a symbol
- Definition Classes
- GenSymbols
- def reifyTree(tree: tools.nsc.Global.Tree): tools.nsc.Global.Tree
Reify a tree.
Reify a tree. For internal use only, use
reifiedinstead.- Definition Classes
- GenTrees
- def reifyTreeSymbols: Boolean
- Definition Classes
- GenTrees
- def reifyTreeSyntactically(tree: tools.nsc.Global.Tree): tools.nsc.Global.Tree
- Definition Classes
- GenTrees
- def reifyTreeTypes: Boolean
- Definition Classes
- GenTrees
- def reifyType(tpe: tools.nsc.Global.Type): tools.nsc.Global.Tree
Reify a type.
Reify a type. For internal use only, use
reifiedinstead.- Definition Classes
- GenTypes
- def scalaFactoryCall(name: String, args: tools.nsc.Global.Tree*): tools.nsc.Global.Tree
- Definition Classes
- GenUtils
- def scalaFactoryCall(name: tools.nsc.Global.TermName, args: tools.nsc.Global.Tree*): tools.nsc.Global.Tree
- Definition Classes
- GenUtils
- def spliceType(tpe: tools.nsc.Global.Type): tools.nsc.Global.Tree
- Definition Classes
- GenTypes
- def symtab: Reifier.SymbolTable
Symbol table of the reifee.
Symbol table of the reifee.
Keeps track of auxiliary symbols that are necessary for this reification session. These include: 1) Free vars (terms, types and existentials), 2) Non-locatable symbols (sometimes, e.g. for RefinedTypes, we need to reify these; to do that we create their copies in the reificode) 3) Non-locatable symbols that are referred by #1, #2 and #3
Exposes three main methods: 1)
symsthat lists symbols belonging to the table, 2)symXXXfamily of methods that provide information about the symbols in the table, 3)encodethat renders the table into a list of trees (recursively populating #3 and setting up initialization code for #1, #2 and #3)- Definition Classes
- GenSymbols
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def termPath(fullname: String): tools.nsc.Global.Tree
An (unreified) path that refers to term definition with given fully qualified name
An (unreified) path that refers to term definition with given fully qualified name
- Definition Classes
- GenUtils
- 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()
Deprecated Value Members
- def formatted(fmtstr: String): String
- Implicit
- This member is added by an implicit conversion from Reify toStringFormat[Reify] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @deprecated @inline()
- Deprecated
(Since version 2.12.16) Use
formatString.format(value)instead ofvalue.formatted(formatString), or use thef""string interpolator. In Java 15 and later,formattedresolves to the new method in String which has reversed parameters.
- def →[B](y: B): (Reify, B)
- Implicit
- This member is added by an implicit conversion from Reify toArrowAssoc[Reify] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @deprecated
- Deprecated
(Since version 2.13.0) Use
->instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.
The Scala compiler and reflection APIs.