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

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

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

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