Spec-Zone.ru › Scala 2.13 Reflection

Аннотация scala.reflect.api.Trees.Bind

абстрактный тип Bind >: Null <: Universe.BindApi with Universe.DefTree

Связывает переменную с образцом правой части.

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

Источник
Trees.scala
Линейные супертипы
Universe.<refinement>, Universe.<refinement>, Universe.<refinement>, Universe.<refinement>, Universe.BindApi, Universe.DefTreeApi, Universe.NameTreeApi, Universe.SymTreeApi, Universe.TreeApi, Product, Equals, AnyRef, Any

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

abstract def body: Universe.Tree

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

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

abstract def canEqual(that: Any): Boolean

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

abstract def canHaveAttrs: Boolean

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

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

abstract def children: List[Universe.Tree]

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

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

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

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

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

abstract def duplicate: TreeApi.this.type

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

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

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

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

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

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

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

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

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 и экземпляры TypeTree, которые не содержат тип.

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

canHaveAttrs

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

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

Definition Classes
TreeApi

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

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

Definition Classes
TreeApi

абстрактный def name: Universe.Name

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

Definition Classes
BindApi → DefTreeApi → NameTreeApi

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

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

Definition Classes
TreeApi
См. также

isEmpty

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

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

alt

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

returns

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

Definition Classes
TreeApi

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

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

Definition Classes
TreeApi

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

Definition Classes
Product

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

Definition Classes
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.
Definition Classes
SymTreeApi → TreeApi

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

Тип дерева.

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

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

Definition Classes
TreeApi

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

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

Definition Classes
TreeApi

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

final def !=(arg0: Any): Boolean

Определения классов
AnyRef → Any

final def ##(): Int

Определения классов
AnyRef → Any

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()

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])

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

Definition Classes
AnyRef
Annotations
@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$Bind.html

Spec-Zone.ru

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