Класс scala.reflect.runtime.JavaUniverse

API экземпляров Annotation. Основным источником информации об аннотациях является страница scala.reflect.api.Annotations.

Класс-экстрактор для создания и сопоставления с шаблоном синтаксиса Annotation(tpe, scalaArgs, javaArgs). Здесь, tpe — тип аннотации, scalaArgs — полезная нагрузка аннотаций Scala, а javaArgs — полезная нагрузка аннотаций Java.

API экземпляров Constant.

Класс-экстрактор для создания и сопоставления с шаблоном синтаксиса Constant(value), где value — значение константы Scala.

Expr оборачивает абстрактное синтаксическое дерево и маркирует его типом. Основным источником информации об exprs является страница scala.reflect.api.Exprs.

API экземпляров FlagSet. Основным источником информации о наборах флагов является страница scala.reflect.api.FlagSets.

Все возможные значения, которые могут образовывать наборы флагов. Основным источником информации о наборах флагов является страница scala.reflect.api.FlagSets.

API свободных символов терминов. Основным источником информации о символах является страница Symbols.

$SYMACCESSORS

API свободных символов типов. Основным источником информации о символах является страница Symbols.

$SYMACCESSORS

Этот трейт предоставляет поддержку импортеров, механизм миграции артефактов рефлексии между вселенными. Примечание: этот трейт обычно следует использовать только в редких случаях.

Артефакты рефлексии, такие как Символы и Типы, содержатся во вселенных Вселенная. Обычно вся обработка происходит в пределах одной Universe (например, макрос на стадии компиляции Universe или рефлексия во время выполнения Universe), но иногда требуется миграция артефактов из одной Universe в другую. Например, компиляция во время выполнения работает путем импорта деревьев рефлексии во время выполнения в вселенную компилятора во время выполнения, компиляции импортируемых элементов и экспорта результата обратно.

Артефакты рефлексии прочно связаны со своими Universe, что отражается в том, что типы артефактов из разных вселенных несовместимы. Однако с помощью Importer их можно импортировать из одной вселенной в другую. Например, чтобы импортировать foo.bar.Baz из исходной Universe во вселенную назначения Universe, импортер сначала проверит, существует ли весь путь владельца во вселенной назначения Universe. Если да, то ничего больше не будет сделано. В противном случае импортер воссоздаст весь путь владельца и импортирует соответствующие сигнатуры типов во вселенную назначения Universe.

Поскольку импортеры сопоставляют Symbol таблицы исходной и целевой Universe с использованием простых строковых имен, программист несет ответственность за то, чтобы убедиться, что импорт не искажает семантику, например, что foo.bar.Baz в исходной Universe означает то же, что и foo.bar.Baz в целевой Universe.

Пример

Вот как можно реализовать макрос, который выполняет вычисление аргумента на этапе компиляции, используя компилятор во время выполнения для компиляции и оценки дерева, принадлежащего компилятору на этапе компиляции:

def staticEval[T](x: T) = macro staticEval[T]

def staticEval[T](c: scala.reflect.macros.blackbox.Context)(x: c.Expr[T]) = {
  // creates a runtime reflection universe to host runtime compilation
  import scala.reflect.runtime.{universe => ru}
  val mirror = ru.runtimeMirror(c.libraryClassLoader)
  import scala.tools.reflect.ToolBox
  val toolBox = mirror.mkToolBox()

  // runtime reflection universe and compile-time macro universe are different
  // therefore an importer is needed to bridge them
  // currently mkImporter requires a cast to correctly assign the path-dependent types
  val importer0 = ru.internal.mkImporter(c.universe)
  val importer = importer0.asInstanceOf[ru.internal.Importer { val from: c.universe.type }]

  // the created importer is used to turn a compiler tree into a runtime compiler tree
  // both compilers use the same classpath, so semantics remains intact
  val imported = importer.importTree(tree)

  // after the tree is imported, it can be evaluated as usual
  val tree = toolBox.untypecheck(imported.duplicate)
  val valueOfX = toolBox.eval(imported).asInstanceOf[T]
  ...
}

API рефлексии демонстрирует напряжённость, присущую экспериментальным вещам: с одной стороны, мы хотим, чтобы она превратилась в красивый и надёжный API, а с другой — мы должны иметь дело с незрелостью лежащих в основе механизмов, предоставляя не очень привлекательные решения для обеспечения важных вариантов использования.

В Scala 2.10, что был нашей первой попыткой создания API рефлексии, у нас не было систематического подхода к решению этой проблемы, иногда делая слишком многое доступным (например, Symbol.deSkolemize) и иногда слишком мало (например, до сих пор нет возможности изменять владельцев, выполнять преобразования типов и т. д.). Это привело к определённой путанице, когда некоторые внутренние API живут среди общедоступных, пугая новичков, а некоторые внутренние API доступны только через приведение типов, что требует глубокого знания компилятора и нарушает гарантии совместимости.

Это привело к созданию модуля API internal для API рефлексии, который предоставляет расширенные API, необходимые для макросов, которые выходят за рамки современного состояния, чётко отделяя их от более или менее прямолинейного остального функционала и предоставляя гарантии совместимости, сопоставимые с остальной частью API рефлексии (полная совместимость в рамках незначительных релизов, наилучшие усилия по обеспечению обратной совместимости в рамках крупных релизов, чёткий путь замены в случае редких несовместимых изменений в крупных релизах).

Сам модуль internal (значение, которое реализует InternalApi) не определён здесь, в scala.reflect.api.Universe, но предоставляется в зависимости от реализации. Конечная точка API во время выполнения (scala.reflect.runtime.universe) предоставляет universe.compat: InternalApi, в то время как конечные точки API на стадии компиляции (экземпляры scala.reflect.macros.Context) предоставляют c.compat: ContextInternalApi, которое расширяет InternalApi дополнительными функциями, специфичными для вселенной и контекста.

API, который поддерживают все ссылки

Класс-экстрактор для создания и сопоставления с образцом с синтаксисом ReferenceToBoxed(ident). Этот узел AST не имеет прямого соответствия коду Scala и генерируется макросами для прямого обращения к переменным захвата без прохождения через elem.

Например:

var x = ... fun { x }

Сгенерирует:

Ident(x)

Что преобразуется в:

Select(Ident(x), "elem")

Если ReferenceToBoxed использовался вместо Ident, никакого преобразования не было бы выполнено.

Это внутренний класс реализации.

Класс типа, определяющий представление T в виде Tree.

Класс типа, определяющий способ извлечения экземпляра T из Tree.

Зеркало, отражающее части экземпляра класса во время выполнения. Смотрите страницу обзора для получения подробной информации о том, как использовать рефлексию во время выполнения.

Зеркало, отражающее поле. Смотрите страницу обзора для получения подробной информации о том, как использовать рефлексию во время выполнения.

Зеркало, отражающее значение во время выполнения. Смотрите страницу обзора для получения подробной информации о том, как использовать рефлексию во время выполнения.

Зеркало, отражающее метод. Смотрите страницу обзора для получения подробной информации о том, как использовать рефлексию во время выполнения.

Зеркало, отражающее определение объекта Scala или статические части класса во время выполнения. Смотрите страницу обзора для получения подробной информации о том, как использовать рефлексию во время выполнения.

Зеркало, отражающее экземпляры и статические классы. Смотрите страницу обзора для получения подробной информации о том, как использовать рефлексию во время выполнения.

Не имеет специальных методов. Присутствует для предоставления удалённой идентичности для RuntimeClass.

API зеркала для рефлексивного универсума. Смотрите страницу обзора для получения подробной информации о том, как использовать рефлексию во время выполнения.

Зеркало, отражающее экземпляр или статические части класса во время выполнения. Смотрите страницу обзора для получения подробной информации о том, как использовать рефлексию во время выполнения.

API экземпляров Name.

Не имеет специальных методов. Присутствует для предоставления удалённой идентичности для TermName.

Класс-экстрактор для создания и сопоставления с шаблоном синтаксиса TermName(s).

Не имеет специальных методов. Присутствует для предоставления удалённой идентичности для TypeName.

Класс-экстрактор для создания и сопоставления с шаблоном синтаксиса TypeName(s).

Неявный класс, вводящий q, tq, cq, pq и fq строковые интерполяторы, также известные как квазицитаты. С их помощью можно легко манипулировать AST-деревьями Scala Reflection.

API, поддерживаемый всеми областями членов.

API, поддерживаемый всеми областями.

Определяет стандартные символы (и типы через его базовый интерфейс).

Определяет стандартные типы.

Определяет стандартные имена, общие для имен терминов и типов: к ним можно получить доступ через члены nme и tpnme.

Определяет стандартные имена терминов, к которым можно получить доступ через член nme.

Определяет стандартные имена типов, к которым можно получить доступ через член tpnme.

API символов класса. Основной источник информации о символах — страница Symbols.

Класс Symbol определяет isXXX тестовых методов, таких как isPublic или isFinal, params и returnType методы для символов методов, baseClasses для символов классов и так далее. Некоторые из этих методов не имеют смысла для определенных подклассов Symbol и возвращают NoSymbol, Nil или другие пустые значения.

API символов методов. Основной источник информации о символах — страница Symbols.

Класс Symbol определяет isXXX тестовых методов, таких как isPublic или isFinal, params и returnType методы для символов методов, baseClasses для символов классов и так далее. Некоторые из этих методов не имеют смысла для определенных подклассов Symbol и возвращают NoSymbol, Nil или другие пустые значения.

API символов модулей. Основной источник информации о символах — страница Symbols.

Класс Symbol определяет isXXX тестовых методов, таких как isPublic или isFinal, params и returnType методы для символов методов, baseClasses для символов классов и так далее. Некоторые из этих методов не имеют смысла для определенных подклассов Symbol и возвращают NoSymbol, Nil или другие пустые значения.

API символов. Основной источник информации о символах — страница Symbols.

Класс Symbol определяет isXXX тестовых методов, таких как isPublic или isFinal, params и returnType методы для символов методов, baseClasses для символов классов и так далее. Некоторые из этих методов не имеют смысла для определенных подклассов Symbol и возвращают NoSymbol, Nil или другие пустые значения.

API символов терминов. Основной источник информации о символах — страница Symbols.

Класс Symbol определяет isXXX тестовых методов, таких как isPublic или isFinal, params и returnType методы для символов методов, baseClasses для символов классов и так далее. Некоторые из этих методов не имеют смысла для определенных подклассов Symbol и возвращают NoSymbol, Nil или другие пустые значения.

API символов типов. Основной источник информации о символах — страница Symbols.

Класс Symbol определяет isXXX тестовых методов, таких как isPublic или isFinal, params и returnType методы для символов методов, baseClasses для символов классов и так далее. Некоторые из этих методов не имеют смысла для определенных подклассов Symbol и возвращают NoSymbol, Nil или другие пустые значения.

API, поддерживаемый всеми альтернативами

Класс экстрактора для создания и сопоставления с образцом с помощью синтаксиса Alternative(trees). Этот узел AST соответствует следующему коду Scala:

pat1 | ... | patn

API, поддерживаемый всеми аннотированными

Класс-извлекатель для создания и сопоставления с образцом с синтаксисом Annotated(annot, arg). Этот узел AST соответствует следующему коду Scala:

arg @annot // для типов arg: @annot // для выражений

API, поддерживаемый всеми примененными типами деревьев

Класс-извлекатель для создания и сопоставления с образцом с синтаксисом AppliedTypeTree(tpt, args). Этот узел AST соответствует следующему коду Scala:

tpt[args]

Следует использовать только с узлами tpt, которые являются типами, т.е. которые имеют isType, возвращающий true. В противном случае следует использовать TypeApply.

List[Int] как в val x: List[Int] = ??? // представлено как AppliedTypeTree(Ident(<List>), List(TypeTree(<Int>)))

def foo[T] = ??? foo[Int] // представлено как TypeApply(Ident(<foo>), List(TypeTree(<Int>)))

API, поддерживаемый всеми применениями

Класс-извлекатель для создания и сопоставления с образцом с синтаксисом Apply(fun, args). Этот узел AST соответствует следующему коду Scala:

fun(args)

Например:

fun[targs](args)

Выражается как:

Apply(TypeApply(fun, targs), args)

API, поддерживаемый всеми присваиваниями

Класс-извлекатель для создания и сопоставления с образцом с синтаксисом Assign(lhs, rhs). Этот узел AST соответствует следующему коду Scala:

lhs = rhs

API, поддерживаемый всеми связываниями

Класс-извлекатель для создания и сопоставления с образцом с синтаксисом Bind(name, body). Этот узел AST соответствует следующему коду Scala:

pat*

API, поддерживаемый всеми блоками

Класс-извлекатель для создания и сопоставления с образцом с синтаксисом Block(stats, expr). Этот узел AST соответствует следующему коду Scala:

{ stats; expr }

Если блок пуст, expr устанавливается в Literal(Constant(())).

API, поддерживаемый всеми определениями case

Класс-извлекатель для создания и сопоставления с образцом с синтаксисом CaseDef(pat, guard, body). Этот узел AST соответствует следующему коду Scala:

case pat if guard => body

Если guard отсутствует, guard устанавливается в EmptyTree. Если body не указан, body устанавливается в Literal(Constant(()))

API, поддерживаемый всеми определениями классов

Класс-извлекатель для создания и сопоставления с образцом с использованием синтаксиса ClassDef(mods, name, tparams, impl). Этот узел AST соответствует следующему коду Scala:

mods class name [tparams] impl

Где impl обозначает:

extends parents { defs }

API, поддерживаемый всеми деревьями составных типов

Класс-извлекатель для создания и сопоставления с образцом с использованием синтаксиса CompoundTypeTree(templ). Этот узел AST соответствует следующему коду Scala:

parent1 with ... with parentN { refinement }

API, поддерживаемый всеми определениями def

Класс-извлекатель для создания и сопоставления с образцом с использованием синтаксиса DefDef(mods, name, tparams, vparamss, tpt, rhs). Этот узел AST соответствует следующему коду Scala:

mods def name[tparams](vparams_1)...(vparams_n): tpt = rhs

Если тип возвращаемого значения не указан явно (т.е. предполагается, что он будет выведен), это выражается установкой tpt в TypeTree() (но не в EmptyTree!).

API, поддерживаемый всеми деревьями def

API, поддерживаемый всеми деревьями экзистенциальных типов

Класс-извлекатель для создания и сопоставления с образцом с использованием синтаксиса ExistentialTypeTree(tpt, whereClauses). Этот узел AST соответствует следующему коду Scala:

tpt forSome { whereClauses }

API, поддерживаемый всеми функциями

Класс-извлекатель для создания и сопоставления с образцом с использованием синтаксиса Function(vparams, body). Этот узел AST соответствует следующему коду Scala:

vparams => body

Символ функции является синтетическим TermSymbol. Он является владельцем параметров функции.

API, поддерживаемый всеми применениями

API, который поддерживают все идентификаторы

Класс-извлекатель для создания и сопоставления с образцом с помощью синтаксиса Ident(qual, name). Этот узел AST соответствует следующему коду Scala:

name

Проверка типов преобразует идентификаторы, которые ссылаются на поля или методы, содержащиеся в них, в селекторы. Например, name ==> this.name

API, который поддерживают все операторы if

Класс-извлекатель для создания и сопоставления с образцом с помощью синтаксиса If(cond, thenp, elsep). Этот узел AST соответствует следующему коду Scala:

if (cond) thenp else elsep

Если альтернатива отсутствует, elsep устанавливается в Literal(Constant(())).

API, который поддерживают все определения impl

API, который поддерживают все операторы import

Класс-извлекатель для создания и сопоставления с образцом с помощью синтаксиса Import(expr, selectors). Этот узел AST соответствует следующему коду Scala:

import expr.{selectors}

Селекторы представляют собой список ImportSelectors, которые концептуально являются парами имен (from, to). Последнее (и, возможно, единственное) имя может быть nme.WILDCARD. Например:

import qual.{w => _, x, y => z, _}

Будет представлено как:

Import(qual, List(("w", WILDCARD), ("x", "x"), ("y", "z"), (WILDCARD, null)))

Символ Import — это символ импорта @see Symbol.newImport. Он используется в основном в качестве маркера для проверки того, что импорт прошел проверку типов.

API, который поддерживают все селекторы импорта

Класс-извлекатель для создания и сопоставления с образцом с помощью синтаксиса ImportSelector(name, namePos, rename, renamePos). Это не узел AST, он используется как часть узла Import.

API, который поддерживают все определения label

Класс-извлекатель для создания и сопоставления с образцом с помощью синтаксиса LabelDef(name, params, rhs).

Этот узел AST не имеет прямого соответствия коду Scala. Он используется для рекурсивных вызовов и подобного. Например, while/do преобразуются в определения label следующим образом:

while (cond) body ==> LabelDef($L, List(), if (cond) { body; L$() } else ())

do body while (cond) ==> LabelDef($L, List(), body; if (cond) L$() else ())

API, который поддерживают все литералы

Класс-извлекатель для создания и сопоставления с образцом с помощью синтаксиса Literal(value). Этот узел AST соответствует следующему коду Scala:

value

API, поддерживаемый всеми сопоставлениями

Класс извлекателя для создания и сопоставления шаблонов с синтаксисом Match(selector, cases). Этот узел AST соответствует следующему коду Scala:

selector match { cases }

Match также используется в присваиваниях сопоставления шаблонов, таких как val (foo, bar) = baz.

API, поддерживаемый всеми определениями членов

API, поддерживаемый всеми модификаторами

Класс извлекателя для создания и сопоставления шаблонов с синтаксисом Modifiers(flags, privateWithin, annotations). Модификаторы инкапсулируют флаги, аннотации видимости и аннотации Scala для определений членов.

API, поддерживаемый всеми определениями модулей

Класс извлекателя для создания и сопоставления шаблонов с синтаксисом ModuleDef(mods, name, impl). Этот узел AST соответствует следующему коду Scala:

mods object name impl

Где impl обозначает:

extends parents { defs }

API, поддерживаемый всеми деревьями имен

API, поддерживаемый всеми присваиваниями

Класс извлекателя для создания и сопоставления шаблонов с синтаксисом NamedArg(lhs, rhs). Этот узел AST соответствует следующему коду Scala:

m.f(lhs = rhs)

@annotation(lhs = rhs)

API, поддерживаемый всеми операторами new

Класс извлекателя для создания и сопоставления шаблонов с синтаксисом New(tpt). Этот узел AST соответствует следующему коду Scala:

new T

Этот узел всегда встречается в следующем контексте:

(new tpt).<init>[targs](args)

Например, представление AST для:

new Example[Int](2)(3)

является следующим кодом:

Apply( Apply( TypeApply( Select(New(TypeTree(typeOf[Example])), nme.CONSTRUCTOR) TypeTree(typeOf[Int])), List(Literal(Constant(2)))), List(Literal(Constant(3))))

API, поддерживаемый всеми определениями пакетов

An extractor class to create and pattern match with syntax PackageDef(pid, stats). This AST node corresponds to the following Scala code:

package pid { stats }

The API that all ref trees support

An extractor class to create and pattern match with syntax RefTree(qual, name). This AST node corresponds to either Ident, Select or SelectFromTypeTree.

The API that all returns support

An extractor class to create and pattern match with syntax Return(expr). This AST node corresponds to the following Scala code:

return expr

The symbol of a Return node is the enclosing method.

The API that all selects support

An extractor class to create and pattern match with syntax Select(qual, name). This AST node corresponds to the following Scala code:

qualifier.selector

Should only be used with qualifier nodes which are terms, i.e. which have isTerm returning true. Otherwise SelectFromTypeTree should be used instead.

foo.Bar // represented as Select(Ident(<foo>), <Bar>) Foo#Bar // represented as SelectFromTypeTree(Ident(<Foo>), <Bar>)

The API that all selects from type trees support

An extractor class to create and pattern match with syntax SelectFromTypeTree(qualifier, name). This AST node corresponds to the following Scala code:

qualifier # selector

Note: a path-dependent type p.T is expressed as p.type # T

Should only be used with qualifier nodes which are types, i.e. which have isType returning true. Otherwise Select should be used instead.

Foo#Bar // represented as SelectFromTypeTree(Ident(<Foo>), <Bar>) foo.Bar // represented as Select(Ident(<foo>), <Bar>)

The API that all singleton type trees support

An extractor class to create and pattern match with syntax SingletonTypeTree(ref). This AST node corresponds to the following Scala code:

ref.type

The API that all stars support

Класс экстрактора для создания и сопоставления шаблонов с синтаксисом Star(elem). Этот узел AST соответствует следующему коду Scala:

pat*

API, поддерживаемый всеми суперклассами

Класс экстрактора для создания и сопоставления шаблонов с синтаксисом Super(qual, mix). Этот узел AST соответствует следующему коду Scala:

C.super[M]

Который представлен как:

Super(This(C), M)

Если mix пуст, это tpnme.EMPTY.

Символ Super — это класс, _из_ которого сделан супервызов. Например, в C.super(...), это будет C.

API, поддерживаемый всеми символьными деревьями

API, поддерживаемый всеми шаблонами

Класс экстрактора для создания и сопоставления шаблонов с синтаксисом Template(parents, self, body). Этот узел AST соответствует следующему коду Scala:

extends parents { self => body }

В случае отсутствия аннотации типа self он представляется как пустое определение значения с nme.WILDCARD в качестве имени и NoType в качестве типа.

Символ шаблона является локальным фиктивным. @see Symbol.newLocalDummy Владельцем фиктивного символа является окружающий трейт или класс. Локальный фиктивный символ сам является владельцем любых локальных блоков. Например:

class C { def foo { // владелец — C def bar // владелец — локальный фиктивный символ } }

API, поддерживаемый всеми термальными деревьями

API, поддерживаемый всеми this

Класс экстрактора для создания и сопоставления шаблонов с синтаксисом This(qual). Этот узел AST соответствует следующему коду Scala:

qual.this

Символ This — это класс, на который ссылается this. Например, в C.this это будет C.

API, поддерживаемый всеми операторами throw

Класс экстрактора для создания и сопоставления шаблонов с синтаксисом Throw(expr). Этот узел AST соответствует следующему коду Scala:

throw expr

Класс, реализующий стратегию преобразования дерева по умолчанию: клонирование покомпонентно в ширину.

Класс, реализующий стратегию обхода дерева по умолчанию: покомпонентно в ширину.

API, который поддерживают все деревья. Основной источник информации о деревьях — страница scala.reflect.api.Trees.

API копировщика деревьев.

API, который поддерживают все попытки

Класс экстрактора для создания и сопоставления с образцом с помощью синтаксиса Try(block, catches, finalizer). Этот узел AST соответствует следующему коду Scala:

try block catch { catches } finally finalizer

Если финализатор отсутствует, finalizer устанавливается в EmptyTree.

API, который поддерживают все деревья типов

API, который поддерживают все применения типов

Класс экстрактора для создания и сопоставления с образцом с помощью синтаксиса TypeApply(fun, args). Этот узел AST соответствует следующему коду Scala:

fun[args]

Следует использовать только с узлами fun, которые являются терминами, то есть возвращают isTerm. В противном случае следует использовать AppliedTypeTree.

def foo[T] = ??? foo[Int] // представлено как TypeApply(Ident(<foo>), List(TypeTree(<Int>)))

List[Int] как в val x: List[Int] = ??? // представлено как AppliedTypeTree(Ident(<List>), List(TypeTree(<Int>)))

API, который поддерживают все деревья границ типов

Класс экстрактора для создания и сопоставления с образцом с помощью синтаксиса TypeBoundsTree(lo, hi). Этот узел AST соответствует следующему коду Scala:

>: lo <: hi

API, который поддерживают все определения типов

Класс экстрактора для создания и сопоставления с образцом с помощью синтаксиса TypeDef(mods, name, tparams, rhs). Этот узел AST соответствует следующему коду Scala:

mods type name[tparams] = rhs

mods type name[tparams] >: lo <: hi

Первое использование иллюстрирует TypeDefs, представляющие псевдонимы типов и параметры типов. Второе использование иллюстрирует TypeDefs, представляющие абстрактные типы, где lo и hi являются одновременно TypeBoundsTrees, а Modifier.deferred устанавливается в mods.

API, который поддерживают все деревья типов

Класс-экстрактор для создания и сопоставления с образцом с синтаксисом TypeTree(). Этот узел AST не имеет прямого соответствия коду Scala и выводится везде, когда нам нужно обернуть Type в Tree.

API, поддерживаемый всеми typeds

Класс-экстрактор для создания и сопоставления с образцом с синтаксисом Typed(expr, tpt). Этот узел AST соответствует следующему коду Scala:

expr: tpt

API, поддерживаемый всеми unapplies

Класс-экстрактор для создания и сопоставления с образцом с синтаксисом UnApply(fun, args). Этот узел AST не имеет прямого соответствия коду Scala и вводится при проверке типов совпадений шаблонов и try блоков.

API, поддерживаемый всеми val defs

Класс-экстрактор для создания и сопоставления с образцом с синтаксисом ValDef(mods, name, tpt, rhs). Этот узел AST соответствует любому из следующих кодов Scala:

mods val name: tpt = rhs

mods var name: tpt = rhs

mods name: tpt = rhs // в сигнатурах определений функций и методов

self: Bar => // типы-принадлежности

Если тип значения не указан явно (т.е. должен быть выведен), это выражается наличием tpt, установленным в TypeTree() (но не в EmptyTree!).

API, поддерживаемый всеми val defs и def defs

TypeTag — это scala.reflect.api.TypeTags#WeakTypeTag с дополнительной гарантией, что все ссылки на типы являются конкретными, т.е. оно не содержит никаких ссылок на неразрешенные параметры типов или абстрактные типы.

Если требуется неявное значение типа WeakTypeTag[T], компилятор создаст его, и рефлексивное представление T можно получить через поле tpe. Компоненты T могут ссылаться на параметры типов или абстрактные типы. Обратите внимание, что WeakTypeTag делает все возможное, чтобы быть максимально конкретным, то есть, если TypeTag доступны для ссылочных аргументов типа или абстрактных типов, они используются для встраивания конкретных типов в WeakTypeTag. В противном случае WeakTypeTag будет содержать ссылку на абстрактный тип. Это поведение может быть полезно, когда ожидается, что T будет частично абстрактным, но требует особого внимания для обработки этого случая. Однако, если ожидается, что T будет полностью известен, используйте scala.reflect.api.TypeTags#TypeTag вместо него, что гарантирует это свойство статически.

Для получения дополнительной информации о TypeTag см. Руководство по рефлексии: TypeTags

API, поддерживаемый всеми аннотированными типами. Основной источник информации о типах — страница scala.reflect.api.Types.

Класс-извлекатель для создания и сопоставления с образцом с помощью синтаксиса AnnotatedType(annotations, underlying). Здесь, annotations — это аннотации, украшающие базовый тип underlying. selfSym — это символ, представляющий сам аннотированный тип.

API, поддерживаемый всеми этими типами. Основной источник информации о типах — страница scala.reflect.api.Types.

Класс-извлекатель для создания и сопоставления с образцом с помощью синтаксиса BoundedWildcardTypeExtractor(bounds), где bounds обозначают границы типа.

API, поддерживаемый всеми типами информации о классах. Основной источник информации о типах — страница scala.reflect.api.Types.

Класс-извлекатель для создания и сопоставления с образцом с помощью синтаксиса ClassInfo(parents, decls, clazz). Здесь, parents — это список родительских типов класса, decls — область видимости, содержащая все объявления в классе, а clazz — символ самого класса.

Не имеет специальных методов. Находится здесь для обеспечения стёртой идентичности для CompoundType.

API, поддерживаемый всеми константными типами. Основной источник информации о типах — страница scala.reflect.api.Types.

Класс-извлекатель для создания и сопоставления с образцом с помощью синтаксиса ConstantType(constant). Здесь, constant — это константное значение, представленное типом.

API, поддерживаемый всеми экзистенциальными типами. Основной источник информации о типах — страница scala.reflect.api.Types.

Класс-извлекатель для создания и сопоставления с образцом с помощью синтаксиса ExistentialType(quantified, underlying). Здесь, quantified — это переменные типа, связанные экзистенциальным типом, а underlying — это тип, который экзистенциально квантифицирован.

API, поддерживаемый всеми типами методов. Основной источник информации о типах — страница scala.reflect.api.Types.

Класс-извлекатель для создания и сопоставления с образцом с помощью синтаксиса MethodType(params, restpe) Здесь, params — это потенциально пустой список символов параметров метода, а restpe — это тип результата метода. Если метод является каррированным, restpe будет другим MethodType. Примечание: MethodType(Nil, Int) будет типом метода, определенного с пустым списком параметров.

def f(): Int

Если метод полностью без параметров, как в

def f: Int

его тип является NullaryMethodType.

API, поддерживаемый всеми типами методов без параметров. Основной источник информации о типах — страница scala.reflect.api.Types.

Класс-извлекатель для создания и сопоставления с образцом с помощью синтаксиса NullaryMethodType(resultType). Здесь, resultType — это тип результата метода без параметров.

API, поддерживаемый всеми полиморфными типами. Основной источник информации о типах — страница scala.reflect.api.Types.

Класс-извлекатель для создания и сопоставления с образцом с помощью синтаксиса PolyType(typeParams, resultType). Здесь, typeParams — это параметры типа метода, а resultType — это сигнатура типа после параметров типа.

API, поддерживаемый всеми уточненными типами. Основной источник информации о типах — страница scala.reflect.api.Types.

Класс-извлекатель для создания и сопоставления с образцом с помощью синтаксиса RefinedType(parents, decls) Здесь, parents — это список родительских типов класса, а decls — это область видимости, содержащая все объявления в классе.

API, поддерживаемый всеми одиночными типами. Основной источник информации о типах — страница scala.reflect.api.Types.

Класс-извлекатель для создания и сопоставления с образцом с помощью синтаксиса SingleType(pre, sym) Здесь, pre — это префикс одиночного типа, а sym — это символ стабильного значения, на который ссылается одиночный тип.

Не имеет специальных методов. Находится здесь для обеспечения стёртой идентичности для SingletonType.

API, поддерживаемый всеми супертипами. Основной источник информации о типах — страница scala.reflect.api.Types.

Класс-извлекатель для создания и сопоставления с образцом с помощью синтаксиса SuperType(thistpe, supertpe)

API, поддерживаемый всеми типами this. Основной источник информации о типах — страница scala.reflect.api.Types.

Класс-извлекатель для создания и сопоставления с образцом с помощью синтаксиса ThisType(sym), где sym — префикс класса типа this.

API типов. Основной источник информации о типах — страница scala.reflect.api.Types.

API, поддерживаемый всеми границами типов. Основной источник информации о типах — страница scala.reflect.api.Types.

Класс-извлекатель для создания и сопоставления с образцом с помощью синтаксиса TypeBound(lower, upper). Здесь lower — нижняя граница пары TypeBounds, а upper — верхняя граница.

API, поддерживаемый всеми ссылками на типы. Основной источник информации о типах — страница scala.reflect.api.Types.

Класс-извлекатель для создания и сопоставления с образцом с помощью синтаксиса TypeRef(pre, sym, args). Здесь pre — префикс ссылки на тип, sym — символ, на который ссылается ссылка на тип, а args — возможно пустой список аргументов типа.

<invalid inheritdoc annotation>

Допустим, у вас есть определение типа

type T <: Number

и tsym — это символ, соответствующий T. Тогда

tsym is an instance of AbstractTypeSymbol
tsym.info == TypeBounds(Nothing, Number)
tsym.tpe  == TypeRef(NoPrefix, T, List())

Тип, содержащий некоторые аннотации. Создаётся типовым проверяющим при устранении деревьев Annotated (см. typedAnnotated).

Дополнительный проверяющий для аннотаций типов. Обычно регистрируются плагинами компилятора с помощью метода addAnnotationChecker.

Типизированная информация об аннотации. Может быть прикреплена к символу или аннотированному типу.

Аннотации записываются в файл класса как Java аннотации, если atp соответствует ClassfileAnnotation (парсер файла класса добавляет этот интерфейс к любому классу Java аннотации).

Аннотации сохраняются (записываются в атрибут scala symtab в файле класса), если atp наследует от StaticAnnotation.

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

assocs хранит аргументы аннотаций файла класса в виде пар имя-значение.

Класс, запоминающий экземпляр типа для некоторого набора перегруженных полиморфных символов. Не используется после фазы typer.

Предпосылка: params.length == typeArgs.length > 0 (выполняется структурно).

Представляет массив аргументов аннотаций файла класса

Массив выражений. Этот узел AST необходимо перевести в бэкенд. Он используется для передачи аргументов аргументам vararg. Введён фазой компиляции uncurry.

Этот узел AST не имеет прямого соответствия коду Scala и используется для передачи аргументов аргументам vararg. Например:

printf("%s%d", foo, 42)

Преобразуется после фазы компиляции uncurry в:

Apply( Ident("printf"), Literal("%s%d"), ArrayValue(<Any>, List(Ident("foo"), Literal(42))))

Карта для вычисления метода asSeenFrom.

Общий код между reflect-internal Symbol и Tree, относящийся к прикреплениям.

Примечание: конструктор защищён, чтобы все пользовались фабричным методом newBaseTypeSeq. Это необходимо, поскольку при выполнении из рефлексии каждая последовательность базовых типов должна иметь SynchronizedBaseTypeSeq в качестве миксина.

BoundedWildcardTypes, используемые только во время вывода типов, создаются в двух местах, которые я могу найти:

Если ожидаемый тип выражения — это экзистенциальный тип, его скрытые символы заменяются ограниченными подстановочными знаками. 2. Когда ищется неявное преобразование, частично основанное на имени метода в типе, преобразуемом, создаётся тип HasMethodMatching: MethodType с параметрами, типизированными как BoundedWildcardTypes.

Класс, представляющий информацию о классе

Класс для символов классов

Аргументы к аннотациям констант (Аннотации, определённые в Java или расширяющие ConstantAnnotation). Аргументы могут быть:

константамимассивами константили вложенными аннотациями classfile (только для аннотаций Java)

TODO: переименовать на ConstantAnnotationArg

Карта для реализации метода collect.

Базовый класс для пересечения типов и типов классов

Хранит деревья, которые приводят к уточнённому типу для использования в реификации. К сожалению, типизированный CompoundTypeTree недостаточно информативен, и реификатор не может использовать CompoundTypeTree.tpe. Поэтому нам нужен этот хак (см. Reshape.toPreTyperTypeTree для подробного объяснения).

Класс, представляющий тип константы. Тип константы — это либо выведенный тип константного значения, либо явный или выведенный тип литерала. Оба могут быть сложены в константу на уровне типа, однако типы литералов не складываются на уровне термина и не исключают эффектов.

Карта для реализации метода contains.

Исключение для циклических ссылок на определения символов

Временный тип, представляющий стирание пользовательского типа значения. Создаётся во время фазы стирания, удаляется после стирания.

scala/bug#6385 Создание мостов стиранием учитывает сигнатуры методов exitingErasure, которые содержат ErasedValueType. Для корректного рассмотрения переопределённых и переопределяющих сигнатур как эквивалентных в run/t6385.scala критически важно, чтобы этот тип содержал стирание обернутого типа, а не неостираемый тип самого класса значения, как это делалось изначально.

Область ошибок.

Используется existentialAbstraction.

Карта для реализации метода filter.

Карта для реализации метода filter.

Маркирующий тракт, представляющий ещё не оценённый тип, который не присваивает флаги подлежащему символу.

Маркерный тракт, представляющий ещё не вычисленный тип, который присваивает флаги базовому символу.

Класс, представляющий выведенный тип константного значения. Константные типы и соответствующие им термины константно складываются во время проверки типа. Для избежания константного складывания используйте тип, возвращаемый deconst.

Предварительное условие: !params.isEmpty. (args.nonEmpty принудительно применяется структурно.)

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

Примечание: Эта карта необходима даже для типов методов без зависимостей, несмотря на то, что это может подразумеваться из названия.

API зеркала для рефлексивной вселенной

Этот трайт должен быть первым в линейной структуре.

Структура данных, описывающая тип заданного типа.

Правильные типы представлены с помощью ProperTypeKind.

Конструкторы типов представлены с помощью TypeConKind.

Символьные аннотации, распарсенные в Namer (typeCompleter определений), должны быть ленивыми (#1782)

Комплетер типа для пакетов.

Класс, представляющий ещё не вычисленный тип.

Представляет константу времени компиляции (Boolean, Byte, Short, Char, Int, Long, Float, Double, String, java.lang.Class или экземпляр значения перечисления Java).

Класс, представляющий явный или выведенный тип литерала. Типы литералов могут быть свёрнуты на уровне типов во время проверки типов, однако они не будут свёрнуты на уровне терминов, и эффекты не будут исключены.

Локатор для деревьев с заданными позициями. Принимая заданную позицию pos, локатор.apply возвращает наименьшее дерево, которое содержит pos.

Исключение, сигнализирующее о некорректном типе

Класс для символов методов

Класс, представляющий тип метода с параметрами. Обратите внимание, что беспараметрический метод представлен типом NullaryMethodType:

def m(): Int MethodType(Nil, Int) def m: Int NullaryMethodType(Int)

В отражающих вселенных во время выполнения зеркала являются JavaMirrors.

Класс для символов классов модулей Примечание: не все классы модулей являются этого типа; при распаковке мы получаем обычные символы классов!

Класс для символов модулей

Класс имени. TODO — решить проблему шизофрении относительно того, следует ли рассматривать имена как строки или строки как имена. Наделить имена ключевыми функциями, отсутствие которых заставляет людей постоянно использовать строки.

ADT для представления результатов поиска символов по имени.

FIXME: Это хороший пример того, что является чистым «классом значения», но не может извлечь выгоды, потому что указатель $outer (неиспользуемый), поэтому он не однопольный.

Класс, представляющий типы с именем. При использовании аргументов с именем типы аргументов с именем для вызова isApplicable представлены как NamedType.

Представляет вложенный анотацию classfile

Объект, представляющий отсутствующий символ

Леньно вычисляемые ожидаемые типы для аргументов перегруженных методов. В основном для улучшения вывода типа параметров для перегруженных методов высшего порядка.

Обычно разрешение перегрузки типизирует аргументы альтернатив без ожидаемого типа. Однако, типизация литералов функций и расширение eta управляются ожидаемым типом:

литералы функций обычно не имеют типов параметров, которые выводятся из ожидаемого типа;расширение eta в данный момент происходит только тогда, когда ожидается тип функции/SAM.

Теперь, когда коллекции полны перегруженных методов HO, мы должны лучше стараться правильно их типизировать.

(Этот абзац концептуально верен, но не является спецификацией.) Чтобы избежать нарушения существующего кода, мы предоставляем ожидаемый тип (для каждой позиции аргумента) только когда:

существует как минимум один тип FunctionN, ожидаемый одной из перегрузок: в этом случае ожидаемый тип является FunctionN[Ti, ?], где Ti - типы аргументов (они должны все быть =:=), а ожидаемый тип результата опушен с помощью подстановки. Это не исключает перегрузки, которые ожидают SAM, потому что они соответствуют типу функции через преобразование SAMИЛИ: все перегрузки ожидают тип SAM одного класса, но с потенциально различными типами результатов (типы аргументов должны быть =:=)ИЛИ: все ожидаемые типы сводятся к одному типу (по =:=, опуская параметры типа метода до типов аргументов)

Мы допускаем полиморфные случаи, учитывая любое подстановку с префиксом AntiPolyType. Конструкторы полиморфных классов не поддерживаются (появления параметров типа используют новые символы, трудно связать с параметрами типа класса).

Во всех остальных случаях сохраняется старое поведение: ожидается Подстановка.

Класс, содержащий альтернативы и префикс типа перегруженного символа. Не используется после фазы typer.

Период — это порядковый номер фазы в запуске. Фазы в более поздних запусках имеют более высокие периоды, чем фазы в более ранних запусках. Более поздние фазы имеют более высокие периоды, чем более ранние фазы в том же запуске.

Присоединение, которое не содержит артефактов рефлексии и может быть импортировано как есть.

Функция типа или тип полиморфного значения (и, следовательно, типа *).

До появления NullaryMethodType полиморфный нульарный метод (например, def isInstanceOf[T]: Boolean) типизировался как PolyType(tps, restpe), а мономорфный как PolyType(Nil, restpe). Теперь это: PolyType(tps, NullaryMethodType(restpe)) и NullaryMethodType(restpe) по симметрии к MethodTypes: PolyType(tps, MethodType(params, restpe)) и MethodType(params, restpe)

Таким образом, PolyType(tps, TypeRef(...)) однозначно указывает на функцию типа (которая получается в результате расширения eta типа конструктора псевдонима). Аналогично, PolyType(tps, ClassInfoType(...)) - это конструктор типа.

Политип имеет тип * тогда и только тогда, когда его тип результата является типом (нульарного) метода.

Определяет понятие позиций, специфичное для вселенной. Основная документация по позициям находится по адресу scala.reflect.api.Position.

Исключение для циклических ссылок, из которых можно восстановиться

Класс, представляющий пересечения типов с уточнениями вида <parents_0> with ... with <parents_n> { decls } Нельзя создавать напрямую; для создания всегда следует использовать refinedType.

Как и NamedType, используется только при вызове isApplicable. Записывает, что применение имеет звёздочку дикого типа (т. е. _*) в конце.

Прокси для типа (идентифицируемого по полю underlying), который перенаправляет большинство операций на него. Здесь перенаправляется каждая переопределённая операция для некоторых типов. Некоторые операции повторно перенаправляются.

Порядковый номер запусков компилятора. Первый запуск имеет номер 1.

В средах выполнения рефлексии, runtime-представление класса — это java.lang.Class.

Прикрепляется к узлу Function во время проверки типов, когда ожидаемый тип является типом SAM (а не встроенным FunctionN).

В идеале, мы бы перешли к AST замыканий Dotty, который отслеживает среду, поднятый метод, имеющий реализацию, и целевой тип. Для обратной совместимости прикрепление — лучшее, что мы можем сделать прямо сейчас.

Примечание: конструктор защищён, чтобы все пользователи использовали методы создания newScope или newNestedScope. Это необходимо, потому что при выполнении рефлексии каждый scope должен иметь SynchronizedScope как миксин.

Прокси для типа (идентифицированного по полю underlying), который перенаправляет большинство операций к нему (для исключений, см. WrappingProxy, который перенаправляет еще больше операций). Каждая переопределенная операция для какого-либо типа должна быть перенаправлена.

Класс для одиночных типов вида <prefix>.<sym.name>.type. Не может быть создан напрямую; для создания всегда следует использовать singleType.

Базовый класс для типов, представляющих единственное значение (одиночные типы и типы «this»).

Базовый класс для типов, которые откладывают некоторые операции до своего непосредственного супертипа.

Нетипизированный список подшаблонов, прикрепленных к селектору-заглушке.

Базовый класс для вычисления всех подстановок

Отображение для реализации метода substSym.

Отображение для реализации метода substThis.

Отображение для реализации метода subst.

Класс для всех символов

Класс для символов терминов

Заменить clazz.this на to. to должен быть деревом с атрибутами.

Класс для типов this вида <sym>.this.type

Стандартный завершитель для классов верхнего уровня

Тип стандартных (ленивых) копиров деревьев.

Трансформатор, который заменяет дерево from на дерево to в заданном дереве

Заменяет символы в from на символы в to. Возвращает новое дерево, использующее новые символы, и узлы Ident и Select которого согласованы по имени с новыми символами.

Примечание: в настоящее время это деструктивная операция над исходным деревом. Деревья, которым в настоящее время присвоен символ в from, получат новые символы без копирования, а деревья, определяющие символы с info, которые ссылаются на символ в from, получат новый тип.

Базовый класс для всех типов

Класс для границ абстрактных типов и параметров типа

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

Исключение, сигнализирующее об ошибке типа

Прототип для сопоставления функции со всеми возможными типами

Прикрепление, несущее информацию между uncurry и erasure

Класс для именованных типов вида <prefix>.<sym.name>[args] Не может быть создан напрямую; для создания всегда следует использовать typeRef. (@M: В противном случае хеширование нарушается)

Класс для параметров типа, рассматриваемых изнутри их областей видимости

Класс символов типа. Псевдонимы и абстрактные типы являются прямыми экземплярами этого класса. Классы являются экземплярами подкласса.

A class representing a type variable: not used after phase typer.

A higher-kinded TypeVar has params (Symbols) and typeArgs (Types). A TypeVar with nonEmpty typeArgs can only be instantiated by a higher-kinded type that can be applied to those args. A TypeVar is much like a TypeRef, except it has special logic for equality and subtyping.

Precondition for this class, enforced structurally: args.isEmpty && params.isEmpty.

A type that can be passed to unique(..) and be stored in the uniques map.

Используется в Refchecks. TODO - устранить дублирование с varianceInType