Spec-Zone.ru › Scala 2.13 Reflection

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

trait BlockApi extends Universe.TermTreeApi

API, который поддерживают все блоки

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

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

abstract def canEqual(that: Any): Boolean

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

abstract def canHaveAttrs: Boolean

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

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

abstract def children: List[Universe.Tree]

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

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

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

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

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

abstract def duplicate: BlockApi.this.type

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

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

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

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

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

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

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

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

abstract def expr: Universe.Tree

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

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

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

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

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

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

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

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

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

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

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

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

abstract def isDef: Boolean

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

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

abstract def isEmpty: Boolean

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

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

Определяющие классы
TreeApi
См. также

canHaveAttrs

abstract def isTerm: Boolean

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

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

abstract def isType: Boolean

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

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

abstract def nonEmpty: Boolean

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

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

isEmpty

abstract def orElse(alt: => Universe.Tree): Universe.Tree

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

alt

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

returns

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

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

abstract def pos: Universe.Position

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

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

abstract def productArity: Int

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

abstract def productElement(n: Int): Any

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

abstract def stats: List[Universe.Tree]

Все выражения в блоке, кроме последнего. Может быть пустым списком.

abstract 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

abstract def tpe: Universe.Type

Тип дерева.

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

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

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

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

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

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

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

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

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

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

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

def ensuring(cond: Boolean): Universe.BlockApi

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

Spec-Zone.ru

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