Spec-Zone.ru › Scala 2.13 Reflection

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

тракт TypTreeApi extends Universe.TreeApi

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

Тип объекта
Universe.TypTree
Источник
Trees.scala
Линейные супертипы
Universe.TreeApi, Product, Equals, AnyRef, Any
Известные подклассы
AppliedTypeTree, AppliedTypeTreeApi, CompoundTypeTree, CompoundTypeTreeApi, ExistentialTypeTree, ExistentialTypeTreeApi, SelectFromTypeTree, SelectFromTypeTreeApi, SingletonTypeTree, SingletonTypeTreeApi, TypTree, TypeBoundsTree, TypeBoundsTreeApi, TypeTree, TypeTreeApi

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

abstract def canEqual(that: Any): Boolean

Определение классов
Equals

abstract def canHaveAttrs: Boolean

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

Определение классов
TreeApi

abstract def children: List[Universe.Tree]

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

Определение классов
TreeApi

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

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

Определение классов
TreeApi

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

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

возвращает

Если это дерево непустое, то это дерево, иначе 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 случаях он переопределяется и реализуется как переменная, инициализированная 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.
Определяющие классы
TreeApi

abstract def tpe: Universe.Type

Тип дерева.

При создании у большинства деревьев их tpe устанавливается в null. Типы обычно присваиваются деревьям во время проверки типов. Некоторые методы фабрики узлов устанавливают 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.TypTreeApi вany2stringadd[Universe.TypTreeApi] выполненного методом any2stringadd в scala.Predef.
Определяющие классы
any2stringadd

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

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

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

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

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

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

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

def ensuring(cond: Boolean): Universe.TypTreeApi

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

Spec-Zone.ru

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