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

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

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

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

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

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

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

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

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

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

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

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

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

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

Является ли параметр типа, представленный этим символом, контравариантным?

Является ли параметр типа, представленный этим символом, ковариантным?

Представляет ли этот символ связанный экзистенциально тип?

Является ли этот символ final?

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

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

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

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

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

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

Представляет ли этот символ определение пакета? Известные проблемы: 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.

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

Для класса или модульного класса Scala - первичный конструктор класса. Для тракта Scala - его конструктор миксинов. Для класса пакета Scala - NoSymbol. Для Java-класса - NoSymbol.

Известные проблемы: из-за scala/bug#8367, primaryConstructor может возвращать неожиданные результаты, когда вызывается для Java-классов (для некоторого смутного определения "Java-класса", который, по-видимому, включает не только сгенерированные javac classfiles, но также и классы, определенные в программах Scala в пакете java.lang). Что еще хуже, для некоторых Java-классов мы не можем даже гарантировать стабильность возвращаемого значения - в зависимости от вашей конфигурации загрузчика классов и/или версии JDK, вы можете получить разные primaryConstructor для одного и того же ClassSymbol. Эти проблемы зарегистрированы в scala/bug#8193.

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