Трейт scala.reflect.api.Symbols.TypeSymbolApi

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

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

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

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

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

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

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

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

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

Отмечен ли этот символ как «абстрактный переопределение»?

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

Если owner является классом, то это обычный JVM-конструктор. Если owner является трайтом, то это конструктор миксина.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Устанавливается, когда символ имеет модификатор вида 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)

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

Ссылка на тип, который ссылается на этот символ типа. Обратите внимание, что если символ является членом класса, то почти всегда требуется asTypeIn с типом места вместо него.

Пример: Дано объявление класса class C[T] { ... } , которое генерирует символ C. Тогда C.toType является типом C[T].

В противоположность этому C.info будет подписью типа вида PolyType(ClassInfoType(...)), которая описывает параметры типа, параметры значения, родительские типы и члены C.

Конструктор типа, соответствующий этому символу типа. Это отличается от toType тем, что параметры типа являются частью результатов toType, но не toTypeConstructor.

Пример: Дано объявление класса class C[T] { ... } , которое генерирует символ C. Тогда C.toType - это тип C[T], но C.toTypeConstructor - это C.

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

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

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

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

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

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

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

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

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

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

Обозначает ли этот символ определение класса или трейта? Если да, то isType также гарантированно истинно.

Обозначает ли этот символ определение метода? Если да, то isTerm также гарантированно истинно.

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

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

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

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

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