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

Перегрузки этого символа.

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

Для класса: его компаньон-объект, если он существует. Для модуля или класса модуля: компаньон-класс модуля, если он существует. Для пакета или класса пакета: 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.

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

Для полиморфного типа — его параметры типа, для всех других типов — пустой список.

Файл исходного кода, если этот символ создан во время выполнения этой компиляции, или файл класса, если этот символ загружен из файла *.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 является истинным.