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

Вспомогательное поле для метода доступа, NoSymbol для всех остальных символов членов.

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

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

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

Исключения, которые, как известно, вызывает этот метод. Для методов Scala список вычисляется из аннотаций throws, присутствующих в методе. Для методов Java список вычисляется из throws-блоков, прикрепленных к методу и хранящихся в байт-коде.

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

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

Метод-получатель для вспомогательного поля val или var, NoSymbol для всех остальных символов членов.

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

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

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

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

Отмечен ли этот символ как "abstract override"?

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Представляет ли этот символ перегруженный метод? Если да, то isMethod ложно, а список вложенных альтернатив можно найти с помощью alternatives.

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

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

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

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

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

Обозначает ли этот символ первичный конструктор своего окружающего класса?

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

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

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

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

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

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

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

Обозначает ли этот символ стабильное значение?

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

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

Введен ли этот символ как val?

Введен ли этот символ как var?

Поддерживает ли этот метод списки аргументов переменной длины?

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

Имя символа как члена типа Name.

Предоставляет альтернативу, если символ является NoSymbol.

Возвращает все символы, переопределяемые этим символом.

Владелец этого символа. Это символ, который непосредственно содержит определение текущего символа. Символ NoSymbol не имеет владельца, и вызов этого метода для него приводит к внутренней ошибке. Владелец корневого класса Scala scala.reflect.api.Mirror.RootClass и корневого объекта Scala scala.reflect.api.Mirror.RootPackage — это NoSymbol. У любого другого символа есть цепочка владельцев, которая заканчивается scala.reflect.api.Mirror.RootClass.

Все списки параметров метода.

Может использоваться для различения нульарных методов и методов с пустыми списками параметров. Для нульарного метода возвращает пустой список (т.е. List()). Для метода с пустым списком параметров возвращает список, содержащий пустой список (т.е. List(List())).

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

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

Тип возвращаемого значения метода.

Метод-сеттер для вспомогательного поля val или вала, NoSymbol для всех других символов термов.

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

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

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