Интерфейс scala.reflect.api.Types.ThisTypeApi

Соответствует ли данный тип заданному типу аргумента that?

Эквивалентен ли данный тип заданному типу аргумента that?

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

Пример:

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

Список всех базовых классов этого типа (включая его собственный typeSymbol) в порядке линеаризации, начиная с самого класса и заканчивая классом Any.

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

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

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

Содержит ли этот тип ссылку на данный символ?

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

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

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

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

Стертый тип, соответствующий этому типу после выполнения всех преобразований из Scala в Java.

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

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

Есть ли часть этого типа, которая удовлетворяет предикату p?

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

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

Возвращает необязательно первый тип (в обходе в порядке следования) который удовлетворяет предикату p, или None, если такой тип не существует.

Применить f к каждой части этого типа, только для побочных эффектов

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

Член с данным именем, либо непосредственно объявленный, либо унаследованный, OverloadedSymbol, если существует несколько, NoSymbol, если не существует.

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

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

Предоставляет альтернативный тип, если тип является NoType.

Для метода или полиморфного типа, список его секций параметров, пустой список списков для всех остальных типов.

Для (нулевого) метода или полиморфного типа, его непосредственный тип результата (может быть 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

Заменить символы в to соответствующими появлениями ссылок на символы from в этом типе.

Заменить типы в to соответствующими появлениями ссылок на символы from в этом типе.

Является ли этот тип конструктором типов, которому не хватает аргументов типа?

Символ термина, связанный с типом, или NoSymbol для типов, которые не ссылаются на символ термина.

Список аргументов типа, встроенных в это указание типа. В зависимости от вашего случая использования, вы можете или не можете вызвать 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]).

Для полиморфного типа — его параметры типа, для других типов — пустой список.

Символ типа, связанный с типом, или NoSymbol для типов, которые не ссылаются на символ типа.

Слабо соответствует ли данный тип заданному аргументу типа that, т.е. либо соответствует по <:<, либо оба являются примитивными числовыми типами, соответствующими разделу "Слабое соответствие" в спецификации. Например, Int слабее 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)))