Особенность scala.reflect.api.Trees.ExistentialTypeTreeApi

Может ли это дерево содержать атрибуты (т.е. символы, типы или позиции)? Как правило, ответ — да, за исключением нулевого объекта EmptyTree и двух специальных одиночных элементов: noSelfType и pendingSuperCall.

Прямые дочерние деревья этого дерева. EmptyTrees всегда опускаются. Списки разворачиваются.

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

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

Проверяет, являются ли два дерева структурно равными. Обратите внимание, что == в деревьях — это равенство ссылок.

Существует ли часть этого дерева, которая удовлетворяет предикату p?

Найти все поддеревья, соответствующие предикату p. То же самое, что и withFilter

Возвращает необязательно первое дерево (в обходе в прямом порядке), которое удовлетворяет предикату p, или None, если такового не существует.

Удовлетворяют ли все части этого дерева предикату p?

Применить f к каждому поддереву

Представляет ли это дерево определение? (метода, класса и т.д.)

Является ли это дерево одним из пустых деревьев?

Пустые деревья: нулевой объект EmptyTree и экземпляры TypeTree, которые не содержат тип.

Канонический способ проверить, представляет ли Tree терм.

Канонический способ проверить, представляет ли дерево тип.

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

Предлагает альтернативу, если дерево пустое.

Позиция дерева.

Символ дерева.

Для большинства деревьев символ null. В SymTree случаях он переопределяется и реализуется с помощью переменной, инициализированной NoSymbol.

Деревья, которые не являются SymTree , но которые несут символы, делают это, переопределяя def symbol, чтобы перенаправить его в другое место. Примеры:

Super(qual, _) имеет символ qual, Apply(fun, args) имеет символ fun, TypeApply(fun, args) имеет символ fun, AppliedTypeTree(tpt, args) имеет символ tpt, TypeTree(tpe) имеет символ tpe typeSymbol, если tpe != null.

Тип дерева.

При создании у большинства деревьев их tpe установлено в null. Типы обычно назначаются деревьям во время проверки типов. Некоторые методы фабрики узлов устанавливают tpe сразу после создания.

Когда проверка типов встречает дерево с ненулевым tpe, она предполагает, что оно верно, и не проверяет его снова. Это означает, что необходимо быть внимательным, чтобы не стереть поле tpe поддеревьев.

Определяющие клаузы для экзистенциального типа. Элементы представляют собой 1) TypeDef с TypeBoundsTree справа 2) ValDef с пустым правым значением.

Найти все поддеревья, соответствующие предикату p. То же самое, что и filter.

Получает строковое представление дерева