Trait scala.reflect.api.Trees

Альтернативы шаблонов.

Устраняются фазами компилятора Eliminated by compiler phases patmat (в новом шаблоне совпадения 2.10) или explicitouter (в старом шаблоне совпадения до 2.10), за исключением случаев, когда они используются в закодированных операторах Switch (т. е. остающихся Match(CaseDef(...)))

Класс-экстрактор для создания и сопоставления с образцом с синтаксисом Alternative(trees). Этот узел AST соответствует следующему коду Scala:

pat1 | ... | patn

Дерево, к которому прикреплена аннотация. Используется только для аннотированных типов и присвоений аннотаций; аннотации определений хранятся в Modifiers. Удаляется типовой проверяющим (typedAnnotated), а аннотации затем сохраняются в AnnotatedType.

Класс-экстрактор для создания и сопоставления с образцом с синтаксисом Annotated(annot, arg). Этот узел AST соответствует следующему коду Scala:

arg @annot // для типов arg: @annot // для выражений

Класс-экстрактор для создания и сопоставления с образцом с синтаксисом AppliedTypeTree(tpt, args). Этот узел AST соответствует следующему коду Scala:

tpt[args]

Должен использоваться только с узлами tpt, которые являются типами, то есть у которых isType возвращает true. В противном случае следует использовать TypeApply.

List[Int] как в val x: List[Int] = ??? // представлено как AppliedTypeTree(Ident(<List>), List(TypeTree(<Int>)))

def foo[T] = ??? foo[Int] // представлено как TypeApply(Ident(<foo>), List(TypeTree(<Int>)))

Класс-экстрактор для создания и сопоставления с образцом с синтаксисом Apply(fun, args). Этот узел AST соответствует следующему коду Scala:

fun(args)

Например:

fun[targs](args)

Выражается как:

Apply(TypeApply(fun, targs), args)

Класс-экстрактор для создания и сопоставления с образцом с синтаксисом Assign(lhs, rhs). Этот узел AST соответствует следующему коду Scala:

lhs = rhs

Связывание переменной с шаблоном правой части.

Устраняется фазами компилятора patmat (в новом шаблоне совпадения 2.10) или explicitouter (в старом шаблоне совпадения до 2.10).

Класс экстрактора для создания и сопоставления с образцом с помощью синтаксиса Bind(name, body). Этот узел AST соответствует следующему коду Scala:

pat*

Класс экстрактора для создания и сопоставления с образцом с помощью синтаксиса Block(stats, expr). Этот узел AST соответствует следующему коду Scala:

{ stats; expr }

Если блок пуст, то expr устанавливается в Literal(Constant(())).

Пункт case в сопоставлении с образцом (за исключением вхождений в операторах switch). Удаляется компилятором на этапах patmat (в новом механизме сопоставления с образцом в 2.10) или explicitouter (в старом механизме сопоставления с образцом до 2.10)

Класс экстрактора для создания и сопоставления с образцом с помощью синтаксиса CaseDef(pat, guard, body). Этот узел AST соответствует следующему коду Scala:

case pat if guard => body

Если guard отсутствует, то guard устанавливается в EmptyTree. Если body не указан, то body устанавливается в Literal(Constant(()))

Класс экстрактора для создания и сопоставления с образцом с помощью синтаксиса ClassDef(mods, name, tparams, impl). Этот узел AST соответствует следующему коду Scala:

mods class name [tparams] impl

Где impl означает:

extends parents { defs }

Пересечение типов <parent1> with ... with <parentN> { <decls> }, удаляется RefCheck

Класс экстрактора для создания и сопоставления с образцом с помощью синтаксиса CompoundTypeTree(templ). Этот узел AST соответствует следующему коду Scala:

parent1 with ... with parentN { refinement }

Класс-экстрактор для создания и сопоставления с образцом синтаксиса DefDef(mods, name, tparams, vparamss, tpt, rhs). Этот узел AST соответствует следующему коду Scala:

mods def name[tparams](vparams_1)...(vparams_n): tpt = rhs

Если тип возвращаемого значения не указан явно (т.е. должен быть выведен), это выражается наличием tpt , установленным в TypeTree() (но не в EmptyTree!).

Класс-экстрактор для создания и сопоставления с образцом синтаксиса ExistentialTypeTree(tpt, whereClauses). Этот узел AST соответствует следующему коду Scala:

tpt forSome { whereClauses }

Класс-экстрактор для создания и сопоставления с образцом синтаксиса Function(vparams, body). Этот узел AST соответствует следующему коду Scala:

vparams => body

Символ функции — это синтетический TermSymbol. Он является владельцем параметров функции.

Класс-экстрактор для создания и сопоставления с образцом синтаксиса Ident(qual, name). Этот узел AST соответствует следующему коду Scala:

name

Проверяющий типов преобразует идентификаторы, которые ссылаются на вложенные поля или методы, в выборки. Например, name ==> this.name

Класс-экстрактор для создания и сопоставления с образцом синтаксиса If(cond, thenp, elsep). Этот узел AST соответствует следующему коду Scala:

if (cond) thenp else elsep

Если альтернатива отсутствует, elsep устанавливается в значение Literal(Constant(())).

Класс-экстрактор для создания и сопоставления с образцом синтаксиса Import(expr, selectors). Этот узел AST соответствует следующему коду Scala:

import expr.{selectors}

Селекторы — список ImportSelectors, которые концептуально являются парами имён (from, to). Последнее (и возможно, единственное имя) может быть nme.WILDCARD. Например:

import qual.{w => _, x, y => z, _}

Будет представлено как:

Import(qual, List(("w", WILDCARD), ("x", "x"), ("y", "z"), (WILDCARD, null)))

Символ Import — это символ импорта @see Symbol.newImport. Он используется в основном для проверки того, что импорт был проанализирован по типам.

Селектор импорта (не дерево, но компонент дерева Import)

Представление импортируемого имени, его необязательного переименования и их необязательных позиций

Удаляется на этапе анализа по типам.

Класс-экстрактор для создания и сопоставления с образцом синтаксиса ImportSelector(name, namePos, rename, renamePos). Это не узел AST, он используется как часть узла Import.

Метка выражения. Не выражается в синтаксисе языка, но генерируется компилятором для имитации циклов while/do-while, а также для сопоставления с образцом.

Метка ведет себя как вложенная функция, где params представляет входные параметры. Символ, присваиваемый LabelDef, должен иметь MethodType, как если бы он был вложенной функцией.

Переходы — это узлы apply, приписанные символу метки. Аргументы из узла apply будут переданы метке и присвоены идентификаторам.

Разрешены прямые переходы в пределах блока.

Класс-экстрактор для создания и сопоставления с образцом синтаксиса LabelDef(name, params, rhs).

Этот узел AST не имеет непосредственного соответствия в коде Scala. Он используется для хвостовых вызовов и т. п. Например, while/do преобразуются в определения меток следующим образом:

while (cond) body ==> LabelDef($L, List(), if (cond) { body; L$() } else ())

do body while (cond) ==> LabelDef($L, List(), body; if (cond) L$() else ())

Класс-экстрактор для создания и сопоставления с образцом синтаксиса Literal(value). Этот узел AST соответствует следующему коду Scala:

value

- Выражение сопоставления с образцом (до стадии компиляции, explicitouter до 2.10 / patmat с 2.10)

Управляющие конструкции switch (после стадии компиляции, explicitouter до 2.10 / patmat с 2.10)

После стадии компиляции explicitouter до 2.10 / patmat с 2.10, ветви будут удовлетворять следующим ограничениям:

все условия EmptyTree,все шаблоны будут либо Literal(Constant(x:Int)) или Alternative(lit|...|lit) за исключением ветви «иначе», у которой шаблон Ident(nme.WILDCARD)

Класс-экстрактор для создания и сопоставления с образцом с синтаксисом Match(selector, cases). Этот узел AST соответствует следующему коду Scala:

селектор match { ветви }

Match также используется в операциях присваивания с сопоставлением с образцом, таких как val (foo, bar) = baz.

Класс-экстрактор для создания и сопоставления с образцом с синтаксисом Modifiers(flags, privateWithin, annotations). Модификаторы содержат флаги, атрибуты видимости и аннотации Scala для определений членов.

Определение объекта, например, object Foo. Внутренне объекты часто называют модулями, чтобы избежать неоднозначности. Устранён на фазе компиляции refcheck.

Класс-экстрактор для создания и сопоставления с образцом с синтаксисом ModuleDef(mods, name, impl). Этот узел AST соответствует следующему коду Scala:

mods object имя impl

Где impl обозначает:

extends родители { определения }

Узел дерева, содержащий имя, например, определяя его (DefTree) или ссылаясь на него (RefTree).

Присваивание или именованный аргумент. Появляется только в списках аргументов, удаляется на фазе компиляции typecheck (doTypedApply), восстанавливается реификатором.

Класс-экстрактор для создания и сопоставления с образцом с синтаксисом NamedArg(lhs, rhs). Этот узел AST соответствует следующему коду Scala:

m.f(lhs = rhs)

@annotation(lhs = rhs)

Класс-экстрактор для создания и сопоставления с образцом синтаксиса New(tpt). Этот узел AST соответствует следующему коду Scala:

new T

Этот узел всегда встречается в следующем контексте:

(new tpt).<init>[targs](args)

Например, представление AST для:

new Example[Int](2)(3)

выглядит следующим образом:

Apply( Apply( TypeApply( Select(New(TypeTree(typeOf[Example])), nme.CONSTRUCTOR) TypeTree(typeOf[Int])), List(Literal(Constant(2)))), List(Literal(Constant(3))))

Класс-экстрактор для создания и сопоставления с образцом синтаксиса PackageDef(pid, stats). Этот узел AST соответствует следующему коду Scala:

package pid { stats }

Узел, ссылающийся на сущность, имеющую символ. Ссылается на одну, а не определяет её; определения находятся в DefTrees.

Класс-экстрактор для создания и сопоставления с образцом синтаксиса RefTree(qual, name). Этот узел AST соответствует либо Ident, либо Select, либо SelectFromTypeTree.

Класс-экстрактор для создания и сопоставления с образцом синтаксиса Return(expr). Этот узел AST соответствует следующему коду Scala:

return expr

Символ узла Return — это метод, его окружающий.

Выбор члена <qualifier> . <name>

Класс-экстрактор для создания и сопоставления с образцом синтаксиса Select(qual, name). Этот узел AST соответствует следующему коду Scala:

qualifier.selector

Должен использоваться только с узлами qualifier являющимися терминами, то есть которые имеют isTerm возвращающие true. В противном случае следует использовать SelectFromTypeTree.

foo.Bar // представлено как Select(Ident(<foo>), <Bar>) Foo#Bar // представлено как SelectFromTypeTree(Ident(<Foo>), <Bar>)

An extractor class to create and pattern match with syntax SelectFromTypeTree(qualifier, name). This AST node corresponds to the following Scala code:

qualifier # selector

Note: a path-dependent type p.T is expressed as p.type # T

Should only be used with qualifier nodes which are types, i.e. which have isType returning true. Otherwise Select should be used instead.

Foo#Bar // represented as SelectFromTypeTree(Ident(<Foo>), <Bar>) foo.Bar // represented as Select(Ident(<foo>), <Bar>)

An extractor class to create and pattern match with syntax SingletonTypeTree(ref). This AST node corresponds to the following Scala code:

ref.type

Repetition of pattern.

Eliminated by compiler phases patmat (in the new pattern matcher of 2.10) or explicitouter (in the old pre-2.10 pattern matcher).

An extractor class to create and pattern match with syntax Star(elem). This AST node corresponds to the following Scala code:

pat*

Super reference, where qual is the corresponding this reference. A super reference C.super[M] is represented as Super(This(C), M).

An extractor class to create and pattern match with syntax Super(qual, mix). This AST node corresponds to the following Scala code:

C.super[M]

Which is represented as:

Super(This(C), M)

If mix is empty, it is tpnme.EMPTY.

The symbol of a Super is the class _from_ which the super reference is made. For instance in C.super(...), it would be C.

A tree that carries a symbol, e.g. by defining it (DefTree) or by referring to it (RefTree). Such trees start their life naked, returning NoSymbol, but after being typechecked without errors they hold non-empty symbols.

An extractor class to create and pattern match with syntax Template(parents, self, body). This AST node corresponds to the following Scala code:

extends parents { self => body }

In case when the self-type annotation is missing, it is represented as an empty value definition with nme.WILDCARD as name and NoType as type.

The symbol of a template is a local dummy. @see Symbol.newLocalDummy The owner of the local dummy is the enclosing trait or class. The local dummy is itself the owner of any local blocks. For example:

class C { def foo { // owner is C def bar // owner is local dummy } }

Дерево для выражения. Не все деревья, представляющие выражения, являются TermTrees; используйте isTerm для надёжной идентификации выражений.

Класс-экстрактор для создания и сопоставления с образцом с синтаксисом This(qual). Этот узел AST соответствует следующему коду Scala:

qual.this

Символ This — это класс, к которому относится this. Например, в C.this это будет C.

Класс-экстрактор для создания и сопоставления с образцом с синтаксисом Throw(expr). Этот узел AST соответствует следующему коду Scala:

throw expr

API, поддерживаемый всеми деревьями. Основным источником информации о деревьях является страница scala.reflect.api.Trees.

Класс-экстрактор для создания и сопоставления с образцом с синтаксисом Try(block, catches, finalizer). Этот узел AST соответствует следующему коду Scala:

try block catch { catches } finally finalizer

Если finalizer отсутствует, finalizer устанавливается в EmptyTree.

Дерево для типа. Не все деревья, представляющие типы, являются TypTrees; используйте isType для надёжной идентификации типов.

Класс-экстрактор для создания и сопоставления с образцом синтаксиса TypeApply(fun, args). Этот узел AST соответствует следующему коду Scala:

fun[args]

Должен использоваться только с узлами fun, которые являются терминами, т. е. которые имеют isTerm возвращающее true. В противном случае следует использовать AppliedTypeTree.

def foo[T] = ??? foo[Int] // представлено как TypeApply(Ident(<foo>), List(TypeTree(<Int>)))

List[Int] как в val x: List[Int] = ??? // представлено как AppliedTypeTree(Ident(<List>), List(TypeTree(<Int>)))

Класс-экстрактор для создания и сопоставления с образцом синтаксиса TypeBoundsTree(lo, hi). Этот узел AST соответствует следующему коду Scala:

>: lo <: hi

Абстрактный тип, параметр типа или псевдоним типа. Удаляется при стирании.

Класс-экстрактор для создания и сопоставления с образцом синтаксиса TypeDef(mods, name, tparams, rhs). Этот узел AST соответствует следующему коду Scala:

mods type name[tparams] = rhs

mods type name[tparams] >: lo <: hi

Первое использование иллюстрирует TypeDefs, представляющие псевдонимы типов и параметры типов. Второе использование иллюстрирует TypeDefs, представляющие абстрактные типы, где lo и hi оба TypeBoundsTrees, а Modifier.deferred установлено в mods.

Синтетическое дерево, содержащее произвольный тип. Не следует путать с TypTree, трактом для деревьев, используемых только для деревьев типов. TypeTree вставлены в нескольких местах, но в основном в RefCheck, где все произвольные деревья типов заменены TypeTree.

Класс-экстрактор для создания и сопоставления с образцом синтаксиса TypeTree(). Этот узел AST не имеет прямого соответствия коду Scala и выводится везде, когда мы хотим обернуть Type в Tree.

Класс-экстрактор для создания и сопоставления с образцом синтаксиса Typed(expr, tpt). Этот узел AST соответствует следующему коду Scala:

expr: tpt

Используется для представления unapply методов в сопоставлении с образцом.

Например:

2 match { case Foo(x) => x }

Представляется как:

Match(
  Literal(Constant(2)),
  List(
    CaseDef(
      UnApply(
        // a dummy node that carries the type of unapplication to patmat
        // the <unapply-selector> here doesn't have an underlying symbol
        // it only has a type assigned, therefore after `untypecheck` this tree is no longer typeable
        Apply(Select(Ident(Foo), TermName("unapply")), List(Ident(TermName("<unapply-selector>")))),
        // arguments of the unapply => nothing synthetic here
        List(Bind(TermName("x"), Ident(nme.WILDCARD)))),
      EmptyTree,
      Ident(TermName("x")))))

Введено модулем typer. Удалено фазами компиляции patmat (в новом сопоставителе шаблонов 2.10) или explicitouter (в старом сопоставителе шаблонов до 2.10).

Класс-экстрактор для создания и сопоставления с образцом синтаксиса UnApply(fun, args). Этот узел AST не имеет прямого соответствия в Scala-коде и вводится при проверке типов сопоставлений с образцом и try блоков.

В широком смысле, определение значения. Все эти элементы закодированы как ValDefs:

неизменяемые значения, например, "val x"изменяемые значения, например, "var x" - флаг MUTABLE установлен в modsленивые значения, например, "lazy val x" - флаг LAZY установлен в modsпараметры методов, см. vparamss в scala.reflect.api.Trees#DefDef - флаг PARAM установлен в modsявные типы "self", например, class A { self: Bar => }

Класс-экстрактор для создания и сопоставления с образцом синтаксиса ValDef(mods, name, tpt, rhs). Этот узел AST соответствует любому из следующих фрагментов Scala-кода:

mods val name: tpt = rhs

mods var name: tpt = rhs

mods name: tpt = rhs // в сигнатурах функций и определений методов

self: Bar => // типы "self"

Если тип значения не указан явно (т.е. предполагается вывод), это выражается тем, что tpt имеет значение TypeTree() (но не EmptyTree!).