Аннотация scala.reflect.api.Types.SuperType

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

Является ли этот тип эквивалентным переданному аргументу типа that?

Этот тип, как виден из префикса pre и класса clazz. Это означает: Заменить все ThisTypes типа 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

Список всех базовых классов данного типа (включая его собственный типSymbol) в порядке линейной записи, начиная с самого класса и заканчивая классом 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.

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

Пример: (ниже, <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 в этом типе.

Тип селектора. См. пример для scala.reflect.api.Trees#SuperExtractor.

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

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

Тип квалификатора. См. пример для scala.reflect.api.Trees#SuperExtractor.

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