Packages

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
Ordering
  1. Grouped
  2. Alphabetic
  3. By Inheritance
Inherited
  1. Mirror
  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

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.info member TypeName("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 ScalaReflectionException.

    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 info.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 ScalaReflectionException

    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 info.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 def symbolOf[T](implicit arg0: U.WeakTypeTag[T]): U.TypeSymbol

    Type symbol of x as derived from a type tag.

  9. abstract val universe: U

    The universe this mirror belongs to.

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 Mirror[U] to any2stringadd[Mirror[U]] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  4. def ->[B](y: B): (Mirror[U], B)
    Implicit
    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()
  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: (Mirror[U]) ⇒ Boolean, msg: ⇒ Any): Mirror[U]
    Implicit
    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
  9. def ensuring(cond: (Mirror[U]) ⇒ Boolean): Mirror[U]
    Implicit
    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
  10. def ensuring(cond: Boolean, msg: ⇒ Any): Mirror[U]
    Implicit
    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: Boolean): Mirror[U]
    Implicit
    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. 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. def typeOf[T](implicit arg0: U.TypeTag[T]): U.Type

    Shortcut for implicitly[TypeTag[T]].tpe

  24. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  25. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  26. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  27. def weakTypeOf[T](implicit arg0: U.WeakTypeTag[T]): U.Type

    Shortcut for implicitly[WeakTypeTag[T]].tpe

  28. def [B](y: B): (Mirror[U], B)
    Implicit
    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

Deprecated Value Members

  1. def formatted(fmtstr: String): String
    Implicit
    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
    @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 Mirror[U] to any2stringadd[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

TypeTags

Ungrouped