Трейт scala.reflect.macros.Universe.MacroInternalApi

Создатель типов AnnotatedType.

Преобразование этого символа в символ свободного термина.

Преобразование этого символа в символ свободного типа.

Создатель типов BoundedWildcardType.

Отметить переменную как захваченную; т.е. принудительно выполнить упаковку в тип *Ref.

Собирает все символы, определённые поддеревьями tree, которые принадлежат prev, и затем изменяет их владельца на next.

Это важный инструмент для борьбы с ошибками цепочки владельцев при перемещении деревьев из одного лексического контекста в другой. Всякий раз, когда вы берёте атрибутированное дерево, которое было проверено на тип в контексте, принадлежащем какому-либо символу (назовём его x), и вставляете его в другое место, в контекст, принадлежащий другому символу (назовём его y), крайне важно, либо вызвать untypecheck, или выполнить changeOwner(tree, x, y).

Поскольку в данный момент untypecheck имеет фундаментальную проблему, которая иногда может привести к повреждению дерева, changeOwner становится незаменимым инструментом для построения 100% надёжных макросов. Будущие версии API отражения могут устранить необходимость заботы об этих низкоуровневых деталях, но на данный момент вот что у нас есть.

Метод-фабрика для узлов ClassDef.

Создатель типов ClassInfoType.

Создатель для типов ConstantType.

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

Если этот символ является склемом, его соответствующий типовой параметр, в противном случае сам символ.

Цитируя Мартина Одерски, склемы — это синтетические типы «констант», которые являются копиями экзистенциально связанных или универсально связанных типовых переменных. Например, если вы находитесь внутри правой части метода:

def foo[T](x: T) = ... foo[List[T]]....

склем с именем T ссылается на неизвестный тип экземпляра T при вызове foo. Он должен отличаться от типового параметра, потому что в рекурсивном вызове, как в примере foo[List[T]] выше, типовой параметр заменяется на List[T], но типовой склем остается тем, что он есть.

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

def bar(xs: List[T] forSome { type T }) = xs.head

тогда каждое вхождение xs справа будет иметь тип List[T'], где T' — это свежая копия T.

Фабричный метод для узлов DefDef.

Фабричный метод для узлов DefDef.

Фабричный метод для узлов DefDef.

Фабричный метод для узлов DefDef.

Фабричный метод для узлов DefDef.

Подобно setType, но если это ранее пустой TypeTree, этот факт запоминается, чтобы untypecheck вернулось к исходному состоянию.

\@PP: Попытка уточнить вышесказанное: Если вызов defineType производится на TypeTree, у которого поле type равно null или NoType, это записывается как "wasEmpty = true". Это значение используется в ResetAttrsTraverser, который обнуляет поле type TypeTree, для которых wasEmpty равно true, оставив другие неизменными.

untypecheck (или resetAttrs в терминологии компилятора) используется в ситуациях, когда происходит какая-то спекулятивная типизация дерева, которая терпит неудачу, и дерево нужно вернуть в первоначальное состояние, чтобы попробовать снова. Таким образом, по моему мнению: использование defineType вместо setType – это способ указать, что устанавливаемый тип не зависит от предыдущего состояния, и поэтому должен быть отброшен, если текущий путь поиска типа не удается.

Создатель для экзистенциальных типов. Это генерирует:

tpe1 where { tparams }

где tpe1 является результатом экстраполяции tpe относительно tparams. Экстраполяция означает, что переменные типа в tparams, встречающиеся в ковариантных позициях, заменяются на верхние границы, (за исключением любых маркеров SingletonClass), переменные типа в tparams, встречающиеся в контравариантных позициях, заменяются на верхние границы, при условии, что полученный тип является законным с точки зрения стабильности и не содержит никаких переменных типа в tparams.

Абстракция отбрасывает все параметры типа, которые не ссылаются непосредственно или косвенно на тип tpe1. Если не осталось параметров типа, просто возвращается тип результата tpe.

Создатель для типов ExistentialType.

Возвращает внутренние флаги, связанные с символом.

Извлекает символы свободных терминов из дерева, которое реифицировано или содержит реифицированные поддеревья.

Извлекает символы свободных типов из дерева, которое реифицировано или содержит реифицированные поддеревья.

Вызывает initialize для всех символов, из которых состоит область видимости.

Вызывает initialize для всех параметров значения и типа типа.

Вызывает initialize для владельца и всех параметров значения и типа символа.

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

Создатель типа пересечения, где пересечения одного типа заменяются самим типом, а повторяющиеся родительские классы объединяются.

!!! Повторяющиеся родительские классы не объединяются - это ошибка в комментарии или в коде?

Создатель типа пересечения, где пересечения одного типа заменяются самим типом.

Представляет ли этот символ или его базовый тип ошибку проверки типов?

Представляет ли этот символ свободный термин, захваченный реификацией? Если да, то isTerm также гарантированно истинно.

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

Представляет ли этот символ определение сколема? Сколемы используются во время проверки типов для представления параметров типа, рассматриваемых изнутри их областей видимости.

Метод-фабрика для узлов LabelDef.

Создатель типов MethodType.

Метод-фабрика для узлов ModuleDef.

Создать новый область видимости с заданными начальными элементами.

Создатель для типов NullaryMethodType.

Создатель параметризации типов, удаляющий пустые списки параметров типа. Используйте этот фабричный метод для обозначения того, что тип имеет вид * (это полиморфное значение), пока мы не начнём отслеживать явные виды, эквивалентные typeFun (за исключением того, что последний требует непустого tparams).

Создатель для типов RefinedType.

Создатель для типов RefinedType.

Создатель для типов RefinedType.

Создатель для типов RefinedType.

Создатель для типов RefinedType.

Это внутренний модуль реализации.

Обновление прикрепления с удалённой полезной нагрузкой заданного класса T. Возвращает сам узел.

Обновление прикрепления с удалённой полезной нагрузкой заданного класса T. Возвращает сам символ.

Устанавливает pos дерева. Возвращает само дерево.

Устанавливает symbol дерева. Возвращает само дерево.

Устанавливает tpe дерева. Возвращает само дерево.

Создатель для SingleType типов.

Возвращает неу типизированный список подпаттернов, прикреплённых к селектору-заглушке узла UnApply. Полезно при написании макросов квазицитирования, которые выполняют сопоставление с образцом.

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

Заменить заданное дерево to на вхождения узлов, представляющих C.this, где C относится к заданному классу clazz.

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

Создатель для типов SuperType.

Создатель для типов ThisType.

Создатель для типов TypeBounds.

Метод-фабрика для узлов TypeDef.

Метод-фабрика для узлов TypeDef.

Создатель для типов TypeRef.

Обновляет привязку с помощью слота полезной нагрузки T, добавленного/обновлённого предоставленным значением. Заменяет существующую полезную нагрузку того же типа, если она существует. Возвращает само дерево.

Обновляет привязку с слотом данных T, добавленным/обновлённым заданным значением. Заменяет существующие данные того же типа, если они есть. Возвращает сам символ.

Метод-фабрика для узлов ValDef.

Метод-фабрика для узлов ValDef.

Преобразование scala.reflect.Manifest в scala.reflect.api.TypeTags#TypeTag.

Компилятор обычно генерирует эти преобразования автоматически, когда манифест для типа T находится в области видимости, и запрашивается неявное значение типа TypeTag[T], но этот метод также можно вызвать вручную. Например:

manifestToTypeTag(scala.reflect.runtime.currentMirror, implicitly[Manifest[String]])

Преобразование scala.reflect.api.TypeTags#TypeTag в scala.reflect.Manifest.

Компилятор обычно генерирует эти преобразования автоматически, когда метка типа для типа T находится в области видимости, и запрашивается неявное значение типа Manifest[T], но этот метод также можно вызвать вручную. Например:

typeTagToManifest(scala.reflect.runtime.currentMirror, implicitly[TypeTag[String]])