Spec-Zone.ru › Scala 2.13 Reflection

Аннотация scala.reflect.api.Symbols.TermSymbol

абстрактный тип TermSymbol >: Null <: Universe.TermSymbolApi with Universe.Symbol

Тип символов термов, представляющих объявления val, var, def и object, а также пакеты и параметры значений.

Источник
Symbols.scala
Линейные супертипы
Universe.<refinement>, Universe.TermSymbolApi, Universe.SymbolApi, AnyRef, Any
Известные подклассы
FreeTermSymbol, MethodSymbol, ModuleSymbol

Типы-члены

final тип NameType = Universe.TermName

Символы термов имеют свои имена типа TermName.

Определения классов
TermSymbolApi → SymbolApi

Члены-значения абстрактного типа

abstract def accessed: Universe.Symbol

Базовое поле для метода-аксессора, NoSymbol для всех других символов терминов.

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

abstract def alternatives: List[Universe.Symbol]

Перегруженные альтернативы этого символа.

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

abstract def annotations: List[Universe.Annotation]

Список аннотаций, прикреплённых к этому символу.

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

abstract def companion: Universe.Symbol

Для класса: его компаньон-объект, если он существует. Для модуля или модульного класса: компаньон-класс модуля, если он существует. Для пакета или класса пакета: NoSymbol. Для всех остальных: NoSymbol.

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

abstract def filter(cond: (Universe.Symbol) => Boolean): Universe.Symbol

Фильтрует основанные альтернативы (или список с единственным элементом, состоящим из самого символа, если символ не перегружен). Возвращает перегруженный символ, если есть несколько совпадений. Возвращает NoSymbol, если совпадений нет.

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

abstract def fullName: String

Закодированное полное имя пути этого символа, где внешние и внутренние имена разделены точками.

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

abstract def getter: Universe.Symbol

Метод-получатель для базового поля val или val, NoSymbol для всех других символов терминов.

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

abstract def info: Universe.Type

Подпись типа этого символа.

Этот метод всегда возвращает подписи максимально обобщённым образом, даже если базовый символ получен из экземпляра обобщённого типа. Например, подпись метода def map[B](f: (A) => B): List[B], который относится к параметру типа A объявляющего класса List[A], всегда будет содержать A, независимо от того, загружен ли map из List[_] или из List[Int]. Чтобы получить подпись с соответствующим образом проинстанцированными параметрами типа, следует использовать infoIn.

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

abstract def infoIn(site: Universe.Type): Universe.Type

Подпись типа этого символа, рассматриваемого как член заданного типа site.

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

abstract def isAbstract: Boolean

Является ли этот символ абстрактным (т.е. абстрактный класс, абстрактный метод, значение или член типа)?

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

abstract def isAbstractOverride: Boolean

Отмечен ли этот символ как "абстрактная переопределённая" функция?

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

abstract def isAccessor: Boolean

Представляет ли этот символ метод-получатель или метод-установщик?

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

abstract def isByNameParam: Boolean

Представляет ли этот символ параметр по имени?

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

abstract def isCaseAccessor: Boolean

Представляет ли этот символ поле класса-случая, которое соответствует параметру в первом списке параметров первичного конструктора этого класса?

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

abstract def isConstructor: Boolean

Представляет ли этот метод конструктор?

Если owner — это класс, то это конструктор JVM по умолчанию. Если owner — это тракт, то это конструктор-микстин.

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

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

Является ли этот символ финальным?

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

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

Представляет ли этот символ геттер поля? Если да, то isMethod также гарантированно будет истинным.

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

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

Представляет ли этот символ артефакт реализации, не предназначенный для публичного использования? Примеры таких артефактов — мосты стирания и внешние поля.

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

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

Представляет ли этот символ неявное значение, определение, класс или параметр?

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

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

Определен ли этот символ Java?

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

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

Представляет ли этот символ интерфейс аннотации java?

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

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

Представляет ли этот символ класс перечисления java или значение перечисления java?

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

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

Представляет ли этот символ ленивое значение?

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

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

Является ли этот символ макросом?

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

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

Представляет ли этот символ перегруженный метод? Если да, то isMethod ложно, а список включённых альтернатив можно найти через alternatives.

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

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

Представляет ли этот символ определение пакета? Известные проблемы: https://github.com/scala/bug/issues/6732.

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

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

Представляет ли этот символ класс пакета? Если да, то isClass также гарантированно будет истинным.

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

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

Представляет ли этот символ поле класса, сгенерированное из параметра этого класса?

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

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

Представляет ли этот символ параметр с заданным значением по умолчанию?

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

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

Является ли этот символ параметром (параметром метода или параметром типа)?

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

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

Представляет ли этот символ частное объявление или определение? Если да, то privateWithin может рассказать больше о области видимости этого символа.

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

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

Представляет ли этот символ объявление или определение, записанное в исходном файле как private[this], или сгенерированное в виде дерева/символа с комбинацией флагов LOCAL и PRIVATE? Если да, то isPrivate гарантированно будет истинным.

Definition Classes
SymbolApi

abstract def isProtected: Boolean

Представляет ли этот символ защищённое объявление или определение? Если да, privateWithin может предоставить больше информации о области видимости этого символа.

Definition Classes
SymbolApi

abstract def isProtectedThis: Boolean

Представляет ли этот символ объявление или определение, записанное в исходном файле как protected[this], или сгенерированное в виде дерева/символа с комбинацией флагов LOCAL и PROTECTED? Если да, isProtected гарантированно будет истинным.

Definition Classes
SymbolApi

abstract def isPublic: Boolean

Представляет ли этот символ общедоступное объявление или определение?

Definition Classes
SymbolApi

abstract def isSetter: Boolean

Представляет ли этот символ установщик поля? Если да, isMethod также гарантированно будет истинным.

Definition Classes
TermSymbolApi

abstract def isSpecialized: Boolean

Является ли этот символ специализированным параметром типа или сгенерированным специализированным членом?

Definition Classes
SymbolApi

abstract def isStable: Boolean

Обозначает ли этот символ стабильное значение?

Definition Classes
TermSymbolApi

abstract def isStatic: Boolean

Является ли этот символ статическим (т.е. без внешнего экземпляра)? В: Когда именно сим получает метку STATIC? О: Если это член глобального объекта, или объекта, содержащегося в глобальном объекте, или на любом количестве уровней вглубь. http://groups.google.com/group/scala-internals/browse_thread/thread/d385bcd60b08faf6

Definition Classes
SymbolApi

abstract def isSynthetic: Boolean

Представляет ли этот символ синтетический (т.е. сгенерированный компилятором) сущность? Примеры синтетических сущностей - аксессоры для vals и vars.

Definition Classes
SymbolApi

abstract def isVal: Boolean

Является ли этот символ введённым как val?

Definition Classes
TermSymbolApi

abstract def isVar: Boolean

Является ли этот символ введённым как var?

Definition Classes
TermSymbolApi

abstract def map(f: (Universe.Symbol) => Universe.Symbol): Universe.Symbol

Если это NoSymbol, возвращает NoSymbol, в противном случае возвращает результат применения f к этому символу.

Definition Classes
SymbolApi

abstract def name: Symbol.NameType

Имя символа как члена типа Name.

Definition Classes
SymbolApi

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

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

Definition Classes
SymbolApi

abstract def overrides: List[Universe.Symbol]

Возвращает все символы, переопределенные этим символом.

Definition Classes
SymbolApi

abstract def owner: Universe.Symbol

Владелец этого символа. Это символ, который непосредственно содержит определение текущего символа. У символа NoSymbol нет владельца, и вызов этого метода для такого символа вызывает внутреннюю ошибку. Владелец корневого класса Scala scala.reflect.api.Mirror.RootClass и корневого объекта Scala scala.reflect.api.Mirror.RootPackage — NoSymbol. Каждый другой символ имеет цепочку владельцев, которая заканчивается scala.reflect.api.Mirror.RootClass.

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

abstract def pos: Universe.Position

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

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

abstract def privateWithin: Universe.Symbol

Устанавливается, когда символ имеет модификатор в формате private[X] или protected[X], иначе NoSymbol.

Кодирование уровня доступа: есть три флага Scala (PRIVATE, PROTECTED и LOCAL), которые в сочетании со значением privateWithin («foo» в private[foo]) определяют, откуда можно получить доступ к сущности. Значения следующие:

Доступ PRIVATE ограничен только классом. Доступ PROTECTED ограничен классом и его подклассами. LOCAL может быть установлен только в сочетании с PRIVATE или PROTECTED. Дополнительно ограничивает доступ к тому же экземпляру объекта.

Кроме того, privateWithin может быть использован для установки барьера видимости. При установке у всех элементов в указанном вложенном пакете или классе есть доступ. Он несовместим с PRIVATE или LOCAL, но совместим с PROTECTED (т.е. если доступ разрешен флагами или privateWithin, то он разрешен).

Уровни доступа Java переводятся следующим образом:

java private: isPrivate && (privateWithin == NoSymbol) java package: !isPrivate && !isProtected && (privateWithin == enclosingPackage) java protected: isProtected && (privateWithin == enclosingPackage) java public: !isPrivate && !isProtected && (privateWithin == NoSymbol)

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

abstract def setter: Universe.Symbol

Метод-сеттер для вспомогательного поля val или var, NoSymbol для всех других символов термов.

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

abstract def suchThat(cond: (Universe.Symbol) => Boolean): Universe.Symbol

Выполняет то же, что и filter, но аварийно завершается, если совпадений несколько.

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

abstract def typeSignature: Universe.Type

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

info

abstract def typeSignatureIn(site: Universe.Type): Universe.Type

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

infoIn

abstract def allOverriddenSymbols: List[Universe.Symbol]

Определяющие классы
SymbolApi
Аннотации
@deprecated
Устаревшее

(С версии 2.11.0) используйте overrides вместо

См. также

overrides

abstract def associatedFile: AbstractFile

Файл исходного кода, если этот символ создан во время текущей компиляции, или файл класса, если этот символ загружен из файла *.class или *.jar.

Возвращаемый тип — scala.reflect.io.AbstractFile, который относится к экспериментальной части Scala reflection. Не следует использовать, если вы не знаете, что делаете. В последующих версиях этот API будет доработан и представлен как часть scala.reflect.api.

Определяющие классы
SymbolApi
Аннотации
@deprecated
Устаревшее

(С версии 2.11.0) используйте pos.source.file вместо

abstract def companionSymbol: Universe.Symbol

Для класса: модуль или фабрика case класса с тем же именем в том же пакете. Для модуля: класс с тем же именем в том же пакете. Для всех остальных: NoSymbol.

Этот API может возвращать непредсказуемые результаты для модулей, пакетов и пакетов-классов. Используйте companion для получения предсказуемых результатов.

Определяющие классы
SymbolApi
Аннотации
@deprecated
Устаревшее

(С версии 2.11.0) используйте companion вместо, но имейте в виду возможные изменения в поведении

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

final def !=(arg0: Any): Boolean

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

final def ##(): Int

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

final def ==(arg0: Any): Boolean

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

def asClass: Universe.ClassSymbol

Этот символ преобразуется в ClassSymbol, представляющий класс или трайт.

Определяющие классы
SymbolApi
Исключения

ScalaReflectionException, если isClass ложно.

final def asInstanceOf[T0]: T0

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

def asMethod: Universe.MethodSymbol

Этот символ преобразуется в MethodSymbol.

Определяющие классы
SymbolApi
Исключения

ScalaReflectionException, если isMethod ложно.

def asModule: Universe.ModuleSymbol

Этот символ преобразуется в ModuleSymbol, определённый объектом.

Определяющие классы
SymbolApi
Исключения

ScalaReflectionException, если isModule ложно.

final def asTerm: Universe.TermSymbol

Этот символ преобразуется в TermSymbol.

Определяющие классы
TermSymbolApi → SymbolApi
Исключения

ScalaReflectionException, если isTerm ложно.

def asType: Universe.TypeSymbol

Этот символ преобразуется в TypeSymbol.

Определяющие классы
SymbolApi
Исключения

ScalaReflectionException, если isType ложно.

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

def isClass: Boolean

Представляет ли этот символ определение класса или трайта? Если да, то isType также гарантированно истинно.

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

final def isInstanceOf[T0]: Boolean

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

def isMethod: Boolean

Представляет ли этот символ определение метода? Если да, то isTerm также гарантированно истинно.

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

def isModule: Boolean

Представляет ли этот символ определение модуля (т.е. получен ли он из определения объекта)? Если да, то isTerm также гарантированно будет истинным.

Definition Classes
SymbolApi

def isModuleClass: Boolean

Представляет ли этот символ определение класса, неявным образом связанного с определением объекта (класс модуля в терминах компилятора Scala)? Если да, то isType также гарантированно будет истинным.

Definition Classes
SymbolApi

def isOverloadedMethod: Boolean

Используется для предоставления более информативного сообщения об ошибке для asMethod

Attributes
protected
Definition Classes
TermSymbolApi → SymbolApi

final def isTerm: Boolean

Представляет ли этот символ определение термина? Обратите внимание, что каждый символ является либо термином, либо типом. Поэтому для каждого символа sym (кроме NoSymbol), либо sym.isTerm является истинным, либо sym.isType является истинным.

Definition Classes
TermSymbolApi → SymbolApi

def isType: Boolean

Представляет ли этот символ определение типа? Обратите внимание, что каждый символ является либо термином, либо типом. Поэтому для каждого символа sym (кроме NoSymbol), либо sym.isTerm является истинным, либо sym.isType является истинным.

Definition Classes
SymbolApi

final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef

final def notify(): Unit

Definition Classes
AnyRef
Annotations
@native()

final def notifyAll(): Unit

Definition Classes
AnyRef
Annotations
@native()

final def synchronized[T0](arg0: => T0): T0

Definition Classes
AnyRef

def toString(): String

Definition Classes
AnyRef → Any

final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException])

final def wait(arg0: Long, arg1: Int): Unit

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

Spec-Zone.ru

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