Spec-Zone.ru › Scala 2.13 Reflection

Trait scala.reflect.api.Trees.BindApi

trait BindApi extends Universe.DefTreeApi

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

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

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

abstract def body: Universe.Tree

Шаблон, представляющий этот фрагмент сопоставленного выражения. Часть List(x, y) в list @ List(x, y). Равно EmptyTree, если шаблон не указан, как в case x => x.

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]

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

Definition Classes
TreeApi

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

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

Definition Classes
TreeApi

abstract def duplicate: BindApi.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 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

abstract def isType: Boolean

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

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

abstract def name: Universe.Name

Имя, которое можно использовать для ссылки на этот фрагмент сопоставленного выражения. Часть list list @ List(x, y).

Классы-определения
BindApi → DefTreeApi → NameTreeApi

abstract def nonEmpty: Boolean

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

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

isEmpty

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

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

alt

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

возвращает

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

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

abstract def pos: Universe.Position

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

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

abstract def productArity: Int

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

abstract def productElement(n: Int): Any

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

abstract def symbol: Universe.Symbol

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

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

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

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

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

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

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

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

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

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

def ensuring(cond: Boolean): Universe.BindApi

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

Spec-Zone.ru

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