Spec-Zone.ru › Scala 2.13 Reflection

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

трайт TypeApplyApi extends Universe.GenericApplyApi

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

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

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

абстрактный def args: Список[Universe.Дерево]

Аргументы применения.

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

абстрактный def canEqual(that: Любой): Булево

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

абстрактный def canHaveAttrs: Булево

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

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

абстрактный def children: Список[Universe.Дерево]

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

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

абстрактный def collect[T](pf: ЧастичнаяФункция[Universe.Дерево, T]): Список[T]

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

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

абстрактный def duplicate: TypeApplyApi.this.type

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

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

абстрактный def equalsStructure(that: Universe.Дерево): Булево

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

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

абстрактный def exists(p: (Universe.Дерево) => Булево): Булево

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

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

абстрактный def filter(f: (Universe.Дерево) => Булево): Список[Universe.Дерево]

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

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

абстрактный def find(p: (Universe.Дерево) => Булево): Некоторые[Universe.Дерево]

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

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

абстрактный def forAll(p: (Universe.Дерево) => Булево): Булево

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

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

абстрактный def foreach(f: (Universe.Дерево) => Единица): Единица

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

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

абстрактный def fun: Universe.Дерево

Целевое применение.

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

абстрактный def isDef: Булево

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

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

абстрактный def isEmpty: Булево

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

Пустые деревья: объект 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 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.
Классы определения
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: Любой): Boolean

Определяющие классы
AnyRef → Any

final def ##(): Int

Определяющие классы
AnyRef → Any

def +(other: String): String

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

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

Неявный
Этот член добавлен неявным преобразованием из Universe.TypeApplyApi вArrowAssoc[Universe.TypeApplyApi] с помощью метода ArrowAssoc в scala.Predef.
Определяющие классы
ArrowAssoc
Аннотации
@inline()

final def ==(arg0: Любой): 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.TypeApplyApi) => Boolean, msg: => Любой): Universe.TypeApplyApi

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

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

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

def ensuring(cond: Boolean, msg: => Любой): Universe.TypeApplyApi

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

def ensuring(cond: Boolean): Universe.TypeApplyApi

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

Spec-Zone.ru

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