Spec-Zone.ru › Scala 2.13 Reflection

Аннотация scala.reflect.api.Internals.FreeTermSymbol

abstract type FreeTermSymbol >: Null <: Universe.FreeTermSymbolApi with Universe.TermSymbol

Тип свободных терминов, введённых в результате реификации.

Source
Internals.scala
Линейные супертипы
<notype>, <notype>, Universe.FreeTermSymbolApi, Universe.TermSymbolApi, Universe.SymbolApi, AnyRef, Any

Типовые члены

final type 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 гарантированно будет true.

Definition Classes
SymbolApi

abstract def isProtected: Boolean

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

Definition Classes
SymbolApi

abstract def isProtectedThis: Boolean

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

Definition Classes
SymbolApi

abstract def isPublic: Boolean

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

Definition Classes
SymbolApi

abstract def isSetter: Boolean

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

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

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

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: Symbols.Symbol.NameType

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

Definition Classes
SymbolApi

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

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

Definition Classes
SymbolApi

abstract def origin: String

Место, где был создан этот символ

Definition Classes
FreeTermSymbolApi

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.

Definition Classes
SymbolApi

abstract def pos: Universe.Position

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

Definition Classes
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)

Definition Classes
SymbolApi

abstract def setter: Universe.Symbol

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

Definition Classes
TermSymbolApi

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

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

Definition Classes
SymbolApi

abstract def typeSignature: Universe.Type

Definition Classes
SymbolApi
См. также

info

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

Definition Classes
SymbolApi
См. также

infoIn

abstract def value: Any

Значение, к которому ссылается этот символ

Definition Classes
FreeTermSymbolApi

abstract def allOverriddenSymbols: List[Universe.Symbol]

Definition Classes
SymbolApi
Annotations
@deprecated
Deprecated

(Since version 2.11.0) используйте overrides вместо этого

См. также

overrides

abstract def associatedFile: AbstractFile

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

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

Definition Classes
SymbolApi
Annotations
@deprecated
Deprecated

(Since version 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/Internals$FreeTermSymbol.html

Spec-Zone.ru

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