Трейт scala.reflect.api.Internals.FreeTypeSymbolApi

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

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

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

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

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

Является ли этот символ статическим (т.е. без внешнего экземпляра)? В: Когда точно sym отмечается как 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 истинно.