Класс scala.reflect.api.Types.TypeApi

Этот тип, как видно из префикса pre и класса clazz. Это означает: Замените все ThisType в clazz или одном из его подклассов на pre и инициализируйте все параметры аргументами pre. Аналогичным образом поступайте с ThisType, относящимися к внешним классам.

Пример:

scala> import scala.reflect.runtime.universe._
import scala.reflect.runtime.universe._

scala> class D[T] { def m: T = ??? }
defined class D

scala> class C extends D[Int]
defined class C

scala> val D = typeOf[D[_]].typeSymbol.asClass
D: reflect.runtime.universe.ClassSymbol = class D

scala> val C = typeOf[C].typeSymbol.asClass
C: reflect.runtime.universe.ClassSymbol = class C

scala> val T = D.typeParams(0).asType.toType
T: reflect.runtime.universe.Type = T

scala> T.asSeenFrom(ThisType(C), D)
res0: reflect.runtime.universe.Type = scala.Int

Наименеший экземпляр типа данного класса, который является супертипом этого типа. Пример:

class D[T]
class C extends p.D[Int]
ThisType(C).baseType(D) = p.D[Int]

Подпись типа компаньона символа базового класса. NoType, если базовый символ не является символом класса или у него нет компаньона.

Расширяет псевдонимы типов, возникающие из членов типов. Обратите внимание, что псевдонимы типов могут скрываться под типами-синглтонами, а типы-синглтоны могут скрываться внутри псевдонимов типов. Более того, псевдонимы могут скрываться в верхних ограничениях абстрактных типов. Поэтому необходимо тщательно продумать логику распаковки, специфичную для вашего случая использования.

Определенные или объявленные члены с именем name в этом типе; OverloadedSymbol, если их несколько, NoSymbol, если таковых нет. Варианты перегруженного символа появляются в порядке их объявления.

Scope, содержащий непосредственно объявленные члены этого типа. В отличие от members, этот метод не возвращает унаследованные члены.

Члены в возвращаемом пространстве имен могут появляться в произвольном порядке. Используйте declarations.sorted, чтобы получить упорядоченный список членов.

Преобразует типы TypeRefs высшего порядка в PolyTypes. Функции над типами также реализованы как PolyTypes.

Пример: (в примере ниже, <List> - это конструктор типа List) TypeRef(pre, <List>, List()) заменяется на PolyType(X, TypeRef(pre, <List>, List(X)))

Для метола с несколькими аргументами или без аргументов, его тип возврата без методов, сам тип для всех других типов.

scala> class C {
     | def foo[T](x: T)(y: T) = ???
     | def bar: Int = ???
     | }
defined class C

scala> typeOf[C].member(TermName("foo")).asMethod
res0: reflect.runtime.universe.MethodSymbol = method foo

scala> res0.info // PolyType wrapping a MethodType
res1: reflect.runtime.universe.Type = [T](x: T)(y: T)scala.Nothing

scala> res1.resultType // MethodType wrapping a MethodType
res2: reflect.runtime.universe.Type = (x: T)(y: T)scala.Nothing

scala> res1.resultType.resultType // vanilla MethodType
res3: reflect.runtime.universe.Type = (y: T)scala.Nothing

scala> res1.resultType.resultType.resultType
res4: reflect.runtime.universe.Type = scala.Nothing

scala> res1.finalResultType
res5: reflect.runtime.universe.Type = scala.Nothing

scala> typeOf[C].member(TermName("bar")).asMethod
res6: reflect.runtime.universe.MethodSymbol = method bar

scala> res6.info
res7: reflect.runtime.universe.Type = => scala.Int

scala> res6.info.resultType
res8: reflect.runtime.universe.Type = scala.Int

scala> res6.info.finalResultType
res9: reflect.runtime.universe.Type = scala.Int

Примените f к каждой части этого типа, возвращая новый тип. Подоперации применяются к дочерним элементам перед родительскими.

A Scope содержащий все члены этого типа (прямо объявленные или унаследованные). В отличие от declarations этот метод также возвращает унаследованные члены.

Члены в возвращаемой области могут появляться в произвольном порядке. Используйте declarations.sorted, чтобы получить упорядоченный список членов.

Для (нульарного) метода или политипа, его непосредственный тип результата (может быть MethodType, если метод имеет несколько списков аргументов), сам тип для всех других типов.

scala> class C { def foo[T](x: T)(y: T) = ??? }
defined class C

scala> typeOf[C].member(TermName("foo")).asMethod
res0: reflect.runtime.universe.MethodSymbol = method foo

scala> res0.info // PolyType wrapping a MethodType
res1: reflect.runtime.universe.Type = [T](x: T)(y: T)scala.Nothing

scala> res1.resultType // MethodType wrapping a MethodType
res2: reflect.runtime.universe.Type = (x: T)(y: T)scala.Nothing

scala> res1.resultType.resultType // vanilla MethodType
res3: reflect.runtime.universe.Type = (y: T)scala.Nothing

scala> res1.resultType.resultType.resultType
res4: reflect.runtime.universe.Type = scala.Nothing

scala> res1.finalResultType
res5: reflect.runtime.universe.Type = scala.Nothing

Список аргументов типа, встроенных в эту ссылку на тип. В зависимости от вашего случая использования, вам может или не потребоваться сначала вызвать dealias.

scala> type T = List[Int]
defined type alias T

scala> typeOf[T].typeArgs
res0: List[reflect.runtime.universe.Type] = List()

scala> typeOf[T].dealias.typeArgs
res1: List[reflect.runtime.universe.Type] = List(scala.Int)

Возвращает соответствующий конструктор типа (например, List для List[T] или List[String]).

Соответствует ли этот тип слабо заданному аргументу типа that, т.е., либо соответствует по <:<, либо оба являются примитивными числовыми типами, которые соответствуют разделу "Слабое соответствие" в спецификации. Например, Int weak_<:< Long.

Если это тип-синглтон, расширьте его до ближайшего базового типа, не являющегося типом-синглтоном, применив одну или несколько underlying дессылок. Если это не тип-синглтон, возвращает этот тип.

Пример:

class Outer { class C ; val x: C } val o: Outer <o.x.type>.widen = o.C

Обратите внимание, что псевдонимы типов могут скрываться под типами-синглтонами, а типы-синглтоны могут скрываться внутри псевдонимов типов. Кроме того, псевдонимы могут скрываться в верхних границах абстрактных типов. Поэтому необходимо тщательно продумать, чтобы определить и выполнить логику распаковки, специфичную для вашего случая использования.

Приведение к бета-эта-длинной нормальной форме. Расширяет псевдонимы типов и преобразует TypeRefs более высокого порядка в PolyTypes. Функции над типами также реализованы как PolyTypes.

Пример: (в приведенном ниже примере <List> - конструктор типа List) TypeRef(pre, <List>, List()) заменяется на PolyType(X, TypeRef(pre, <List>, List(X)))