Трейт scala.reflect.api.Trees.SelectFromTypeTreeApi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Базовое имя. Например, List часть Ident(TermName("List")).

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

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

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

Квалификатор ссылки. Например, Ident(TermName("scala")) часть Select(Ident(TermName("scala")), TermName("List")). EmptyTree для Ident экземпляров.

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

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

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

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

Тип дерева.

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

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

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

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