Spec-Zone.ru › Scala 2.13 Reflection

Trait scala.reflect.api.Trees.TemplateApi

trait TemplateApi extends Universe.SymTreeApi

API, поддерживаемый всеми шаблонами

Self Type
Universe.Template
Source
Trees.scala
Линейные супертипы
Universe.SymTreeApi, Universe.TreeApi, Product, Equals, AnyRef, Any
Известные подклассы
Template

Краткое описание абстрактных членов-значений

абстрактный метод body: Список[ЭлементДерева]

абстрактный метод canEqual(that: Любой): Булево

Классы-определения
Equals

абстрактный метод canHaveAttrs: Булево

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

Классы-определения
TreeApi

абстрактный метод children: Список[ЭлементДерева]

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

Классы-определения
TreeApi

абстрактный метод collect[T](pf: ЧастичнаяФункция[ЭлементДерева, T]): Список[T]

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

Классы-определения
TreeApi

абстрактный метод duplicate: TemplateApi.this.type

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

Классы-определения
TreeApi

абстрактный метод equalsStructure(that: ЭлементДерева): Булево

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

Классы-определения
TreeApi

абстрактный метод exists(p: (ЭлементДерева) => Булево): Булево

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

Классы-определения
TreeApi

абстрактный метод filter(f: (ЭлементДерева) => Булево): Список[ЭлементДерева]

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

Классы-определения
TreeApi

абстрактный метод find(p: (ЭлементДерева) => Булево): Некоторые[ЭлементДерева]

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

Классы-определения
TreeApi

абстрактный метод forAll(p: (ЭлементДерева) => Булево): Булево

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

Классы-определения
TreeApi

абстрактный метод foreach(f: (ЭлементДерева) => Единица): Единица

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

Классы-определения
TreeApi

абстрактный метод isDef: Булево

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

Классы-определения
TreeApi

абстрактный метод isEmpty: Булево

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

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

Классы-определения
TreeApi
См. также

canHaveAttrs

абстрактный метод isTerm: Булево

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

Классы-определения
TreeApi

абстрактный def isType: Boolean

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

Классы-определения
TreeApi

абстрактный def nonEmpty: Boolean

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

Классы-определения
TreeApi
См. также

isEmpty

абстрактный def orElse(alt: => Universe.Tree): Universe.Tree

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

alt

Альтернативное дерево

возвращает

Если это дерево не пустое, это дерево, в противном случае alt.

Классы-определения
TreeApi

абстрактный def parents: List[Universe.Tree]

абстрактный def pos: Universe.Position

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

Классы-определения
TreeApi

абстрактный def productArity: Int

Классы-определения
Product

абстрактный def productElement(n: Int): Any

Классы-определения
Product

абстрактный def self: Universe.ValDef

Тип "self" шаблона. Равен noSelfType, если тип "self" не указан.

абстрактный def symbol: Universe.Symbol

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

Для большинства деревьев символ является null. В SymTree случаях он переопределяется и реализуется как переменная, инициализированная 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.
Классы-определения
SymTreeApi → TreeApi

абстрактный def tpe: Universe.Type

Тип дерева.

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

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

Классы-определения
TreeApi

абстрактный def withFilter(f: (Universe.Tree) => Boolean): List[Universe.Tree]

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

Классы-определения
TreeApi

Члены конкретных значений

final def !=(arg0: Any): Boolean

Определяющие классы
AnyRef → Any

final def ##(): Int

Определяющие классы
AnyRef → Any

def +(other: String): String

Неявный
Этот член добавлен благодаря неявной конверсии из Universe.TemplateApi вany2stringadd[Universe.TemplateApi] с помощью метода any2stringadd в scala.Predef.
Определяющие классы
any2stringadd

def ->[B](y: B): (Universe.TemplateApi, B)

Неявный
Этот член добавлен благодаря неявной конверсии из Universe.TemplateApi вArrowAssoc[Universe.TemplateApi] с помощью метода ArrowAssoc в scala.Predef.
Определяющие классы
ArrowAssoc
Аннотации
@inline()

final def ==(arg0: Any): Boolean

Определяющие классы
AnyRef → Any

final def asInstanceOf[T0]: T0

Определяющие классы
Any

def clone(): AnyRef

Атрибуты
protected[java.lang]
Определяющие классы
AnyRef
Аннотации
@throws(classOf[java.lang.CloneNotSupportedException]) @native()

def ensuring(cond: (Universe.TemplateApi) => Boolean, msg: => Any): Universe.TemplateApi

Неявный
Этот член добавлен благодаря неявной конверсии из Universe.TemplateApi вEnsuring[Universe.TemplateApi] с помощью метода Ensuring в scala.Predef.
Определяющие классы
Ensuring

def ensuring(cond: (Universe.TemplateApi) => Boolean): Universe.TemplateApi

Неявный
Этот член добавлен благодаря неявной конверсии из Universe.TemplateApi вEnsuring[Universe.TemplateApi] с помощью метода Ensuring в scala.Predef.
Определяющие классы
Ensuring

def ensuring(cond: Boolean, msg: => Any): Universe.TemplateApi

Неявный
Этот член добавлен благодаря неявной конверсии из Universe.TemplateApi вEnsuring[Universe.TemplateApi] с помощью метода Ensuring в scala.Predef.
Определяющие классы
Ensuring

def ensuring(cond: Boolean): Universe.TemplateApi

Неявный
Этот член добавлен благодаря неявной конверсии из Universe.TemplateApi вEnsuring[Universe.TemplateApi] с помощью метода Ensuring в scala.Predef.
Определяющие классы
Ensuring

final def eq(arg0: AnyRef): Boolean

Определяющие классы
AnyRef

def equals(arg0: AnyRef): Boolean

Определяющие классы
AnyRef → Any

def finalize(): Unit

Атрибуты
protected[java.lang]
Классы определений
AnyRef
Аннотации
@throws(classOf[java.lang.Throwable])

def formatted(fmtstr: String): String

Неявный
Этот член добавлен неявным преобразованием из Universe.TemplateApi вStringFormat[Universe.TemplateApi] с помощью метода StringFormat в scala.Predef.
Классы определений
StringFormat
Аннотации
@inline()

final def getClass(): Class[_ <: AnyRef]

Классы определений
AnyRef → Any
Аннотации
@native()

def hashCode(): Int

Классы определений
AnyRef → Any
Аннотации
@native()

final def isInstanceOf[T0]: Boolean

Классы определений
Any

final def ne(arg0: AnyRef): Boolean

Классы определений
AnyRef

final def notify(): Unit

Классы определений
AnyRef
Аннотации
@native()

final def notifyAll(): Unit

Классы определений
AnyRef
Аннотации
@native()

def productElementName(n: Int): String

Классы определений
Product

def productElementNames: Iterator[String]

Классы определений
Product

def productIterator: Iterator[Any]

Классы определений
Product

def productPrefix: String

Классы определений
Product

final def synchronized[T0](arg0: => T0): T0

Классы определений
AnyRef

def toString(): String

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

Классы определений
TreeApi → AnyRef → Any

final def wait(): Unit

Классы определений
AnyRef
Аннотации
@throws(classOf[java.lang.InterruptedException])

final def wait(arg0: Long, arg1: Int): Unit

Классы определений
AnyRef
Аннотации
@throws(classOf[java.lang.InterruptedException])

final def wait(arg0: Long): Unit

Классы определений
AnyRef
Аннотации
@throws(classOf[java.lang.InterruptedException]) @native()

© 2002-2019 EPFL, with contributions from Lightbend.
Licensed under the Apache License, Version 2.0.
https://www.scala-lang.org/api/2.13.0/scala-reflect/scala/reflect/api/Trees$TemplateApi.html

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API