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

Соответствует ли этот тип данному аргументу типа 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, если член не найден.

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

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

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

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

Тип результата метода.

Заменяет символы в 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 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)))