Spec-Zone.ru › Scala 2.13 Reflection

Особенность scala.reflect.api.Trees.IfApi

trait IfApi extends Universe.TermTreeApi

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

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

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

abstract def canEqual(that: Any): Boolean

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

abstract def canHaveAttrs: Boolean

Может ли это дерево содержать атрибуты (т.е. символы, типы или позиции)? Обычно ответ - да, за исключением объекта EmptyTree null и двух специальных синглетонов: 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 cond: Universe.Tree

abstract def duplicate: IfApi.this.type

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

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

abstract def elsep: Universe.Tree

Альтернатива if. Равно Literal(Constant(())) если не указано.

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

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

canHaveAttrs

abstract def isTerm: Boolean

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

Definition Classes
TreeApi

abstract def isType: Boolean

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

Definition Classes
TreeApi

abstract def nonEmpty: Boolean

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

Definition Classes
TreeApi
See also

isEmpty

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

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

alt

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

returns

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

Definition Classes
TreeApi

abstract def pos: Universe.Position

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

Definition Classes
TreeApi

abstract def productArity: Int

Definition Classes
Product

abstract def productElement(n: Int): Any

Definition Classes
Product

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

abstract def thenp: Universe.Tree

abstract def tpe: Universe.Type

Тип дерева.

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

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

Definition Classes
TreeApi

abstract 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

def +(other: String): String

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

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

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

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

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

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

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

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

def ensuring(cond: Boolean): Universe.IfApi

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

Spec-Zone.ru

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