Spec-Zone.ru › Scala 2.13 Reflection

Тракт scala.reflect.api.Trees.FunctionApi

тракт FunctionApi extends Universe.TermTreeApi with Universe.SymTreeApi

API, поддерживаемый всеми функциями

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

Резюме абстрактных членов значений

абстрактный метод body: Universe.Tree

абстрактный метод canEqual(that: Any): Boolean

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

абстрактный метод canHaveAttrs: Boolean

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

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

абстрактный метод children: List[Universe.Tree]

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

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

абстрактный метод collect[T](pf: PartialFunction[Universe.Tree, T]): List[T]

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

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

абстрактный метод duplicate: FunctionApi.this.type

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

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

абстрактный метод equalsStructure(that: Universe.Tree): Boolean

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

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

абстрактный метод exists(p: (Universe.Tree) => Boolean): Boolean

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

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

абстрактный метод filter(f: (Universe.Tree) => Boolean): List[Universe.Tree]

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

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

абстрактный метод find(p: (Universe.Tree) => Boolean): Option[Universe.Tree]

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

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

абстрактный метод forAll(p: (Universe.Tree) => Boolean): Boolean

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

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

абстрактный метод foreach(f: (Universe.Tree) => Unit): Unit

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

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

абстрактный метод isDef: Boolean

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

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

абстрактный метод isEmpty: Boolean

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

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

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

canHaveAttrs

абстрактный метод 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. В SymTrees это переопределяется и реализуется с переменной, инициализированной NoSymbol.

Деревья, которые не являются SymTrees, но которые несут символы, делают это, переопределяя 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

abstract def tpe: Universe.Type

Тип дерева.

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

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

Definition Classes
TreeApi

abstract def vparams: List[Universe.ValDef]

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

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

Definition Classes
TreeApi

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

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any

final def ##(): Int

Definition Classes
AnyRef → Any

def +(other: String): String

Implicit
Этот член добавлен неявным преобразованием из Universe.FunctionApi вany2stringadd[Universe.FunctionApi] с помощью метода any2stringadd в scala.Predef.
Definition Classes
any2stringadd

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

Implicit
Этот член добавлен неявным преобразованием из Universe.FunctionApi вArrowAssoc[Universe.FunctionApi] с помощью метода ArrowAssoc в scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()

final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any

final def asInstanceOf[T0]: T0

Definition Classes
Any

def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.CloneNotSupportedException]) @native()

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

Implicit
Этот член добавлен неявным преобразованием из Universe.FunctionApi вEnsuring[Universe.FunctionApi] с помощью метода Ensuring в scala.Predef.
Definition Classes
Ensuring

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

Implicit
Этот член добавлен неявным преобразованием из Universe.FunctionApi вEnsuring[Universe.FunctionApi] с помощью метода Ensuring в scala.Predef.
Definition Classes
Ensuring

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

Implicit
Этот член добавлен неявным преобразованием из Universe.FunctionApi вEnsuring[Universe.FunctionApi] с помощью метода Ensuring в scala.Predef.
Definition Classes
Ensuring

def ensuring(cond: Boolean): Universe.FunctionApi

Implicit
Этот член добавлен неявным преобразованием из Universe.FunctionApi вEnsuring[Universe.FunctionApi] с помощью метода Ensuring в scala.Predef.
Definition Classes
Ensuring

final def eq(arg0: AnyRef): Boolean

Definition Classes
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.FunctionApi вStringFormat[Universe.FunctionApi] с помощью метода 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$FunctionApi.html

Spec-Zone.ru

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