scala.reflect.api

Mirror

abstract class Mirror[U <: Universe with Singleton] extends AnyRef

EXPERIMENTAL

The base class for all mirrors.

See scala.reflect.api.Mirrors or Reflection Guide for a complete overview of Mirrors.

U

the type of the universe this mirror belongs to.

Source
Mirror.scala
Linear Supertypes
AnyRef, Any
Known Subclasses
Type Hierarchy Learn more about scaladoc diagrams
Ordering
  1. Grouped
  2. Alphabetic
  3. By inheritance
Inherited
  1. Mirror
  2. AnyRef
  3. Any
Implicitly
  1. by StringAdd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Mirror()

Abstract Value Members

  1. abstract def EmptyPackage: U.ModuleSymbol

    The module symbol of the default (unnamed) package

  2. abstract def EmptyPackageClass: U.ClassSymbol

    The module class symbol of the default (unnamed) package

  3. abstract def RootClass: U.ClassSymbol

    The class symbol of the _root_ package

  4. abstract def RootPackage: U.ModuleSymbol

    The module symbol of the _root_ package

  5. abstract def staticClass(fullName: String): U.ClassSymbol

    The symbol corresponding to the globally accessible class with the given fully qualified name fullName.

    The symbol corresponding to the globally accessible class with the given fully qualified name fullName.

    If the name points to a type alias, it's recursively dealiased and its target is returned. If you need a symbol that corresponds to the type alias itself, load it directly from the package class:

    scala> cm.staticClass("scala.List") res0: scala.reflect.runtime.universe.ClassSymbol = class List

    scala> res0.fullName res1: String = scala.collection.immutable.List

    scala> cm.staticPackage("scala") res2: scala.reflect.runtime.universe.ModuleSymbol = package scala

    scala> res2.moduleClass.typeSignature member newTypeName("List") res3: scala.reflect.runtime.universe.Symbol = type List

    scala> res3.fullName res4: String = scala.List

    To be consistent with Scala name resolution rules, in case of ambiguity between a package and an object, the object is never been considered.

    For example for the following code:

    package foo { class B }

    object foo { class A class B }

    staticClass("foo.B") will resolve to the symbol corresponding to the class B declared in the package foo, and staticClass("foo.A") will throw a MissingRequirementException (which is exactly what scalac would do if this fully qualified class name is written inside any package in a Scala program).

    In the example above, to load a symbol that corresponds to the class B declared in the object foo, use staticModule("foo") to load the module symbol and then navigate typeSignature.members of its moduleClass.

  6. abstract def staticModule(fullName: String): U.ModuleSymbol

    The symbol corresponding to the globally accessible object with the given fully qualified name fullName.

    The symbol corresponding to the globally accessible object with the given fully qualified name fullName.

    To be consistent with Scala name resolution rules, in case of ambiguity between a package and an object, the object is never been considered.

    For example for the following code:

    package foo { object B }

    object foo { object A object B }

    staticModule("foo.B") will resolve to the symbol corresponding to the object B declared in the package foo, and staticModule("foo.A") will throw a MissingRequirementException (which is exactly what scalac would do if this fully qualified class name is written inside any package in a Scala program).

    In the example above, to load a symbol that corresponds to the object B declared in the object foo, use staticModule("foo") to load the module symbol and then navigate typeSignature.members of its moduleClass.

  7. abstract def staticPackage(fullName: String): U.ModuleSymbol

    The symbol corresponding to a package with the given fully qualified name fullName.

  8. abstract val universe: U

    The universe this mirror belongs to.

Concrete Value Members

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

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

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

    Implicit information
    This member is added by an implicit conversion from Mirror[U] to StringAdd[Mirror[U]] performed by method StringAdd in scala.Predef.
    Definition Classes
    StringAdd
  5. def ->[B](y: B): (Mirror[U], B)

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

    Definition Classes
    AnyRef
  7. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  8. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  9. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  10. def ensuring(cond: (Mirror[U]) ⇒ Boolean, msg: ⇒ Any): Mirror[U]

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

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

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

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

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

    Definition Classes
    AnyRef → Any
  16. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  17. def formatted(fmtstr: String): String

    Returns string formatted according to given format string.

    Returns string formatted according to given format string. Format strings are as for String.format (@see java.lang.String.format).

    Implicit information
    This member is added by an implicit conversion from Mirror[U] to StringFormat[Mirror[U]] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  18. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  19. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  20. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  21. final def ne(arg0: AnyRef): Boolean

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

    Definition Classes
    AnyRef
  23. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  24. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  25. def toString(): String

    Definition Classes
    AnyRef → Any
  26. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  29. def [B](y: B): (Mirror[U], B)

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

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion StringAdd from Mirror[U] to StringAdd[Mirror[U]]

Inherited by implicit conversion StringFormat from Mirror[U] to StringFormat[Mirror[U]]

Inherited by implicit conversion Ensuring from Mirror[U] to Ensuring[Mirror[U]]

Inherited by implicit conversion ArrowAssoc from Mirror[U] to ArrowAssoc[Mirror[U]]

Mirror

Ungrouped