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

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

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

Список всех базовых классов этого типа (включая его собственный typeSymbol) в порядке линеаризации, начиная с самого класса и заканчивая классом Any.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Представляет ли этот символ определение пользовательского класса значений? Иными словами, является ли AnyVal среди его родительских классов?

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

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

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

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

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

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

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

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

Представляет ли этот символ определение числового класса значений? Иными словами, является ли он одним из scala.Double, scala.Float, scala.Long, scala.Int, scala.Char, scala.Short, scala.Byte, scala.Unit или scala.Boolean?

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

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

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

Представляет ли этот символ определение примитивного класса? Иными словами, является ли он одним из scala.Double, scala.Float, scala.Long, scala.Int, scala.Char, scala.Short, scala.Byte, scala.Unit или scala.Boolean?

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

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

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

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

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

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

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

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

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

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

Если это запечатанный класс, его известные непосредственные подклассы. В противном случае — пустое множество.

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

Модуль, соответствующий этому классу модуля, или NoSymbol, если этот символ не является классом модуля.

Имя символа как члена типа 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 файлы классов, но и классы, определённые в программах 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)

Если этот символ — класс или трейт, его тип self, в противном случае — тип самого символа.

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

Тип C.super[M], где C — текущий класс, а M — supertpe.

Тип C.this, где C — текущий класс.

Ссылка на тип, которая ссылается на этот тип символа. Обратите внимание, что если символ является членом класса, то почти всегда требуется 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 class с тем же именем в том же пакете. Для модуля: класс с тем же именем в том же пакете. Для всех других: 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 верно.