Трейт scala.reflect.macros.Internals.ContextInternalApi

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

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

Этот символ преобразуется в символ свободного типа.

Прикрепление дерева.

Прикрепление символа.

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

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

Преобразование типа захваченной переменной в тип *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, поле типа которого равно null или NoType, это регистрируется как "wasEmpty = true". Это значение используется в ResetAttrsTraverser, который обнуляет поле типа 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 nonEmpty).

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

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

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

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

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

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

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

Обновить прикрепление с удаленным содержимым заданного типа класса T. Возвращает само дерево.

Обновить прикрепление с удаленным содержимым заданного типа класса T. Возвращает сам символ.

Отключает flags для символа.

Устанавливает annotations символа.

Включает flags для символа.

Устанавливает info символа.

Устанавливает name символа.

Устанавливает поле original дерева типа.

Устанавливает owner символа.

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

Устанавливает privateWithin символа.

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

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

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

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

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

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

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

A creator for SuperType types.

A creator for ThisType types.

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

A creator for TypeBounds types.

A factory method for TypeDef nodes.

A factory method for TypeDef nodes.

A creator for TypeRef types.

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

Преобразует заданное дерево с помощью предоставленной функции.

Удаляет заданный символ из данного области видимости.

Обновляет привязку с помощью слота загрузки 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]])