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

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

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

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

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

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

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

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

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

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

Владелец этого символа. Это символ, который непосредственно содержит определение текущего символа. Символ 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)

Файл исходного кода, если этот символ создан во время этой компиляции, или файл класса, если этот символ загружен из *.class или *.jar.

Возвращаемый тип — scala.reflect.io.AbstractFile, который принадлежит экспериментальной части Scala Reflection. Не следует использовать, если вы не знаете, что делаете. В последующих релизах этот API будет уточнён и доступен как часть scala.reflect.api.

Для класса: модуль или фабрика case class с тем же именем в том же пакете. Для модуля: класс с тем же именем в том же пакете. Для всех остальных: NoSymbol.

Этот API может возвращать неожиданные результаты для модульных классов, пакетов и пакетированных классов. Используйте companion вместо, чтобы получить предсказуемые результаты.

Этот символ преобразуется в ClassSymbol, представляющий класс или трайт.

Этот символ преобразуется в MethodSymbol.

Этот символ преобразуется в ModuleSymbol, определённый с помощью определения объекта.

Этот символ преобразуется в TermSymbol.

Этот символ преобразуется в TypeSymbol.

Представляет ли этот символ определение модуля (т.е. получен из определения объекта)? Если да, то isTerm также гарантированно true.

Используется для предоставления более информативного сообщения об ошибке для asMethod.

Представляет ли этот символ определение термина? Обратите внимание, что каждый символ является либо термином, либо типом. Таким образом, для каждого символа sym (кроме NoSymbol), либо sym.isTerm true, либо sym.isType true.

Представляет ли этот символ определение типа? Обратите внимание, что каждый символ является либо термином, либо типом. Таким образом, для каждого символа sym (кроме NoSymbol), либо sym.isTerm true, либо sym.isType true.