Объект scala.reflect.runtime.JavaUniverse.treeInfo

Является ли tree либо типом без модификатора volatile, либо путём, который не включает ни:

ссылку на переменную/поле с модификатором mutableссылку на параметр по имени by-nameвыбор члена в типе с модификатором volatile (Спецификация: 3.6 Типы volatile)?

Такое дерево подходит для выбора типа.

Преобразует узел Assign(_, _) в NamedArg(_, _) если левая часть — простой идентификатор. Иначе возвращает без изменений.

Ловит ли этот CaseDef исключение Throwable?

Возвращает обёртку, которая знает, как разобрать и проанализировать приложения.

//------------------------ => effectivePatternArity(args)
case Extractor(a)          => 1
case Extractor(a, b)       => 2
case Extractor((a, b))     => 2
case Extractor(a @ (b, c)) => 2

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

Аргументы первого конструктора в stats.

Начинается ли список деревьев с определения класса или модуля с заданным именем (импорты игнорируются)

Переменная типа tree является переменной? (Игнорируется, если у её символа есть аннотация @uncheckedStable.)

Является ли tpt типом параметра по имени в формате => T?

Является ли этот узел шаблона шаблоном перехвата исключений или шаблоном проверки типа?

Является ли узел объявлением или определением типа?

Является ли этот узел шаблона универсальным (символом-подстановкой или переменной) шаблоном?

Является ли выражение безопасным для встраивания без изменения семантики программы?

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

Является ли этот случай защищенным?

Является ли узел допустимым для определения члена интерфейса?

Является ли tree путём, определённым следующим образом? (Спецификация: 3.1 Пути)

- Пустой путь ε (который нельзя явно записать в пользовательских программах). - C.this, где C ссылается на класс. - p.x, где p — путь, а x — стабильный член p. - C.super.x или C.super[M].x, где C ссылается на класс, а x ссылается на стабильный член суперкласса или назначенного родительского класса M класса C.

ПРИМЕЧАНИЕ: Деревья с ошибками (в основном) исключаются.

Путь ::= СтабильныйИдентификатор | [id ‘.’] this

Является ли дерево чистым (т.е. не вызывающим побочных эффектов) определением?

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

Является ли tpt типом с параметром vararg в форме T*?

Является ли tree вызовом конструктора self this(...)? Т.е. вызов конструктора того же объекта?

Является ли tree вызовом конструктора self или super?

Является ли этот узел шаблона шаблоном со значением последовательности?

Является ли tree стабильным идентификатором, путём, который заканчивается идентификатором?

StableId ::= id | Path ‘.’ id | [id ’.’] ‘super’ [‘[’ id ‘]’] ‘.’ id

Является ли tree допустимым шаблоном стабильного идентификатора (8.1.5 Шаблоны стабильных идентификаторов)?

Мы игнорируем изменчивость, так как она не имеет значения в шаблонах (scala/bug#6815)

Предполагая, что sym является членом tree, является ли он "стабильным членом"?

Стабильные члены — это пакеты или члены, введённые определениями объектов или определениями значений не изменчивых типов (§3.6).

Является ли это дерево Star(_) после удаления привязок?

Является ли tree вызовом конструктора super?

Сопоставление Match(Typed(_, tpt), _) должно быть преобразовано в переключатель, если isSwitchAnnotation(tpt.tpe)

Является ли данный CaseDef синтетически сгенерированным, например, MatchTranslation.translateTry?

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

Является ли дерево шаблоном переменной?

Представляет ли это дерево несомненный шаблон сопоставления в позиции for { <tree> <- expr }, основываясь только на информации на стадии parser? Для соответствия не должно быть поддерева, которое будет интерпретировано как шаблон стабильного идентификатора, а также тестов типа, даже на TupleN. См. scala/bug#6968.

Например:

(foo @ (bar @ _)) = 0

не является шаблоном переменной; если только связывает имена.

Следующие не являются шаблонами переменных.

`bar`
Bar
(a, b)
_: T

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

for { X <- xs } yield X
for { `backquoted` <- xs } yield `backquoted`

Обратите внимание, что это отличается от правила case:

object X
scrut match {
   case X =>  // case _ if scrut == X
}

Предыстория: https://groups.google.com/d/msg/scala-internals/qwa_XOw_7Ks/IktkeTBYqg0J

Является ли дерево мутабельной переменной или геттером мутабельного поля?

Является ли аргумент аргументом со звездочкой в формате _ или x @ _?

Является ли этот узел аргумента в форме <expr> : _*?

Заканчивается ли этот список аргументов аргументом в форме <expr> : _*?

Является ли аргумент аргументом звездочного типа в форме _*?

может ли этот тип быть шаблоном типа

Является ли символ потенциальным геттером переменной?

Поля предка, помеченные как PRESUPER в этом фрагменте кода

Удаляет слои .asInstanceOf[T] / _.$asInstanceOf[T]() из выражения

Имена аргументов могут преобразовать вызов конструктора в блок, например, <init>(b = foo, a = bar) преобразуется в { val x$1 = foo val x$2 = bar <init>(x$2, x$1) }

Если у этого дерева есть параметры типа, они. В противном случае Nil.

Базовый шаблон, игнорирующий любые привязки

Распаковывает применения в важные подчасти, описанные в классе Applied, а именно: ядро, targs и argss (в указанном порядке).

Деревья, которые не являются применениями, также принимаются. Их вызывающий объект и ядро будут равны входу, а targs и argss будут Nil.

Предоставленные экстракторы не раскрывают весь API класса Applied. Для расширенного использования вызовите dissectApplied явно и используйте его методы вместо сопоставления с образцом.

Находит синтетический узел Apply, соответствующий вызову экстрактора unapply (распаковывая вложенные Apply), и возвращает часть fun этого Apply.