Spec-Zone.ru › Scala 2.13 Reflection

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

trait TypedApi extends Universe.TermTreeApi

API, поддерживаемый всеми типами

Self Type
Universe.Typed
Source
Trees.scala
Linear Supertypes
Universe.TermTreeApi, Universe.TreeApi, Product, Equals, AnyRef, Any
Known Subclasses
Typed

Абстрактные члены-значения

abstract def canEqual(that: Any): Boolean

Definition Classes
Equals

abstract def canHaveAttrs: Boolean

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

Definition Classes
TreeApi

abstract def children: List[Universe.Tree]

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

Definition Classes
TreeApi

abstract def collect[T](pf: PartialFunction[Universe.Tree, T]): List[T]

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

Definition Classes
TreeApi

abstract def duplicate: TypedApi.this.type

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

Definition Classes
TreeApi

abstract def equalsStructure(that: Universe.Tree): Boolean

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

Definition Classes
TreeApi

abstract def exists(p: (Universe.Tree) => Boolean): Boolean

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

Definition Classes
TreeApi

abstract def expr: Universe.Tree

abstract def filter(f: (Universe.Tree) => Boolean): List[Universe.Tree]

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

Definition Classes
TreeApi

abstract def find(p: (Universe.Tree) => Boolean): Option[Universe.Tree]

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

Definition Classes
TreeApi

abstract def forAll(p: (Universe.Tree) => Boolean): Boolean

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

Definition Classes
TreeApi

abstract def foreach(f: (Universe.Tree) => Unit): Unit

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

Definition Classes
TreeApi

abstract def isDef: Boolean

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

Definition Classes
TreeApi

abstract def isEmpty: Boolean

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

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

Definition Classes
TreeApi
See also

canHaveAttrs

abstract def isTerm: Boolean

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

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

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

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

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

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

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

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

isEmpty

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

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

alt

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

возвращает

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

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

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

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

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

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

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

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

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

абстрактный 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.
Классы-определения
TreeApi

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

Тип дерева.

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

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

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

абстрактный def tpt: Universe.Tree

абстрактный 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.TypedApi вany2stringadd[Universe.TypedApi] с помощью метода any2stringadd в scala.Predef.
Определяющие классы
any2stringadd

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

Неявный
Этот член добавлен с помощью неявного преобразования из Universe.TypedApi вArrowAssoc[Universe.TypedApi] с помощью метода 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.TypedApi) => Boolean, msg: => Any): Universe.TypedApi

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

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

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

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

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

def ensuring(cond: Boolean): Universe.TypedApi

Неявный
Этот член добавлен с помощью неявного преобразования из Universe.TypedApi вEnsuring[Universe.TypedApi] с помощью метода 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.TypedApi вStringFormat[Universe.TypedApi] с помощью метода 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$TypedApi.html

Spec-Zone.ru

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