Scala Reflection Library2.12.21 < Back
 

# Packages

-  package root
  Definition Classes
    root
-  package scala
  Definition Classes
    root
-  package reflect
  Definition Classes
    scala
-  package api

  EXPERIMENTAL

  EXPERIMENTAL

  The Scala Reflection API (located in scala-reflect.jar).

  In Scala 2.10.0, the Scala Reflection API and its implementation have an "experimental" status. This means that the API and the docs are not complete and can be changed in binary- and source-incompatible manner in 2.10.1. This also means that the implementation has some known issues.

  The following types are the backbone of the Scala Reflection API, and serve as a good starting point for information about Scala Reflection:

  - scala.reflect.api.Symbols
  - scala.reflect.api.Types
  - scala.reflect.api.Mirrors
  - scala.reflect.api.Universe

  For more information about Scala Reflection, see the Reflection Guide

  Definition Classes
    reflect
-  trait Internals extends AnyRef

  EXPERIMENTAL

  EXPERIMENTAL

  This trait assembles APIs occasionally necessary for performing low-level operations on reflection artifacts. See Internals#InternalApi for more information about nature, usefulness and compatibility guarantees of these APIs.

  Definition Classes
    api
- Compat
- CompatApi
- CompatToken
- FreeTermSymbol
- FreeTermSymbolApi
- FreeTypeSymbol
- FreeTypeSymbolApi
- Importer
- Internal
- InternalApi
- ReferenceToBoxed
- ReferenceToBoxedApi
- ReferenceToBoxedExtractor
- ReificationSupportApi

t

scala.reflect.api.Internals

# ReificationSupportApi 

###

#### trait ReificationSupportApi extends AnyRef

This is an internal implementation class.

Source
  Internals.scala

Linear Supertypes
AnyRef, Any
 
Ordering

1. Alphabetic
2. By Inheritance

Inherited

1. ReificationSupportApi
2. AnyRef
3. 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

### Type Members

1.  trait FlagsReprExtractor extends AnyRef
2.  trait ImplicitParamsExtractor extends AnyRef
3.  trait ScalaDotExtractor extends AnyRef
4.  trait SyntacitcSingletonTypeExtractor extends AnyRef
5.  trait SyntacticAnnotatedTypeExtractor extends AnyRef
6.  trait SyntacticAppliedExtractor extends AnyRef
7.  trait SyntacticAssignExtractor extends AnyRef
8.  trait SyntacticBlockExtractor extends AnyRef
9.  trait SyntacticClassDefExtractor extends AnyRef
10.  trait SyntacticCompoundTypeExtractor extends AnyRef
11.  trait SyntacticDefDefExtractor extends AnyRef
12.  trait SyntacticEmptyTypeTreeExtractor extends AnyRef
13.  trait SyntacticExistentialTypeExtractor extends AnyRef
14.  trait SyntacticFilterExtractor extends AnyRef
15.  trait SyntacticForExtractor extends AnyRef
16.  trait SyntacticFunctionExtractor extends AnyRef
17.  trait SyntacticFunctionTypeExtractor extends AnyRef
18.  trait SyntacticImportExtractor extends AnyRef
19.  trait SyntacticMatchExtractor extends AnyRef
20.  trait SyntacticNewExtractor extends AnyRef
21.  trait SyntacticObjectDefExtractor extends AnyRef
22.  trait SyntacticPackageObjectDefExtractor extends AnyRef
23.  trait SyntacticPartialFunctionExtractor extends AnyRef
24.  trait SyntacticPatDefExtractor extends AnyRef
25.  trait SyntacticSelectTermExtractor extends AnyRef
26.  trait SyntacticSelectTypeExtractor extends AnyRef
27.  trait SyntacticTermIdentExtractor extends AnyRef
28.  trait SyntacticTraitDefExtractor extends AnyRef
29.  trait SyntacticTryExtractor extends AnyRef
30.  trait SyntacticTupleExtractor extends AnyRef
31.  trait SyntacticTypeAppliedExtractor extends AnyRef
32.  trait SyntacticTypeIdentExtractor extends AnyRef
33.  trait SyntacticTypeProjectionExtractor extends AnyRef
34.  trait SyntacticValDefExtractor extends AnyRef
35.  trait SyntacticValEqExtractor extends AnyRef
36.  trait SyntacticValFromExtractor extends AnyRef
37.  trait UnliftListElementwise[T] extends AnyRef
38.  trait UnliftListOfListsElementwise[T] extends AnyRef

### Abstract Value Members

1.  abstract def AnnotatedType(annotations: List[Universe.Annotation], underlying: Universe.Type): Universe.AnnotatedType
2.  abstract def BoundedWildcardType(bounds: Universe.TypeBounds): Universe.BoundedWildcardType
3.  abstract def ClassInfoType(parents: List[Universe.Type], decls: Universe.Scope, typeSymbol: Universe.Symbol): Universe.ClassInfoType
4.  abstract def ConstantType(value: Universe.Constant): Universe.ConstantType
5.  abstract def ExistentialType(quantified: List[Universe.Symbol], underlying: Universe.Type): Universe.ExistentialType
6.  abstract val FlagsRepr: FlagsReprExtractor
7.  abstract val ImplicitParams: ImplicitParamsExtractor
8.  abstract def MethodType(params: List[Universe.Symbol], resultType: Universe.Type): Universe.MethodType
9.  abstract def NullaryMethodType(resultType: Universe.Type): Universe.NullaryMethodType
10.  abstract def PolyType(typeParams: List[Universe.Symbol], resultType: Universe.Type): Universe.PolyType
11.  abstract def RefinedType(parents: List[Universe.Type], decls: Universe.Scope, typeSymbol: Universe.Symbol): Universe.RefinedType
12.  abstract val ScalaDot: ScalaDotExtractor
13.  abstract def SingleType(pre: Universe.Type, sym: Universe.Symbol): Universe.Type
14.  abstract def SuperType(thistpe: Universe.Type, supertpe: Universe.Type): Universe.Type
15.  abstract val SyntacticAnnotatedType: SyntacticAnnotatedTypeExtractor
16.  abstract val SyntacticApplied: SyntacticAppliedExtractor
17.  abstract val SyntacticAppliedType: SyntacticTypeAppliedExtractor
18.  abstract val SyntacticAssign: SyntacticAssignExtractor
19.  abstract val SyntacticBlock: SyntacticBlockExtractor
20.  abstract val SyntacticClassDef: SyntacticClassDefExtractor
21.  abstract val SyntacticCompoundType: SyntacticCompoundTypeExtractor
22.  abstract val SyntacticDefDef: SyntacticDefDefExtractor
23.  abstract val SyntacticEmptyTypeTree: SyntacticEmptyTypeTreeExtractor
24.  abstract val SyntacticExistentialType: SyntacticExistentialTypeExtractor
25.  abstract val SyntacticFilter: SyntacticFilterExtractor
26.  abstract val SyntacticFor: SyntacticForExtractor
27.  abstract val SyntacticForYield: SyntacticForExtractor
28.  abstract val SyntacticFunction: SyntacticFunctionExtractor
29.  abstract val SyntacticFunctionType: SyntacticFunctionTypeExtractor
30.  abstract val SyntacticImport: SyntacticImportExtractor
31.  abstract val SyntacticMatch: SyntacticMatchExtractor
32.  abstract val SyntacticNew: SyntacticNewExtractor
33.  abstract val SyntacticObjectDef: SyntacticObjectDefExtractor
34.  abstract val SyntacticPackageObjectDef: SyntacticPackageObjectDefExtractor
35.  abstract val SyntacticPartialFunction: SyntacticPartialFunctionExtractor
36.  abstract val SyntacticPatDef: SyntacticPatDefExtractor
37.  abstract val SyntacticSelectTerm: SyntacticSelectTermExtractor
38.  abstract val SyntacticSelectType: SyntacticSelectTypeExtractor
39.  abstract val SyntacticSingletonType: SyntacitcSingletonTypeExtractor
40.  abstract val SyntacticTermIdent: SyntacticTermIdentExtractor
41.  abstract val SyntacticTraitDef: SyntacticTraitDefExtractor
42.  abstract val SyntacticTry: SyntacticTryExtractor
43.  abstract val SyntacticTuple: SyntacticTupleExtractor
44.  abstract val SyntacticTupleType: SyntacticTupleExtractor
45.  abstract val SyntacticTypeApplied: SyntacticTypeAppliedExtractor
46.  abstract val SyntacticTypeIdent: SyntacticTypeIdentExtractor
47.  abstract val SyntacticTypeProjection: SyntacticTypeProjectionExtractor
48.  abstract val SyntacticValDef: SyntacticValDefExtractor
49.  abstract val SyntacticValEq: SyntacticValEqExtractor
50.  abstract val SyntacticValFrom: SyntacticValFromExtractor
51.  abstract val SyntacticVarDef: SyntacticValDefExtractor
52.  abstract def ThisType(sym: Universe.Symbol): Universe.Type
53.  abstract def TypeBounds(lo: Universe.Type, hi: Universe.Type): Universe.TypeBounds
54.  abstract def TypeRef(pre: Universe.Type, sym: Universe.Symbol, args: List[Universe.Type]): Universe.Type
55.  abstract def UnliftListElementwise[T](unliftable: Universe.Unliftable[T]): UnliftListElementwise[T]
56.  abstract def UnliftListOfListsElementwise[T](unliftable: Universe.Unliftable[T]): UnliftListOfListsElementwise[T]
57.  abstract def freshTermName(prefix: String): Universe.TermName
58.  abstract def freshTypeName(prefix: String): Universe.TypeName
59.  abstract def mkAnnotation(trees: List[Universe.Tree]): List[Universe.Tree]
60.  abstract def mkAnnotation(tree: Universe.Tree): Universe.Tree
61.  abstract def mkEarlyDef(defns: List[Universe.Tree]): List[Universe.Tree]
62.  abstract def mkEarlyDef(defn: Universe.Tree): Universe.Tree
63.  abstract def mkIdent(sym: Universe.Symbol): Universe.Ident
64.  abstract def mkPackageStat(stats: List[Universe.Tree]): List[Universe.Tree]
65.  abstract def mkPackageStat(stat: Universe.Tree): Universe.Tree
66.  abstract def mkRefTree(qual: Universe.Tree, sym: Universe.Symbol): Universe.Tree
67.  abstract def mkRefineStat(stats: List[Universe.Tree]): List[Universe.Tree]
68.  abstract def mkRefineStat(stat: Universe.Tree): Universe.Tree
69.  abstract def mkSelect(qualifier: Universe.Tree, sym: Universe.Symbol): Universe.Select
70.  abstract def mkThis(sym: Universe.Symbol): Universe.Tree
71.  abstract def mkTypeTree(tp: Universe.Type): Universe.TypeTree
72.  abstract def newFreeTerm(name: String, value: ⇒ Any, flags: Universe.FlagSet = NoFlags, origin: String = null): Universe.FreeTermSymbol

    Create a fresh free term symbol.

    Create a fresh free term symbol.

    name

      the name of the free variable

    value

      the value of the free variable at runtime

    flags

      (optional) flags of the free variable

    origin

      debug information that tells where this symbol comes from

73.  abstract def newFreeType(name: String, flags: Universe.FlagSet = NoFlags, origin: String = null): Universe.FreeTypeSymbol

    Create a fresh free type symbol.

    Create a fresh free type symbol.

    name

      the name of the free variable

    flags

      (optional) flags of the free variable

    origin

      debug information that tells where this symbol comes from

74.  abstract def newNestedSymbol(owner: Universe.Symbol, name: Universe.Name, pos: Universe.Position, flags: Universe.FlagSet, isClass: Boolean): Universe.Symbol

    A fresh symbol with given name `name`, position `pos` and flags `flags` that has the current symbol as its owner.

75.  abstract def newScopeWith(elems: Universe.Symbol*): Universe.Scope
76.  abstract def selectOverloadedMethod(owner: Universe.Symbol, name: String, index: Int): Universe.MethodSymbol

    Selects overloaded method symbol with given name and index

77.  abstract def selectTerm(owner: Universe.Symbol, name: String): Universe.TermSymbol

    Selects term symbol with given name and type from the defined members of prefix type

78.  abstract def selectType(owner: Universe.Symbol, name: String): Universe.TypeSymbol

    Selects type symbol with given simple name `name` from the defined members of `owner`.

79.  abstract def setAnnotations[S <: Universe.Symbol](sym: S, annots: List[Universe.Annotation]): S

    Set symbol's annotations to given annotations `annots`.

80.  abstract def setInfo[S <: Universe.Symbol](sym: S, tpe: Universe.Type): S

    Set symbol's type signature to given type.

    Set symbol's type signature to given type.

    returns

      the symbol itself

81.  abstract def setSymbol[T <: Universe.Tree](tree: T, sym: Universe.Symbol): T
82.  abstract def setType[T <: Universe.Tree](tree: T, tpe: Universe.Type): T
83.  abstract def thisPrefix(sym: Universe.Symbol): Universe.Type
84.  abstract def toStats(tree: Universe.Tree): List[Universe.Tree]

### Concrete Value Members

1.  final def !=(arg0: Any): Boolean
   Definition Classes
     AnyRef → Any
2.  final def ##(): Int
   Definition Classes
     AnyRef → Any
3.  def +(other: String): String
   Implicit
     This member is added by an implicit conversion from Universe.ReificationSupportApi to any2stringadd[Universe.ReificationSupportApi] performed by method any2stringadd in scala.Predef.
   Definition Classes
     any2stringadd
4.  def ->[B](y: B): (Universe.ReificationSupportApi, B)
   Implicit
     This member is added by an implicit conversion from Universe.ReificationSupportApi to ArrowAssoc[Universe.ReificationSupportApi] performed by method ArrowAssoc in scala.Predef.
   Definition Classes
     ArrowAssoc
   Annotations
     @inline()
5.  final def ==(arg0: Any): Boolean
   Definition Classes
     AnyRef → Any
6.  final def asInstanceOf[T0]: T0
   Definition Classes
     Any
7.  def clone(): AnyRef
   Attributes
     protected[lang]
   Definition Classes
     AnyRef
   Annotations
     @throws( ... ) @native()
8.  def ensuring(cond: (Universe.ReificationSupportApi) ⇒ Boolean, msg: ⇒ Any): Universe.ReificationSupportApi
   Implicit
     This member is added by an implicit conversion from Universe.ReificationSupportApi to Ensuring[Universe.ReificationSupportApi] performed by method Ensuring in scala.Predef.
   Definition Classes
     Ensuring
9.  def ensuring(cond: (Universe.ReificationSupportApi) ⇒ Boolean): Universe.ReificationSupportApi
   Implicit
     This member is added by an implicit conversion from Universe.ReificationSupportApi to Ensuring[Universe.ReificationSupportApi] performed by method Ensuring in scala.Predef.
   Definition Classes
     Ensuring
10.  def ensuring(cond: Boolean, msg: ⇒ Any): Universe.ReificationSupportApi
    Implicit
      This member is added by an implicit conversion from Universe.ReificationSupportApi to Ensuring[Universe.ReificationSupportApi] performed by method Ensuring in scala.Predef.
    Definition Classes
      Ensuring
11.  def ensuring(cond: Boolean): Universe.ReificationSupportApi
    Implicit
      This member is added by an implicit conversion from Universe.ReificationSupportApi to Ensuring[Universe.ReificationSupportApi] performed by method Ensuring in scala.Predef.
    Definition Classes
      Ensuring
12.  final def eq(arg0: AnyRef): Boolean
    Definition Classes
      AnyRef
13.  def equals(arg0: Any): Boolean
    Definition Classes
      AnyRef → Any
14.  def finalize(): Unit
    Attributes
      protected[lang]
    Definition Classes
      AnyRef
    Annotations
      @throws( classOf[java.lang.Throwable] )
15.  final def getClass(): Class[_]
    Definition Classes
      AnyRef → Any
    Annotations
      @native()
16.  def hashCode(): Int
    Definition Classes
      AnyRef → Any
    Annotations
      @native()
17.  final def isInstanceOf[T0]: Boolean
    Definition Classes
      Any
18.  final def ne(arg0: AnyRef): Boolean
    Definition Classes
      AnyRef
19.  final def notify(): Unit
    Definition Classes
      AnyRef
    Annotations
      @native()
20.  final def notifyAll(): Unit
    Definition Classes
      AnyRef
    Annotations
      @native()
21.  final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
      AnyRef
22.  def toString(): String
    Definition Classes
      AnyRef → Any
23.  final def wait(): Unit
    Definition Classes
      AnyRef
    Annotations
      @throws( ... )
24.  final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
      AnyRef
    Annotations
      @throws( ... )
25.  final def wait(arg0: Long): Unit
    Definition Classes
      AnyRef
    Annotations
      @throws( ... ) @native()
26.  def →[B](y: B): (Universe.ReificationSupportApi, B)
    Implicit
      This member is added by an implicit conversion from Universe.ReificationSupportApi to ArrowAssoc[Universe.ReificationSupportApi] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
      ArrowAssoc

### Deprecated Value Members

1.  def formatted(fmtstr: String): String
   Implicit
     This member is added by an implicit conversion from Universe.ReificationSupportApi to StringFormat[Universe.ReificationSupportApi] performed by method StringFormat in scala.Predef.
   Definition Classes
     StringFormat
   Annotations
     @deprecated @inline()
   Deprecated

     (Since version 2.12.16) Use `formatString.format(value)` instead of `value.formatted(formatString)`, or use the `f""` string interpolator. In Java 15 and later, `formatted` resolves to the new method in String which has reversed parameters.

### Inherited from AnyRef

### Inherited from Any

### Inherited by implicit conversion any2stringadd from Universe.ReificationSupportApi to any2stringadd[Universe.ReificationSupportApi]

### Inherited by implicit conversion StringFormat from Universe.ReificationSupportApi to StringFormat[Universe.ReificationSupportApi]

### Inherited by implicit conversion Ensuring from Universe.ReificationSupportApi to Ensuring[Universe.ReificationSupportApi]

### Inherited by implicit conversion ArrowAssoc from Universe.ReificationSupportApi to ArrowAssoc[Universe.ReificationSupportApi]

### Ungrouped