Term symbols have their names of type TermName.
Term symbols have their names of type TermName.
The overloaded alternatives of this symbol
The overloaded alternatives of this symbol
For a class: the module or case class factory with the same name in the same package.
For a class: the module or case class factory with the same name in the same package. For a module: the class with the same name in the same package. For all others: NoSymbol
If this symbol is a package class, this symbol; otherwise the next enclosing
package class, or NoSymbol if none exists.
If this symbol is a package class, this symbol; otherwise the next enclosing
package class, or NoSymbol if none exists.
If this symbol is a top-level class, this symbol; otherwise the next enclosing
top-level class, or NoSymbol if none exists.
If this symbol is a top-level class, this symbol; otherwise the next enclosing
top-level class, or NoSymbol if none exists.
.
...
The encoded full path name of this symbol, where outer names and inner names are separated by periods.
The encoded full path name of this symbol, where outer names and inner names are separated by periods.
A list of annotations attached to this Symbol.
A list of annotations attached to this Symbol.
Whether this symbol carries an annotation for which the given symbol is its typeSymbol.
Whether this symbol carries an annotation for which the given symbol is its typeSymbol.
An id number which is unique for all symbols in this universe
An id number which is unique for all symbols in this universe
Does this symbol represent the definition of an abstract type?
If yes, isType is also guaranteed to be true.
Does this symbol represent the definition of an abstract type?
If yes, isType is also guaranteed to be true.
Does this symbol represent a getter or a setter?
Does this symbol represent a getter or a setter?
Does this symbol represent the definition of a type alias?
If yes, isType is also guaranteed to be true.
Does this symbol represent the definition of a type alias?
If yes, isType is also guaranteed to be true.
Does this symbol represent the definition of a custom value class? Namely, is AnyVal among its parent classes? TODO: Why not just have in reflect.
Does this symbol represent the definition of a custom value class? Namely, is AnyVal among its parent classes? TODO: Why not just have in reflect.internal? [Eugene++] because it's useful for macros
Does this symbol or its underlying type represent a typechecking error?
Does this symbol or its underlying type represent a typechecking error?
Does this symbol represent an existentially bound type?
If yes, isType is also guaranteed to be true.
Does this symbol represent an existentially bound type?
If yes, isType is also guaranteed to be true.
Does this symbol represent a getter of a field?
If yes, isTerm and isMethod are also guaranteed to be true.
Does this symbol represent a getter of a field?
If yes, isTerm and isMethod are also guaranteed to be true.
Can this symbol be loaded by a reflective mirror?
Can this symbol be loaded by a reflective mirror?
Scalac relies on ScalaSignature' annotation to retain symbols across compilation runs.
Such annotations (also called "pickles") are applied on top-level classes and include information
about all symbols reachable from the annotee. However, local symbols (e.g. classes or definitions local to a block)
are typically unreachable and information about them gets lost.
This method is useful for macro writers who wish to save certain ASTs to be used at runtime.
With isLocatable' it's possible to check whether a tree can be retained as is, or it needs special treatment.
Does this symbol represent the definition of a numeric value class? Namely, is it one of scala.Double, scala.Float, scala.Long, scala.Int, scala.Char, scala.Short, scala.Byte, scala.Unit or scala.Boolean?
Does this symbol represent the definition of a numeric value class? Namely, is it one of scala.Double, scala.Float, scala.Long, scala.Int, scala.Char, scala.Short, scala.Byte, scala.Unit or scala.Boolean?
Is this symbol an overloaded method?
Is this symbol an overloaded method?
Does this symbol represent the definition of a package?
If yes, isTerm is also guaranteed to be true.
Does this symbol represent the definition of a package?
If yes, isTerm is also guaranteed to be true.
Does this symbol represent a package class?
If yes, isClass is also guaranteed to be true.
Does this symbol represent a package class?
If yes, isClass is also guaranteed to be true.
Does this symbol represent the definition of a primitive class? Namely, is it one of scala.Double, scala.Float, scala.Long, scala.Int, scala.Char, scala.Short, scala.Byte, scala.Unit or scala.Boolean?
Does this symbol represent the definition of a primitive class? Namely, is it one of scala.Double, scala.Float, scala.Long, scala.Int, scala.Char, scala.Short, scala.Byte, scala.Unit or scala.Boolean?
Does this symbol represent a setter of a field?
If yes, isTerm and isMethod are also guaranteed to be true.
Does this symbol represent a setter of a field?
If yes, isTerm and isMethod are also guaranteed to be true.
Does this symbol denote a stable value?
Does this symbol denote a stable value?
Is this symbol static (i.
Is this symbol static (i.e. with no outer instance)? Q: When exactly is a sym marked as STATIC? A: If it's a member of a toplevel object, or of an object contained in a toplevel object, or any number of levels deep. http://groups.google.com/group/scala-internals/browse_thread/thread/d385bcd60b08faf6
Does this symbol represent a value, i.
Does this symbol represent a value, i.e. not a module and not a method?
If yes, isTerm is also guaranteed to be true.
[Eugene++] I need a review of the implementation
Does this symbol represent a mutable value?
If yes, isTerm and isValue are also guaranteed to be true.
Does this symbol represent a mutable value?
If yes, isTerm and isValue are also guaranteed to be true.
The string discriminator of this symbol; useful for debugging
The string discriminator of this symbol; useful for debugging
If this is a NoSymbol, returns NoSymbol, otherwise
returns the result of applying f to this symbol.
If this is a NoSymbol, returns NoSymbol, otherwise
returns the result of applying f to this symbol.
The name of the symbol as a member of the Name type.
The name of the symbol as a member of the Name type.
.
...
The place where this symbol has been spawned
The owner of this symbol.
The owner of this symbol. This is the symbol
that directly contains the current symbol's definition.
The NoSymbol symbol does not have an owner, and calling this method
on one causes an internal error.
The owner of the Scala root class scala.reflect.api.mirror.RootClass
and the Scala root object scala.reflect.api.mirror.RootPackage is NoSymbol.
Every other symbol has a chain of owners that ends in
scala.reflect.api.mirror.RootClass.
The position of this symbol
The position of this symbol
Set when symbol has a modifier of the form private[X], NoSymbol otherwise.
Set when symbol has a modifier of the form private[X], NoSymbol otherwise.
Access level encoding: there are three scala flags (PRIVATE, PROTECTED, and LOCAL) which combine with value privateWithin (the "foo" in private[foo]) to define from where an entity can be accessed. The meanings are as follows:
PRIVATE access restricted to class only. PROTECTED access restricted to class and subclasses only. LOCAL can only be set in conjunction with PRIVATE or PROTECTED. Further restricts access to the same object instance.
In addition, privateWithin can be used to set a visibility barrier. When set, everything contained in the named enclosing package or class has access. It is incompatible with PRIVATE or LOCAL, but is additive with PROTECTED (i.e. if either the flags or privateWithin allow access, then it is allowed.)
The java access levels translate as follows:
java private: hasFlag(PRIVATE) && (privateWithin == NoSymbol) java package: !hasFlag(PRIVATE | PROTECTED) && (privateWithin == enclosingPackage) java protected: hasFlag(PROTECTED) && (privateWithin == enclosingPackage) java public: !hasFlag(PRIVATE | PROTECTED) && (privateWithin == NoSymbol)
Performs method overloading resolution.
Performs method overloading resolution. More precisely, resolves an overloaded TermSymbol to a single, non-overloaded TermSymbol that accepts the specified argument types.
The prefix type, i.e. the type of the value the method is dispatched on.
This is required when resolving references to type parameters of the type
the method is declared in. For example if the method is declared in class List[A],
providing the prefix as List[Int] allows the overloading resolution to use
Int instead of A.
Type arguments that a candidate alternative must be able to accept. Candidates will be considered with these arguments substituted for their corresponding type parameters.
Positional argument types that a candidate alternative must be able to accept.
Named argument types that a candidate alternative must be able to accept. Each element in the sequence should be a pair of a parameter name and an argument type.
Return type that a candidate alternative has to be compatible with.
Either a single, non-overloaded Symbol referring to the selected alternative or NoSymbol if no single member could be selected given the passed arguments.
.
...
The type signature of this symbol.
The type signature of this symbol.
Note if the symbol is a member of a class, one almost always is interested
in typeSignatureIn with a site type instead.
The type signature of this symbol seen as a member of given type site.
The type signature of this symbol seen as a member of given type site.
The valus this symbol refers to
Test two objects for inequality.
Test two objects for inequality.
true if !(this == that), false otherwise.
Equivalent to x.hashCode except for boxed numeric types and null.
Equivalent to x.hashCode except for boxed numeric types and null.
For numerics, it returns a hash value which is consistent
with value equality: if two value type instances compare
as true, then ## will produce the same hash value for each
of them.
For null returns a hashcode where null.hashCode throws a
NullPointerException.
a hash value consistent with ==
Test two objects for equality.
Test two objects for equality.
The expression x == that is equivalent to if (x eq null) that eq null else x.equals(that).
true if the receiver object is equivalent to the argument; false otherwise.
This symbol cast to a ClassSymbol representing a class or trait.
This symbol cast to a ClassSymbol representing a class or trait.
Returns ClassCastException if isClass is false.
This symbol cast to a free term symbol.
This symbol cast to a free term symbol.
Returns ClassCastException if isFreeTerm is false.
This symbol cast to a free type symbol.
This symbol cast to a free type symbol.
Returns ClassCastException if isFreeType is false.
Cast the receiver object to be of type T0.
Cast the receiver object to be of type T0.
Note that the success of a cast at runtime is modulo Scala's erasure semantics.
Therefore the expression 1.asInstanceOf[String] will throw a ClassCastException at
runtime, while the expression List(1).asInstanceOf[List[String]] will not.
In the latter example, because the type argument is erased as part of compilation it is
not possible to check whether the contents of the list are of the requested type.
the receiver object.
if the receiver object is not an instance of the erasure of type T0.
This symbol cast to a MethodSymbol.
This symbol cast to a MethodSymbol.
Returns ClassCastException if isMethod is false.
This symbol cast to a ModuleSymbol defined by an object definition.
This symbol cast to a ModuleSymbol defined by an object definition.
Returns ClassCastException if isModule is false.
This symbol cast to a TermSymbol.
This symbol cast to a TermSymbol.
Returns ClassCastException if isTerm is false.
This symbol cast to a TypeSymbol.
This symbol cast to a TypeSymbol.
Returns ClassCastException if isType is false.
Create a copy of the receiver object.
Create a copy of the receiver object.
The default implementation of the clone method is platform dependent.
a copy of the receiver object.
not specified by SLS as a member of AnyRef
If this symbol is a class, this symbol; otherwise the next enclosing
class, or NoSymbol if none exists.
If this symbol is a class, this symbol; otherwise the next enclosing
class, or NoSymbol if none exists.
If this symbol is a method, this symbol; otherwise the next enclosing
method, or NoSymbol if none exists.
If this symbol is a method, this symbol; otherwise the next enclosing
method, or NoSymbol if none exists.
Tests whether the argument (arg0) is a reference to the receiver object (this).
Tests whether the argument (arg0) is a reference to the receiver object (this).
The eq method implements an equivalence relation on
non-null instances of AnyRef, and has three additional properties:
x and y of type AnyRef, multiple invocations of
x.eq(y) consistently returns true or consistently returns false.x of type AnyRef, x.eq(null) and null.eq(x) returns false.null.eq(null) returns true. When overriding the equals or hashCode methods, it is important to ensure that their behavior is
consistent with reference equality. Therefore, if two objects are references to each other (o1 eq o2), they
should be equal to each other (o1 == o2) and they should hash to the same value (o1.hashCode == o2.hashCode).
true if the argument is a reference to the receiver object; false otherwise.
The equality method for reference types.
Called by the garbage collector on the receiver object when there are no more references to the object.
Called by the garbage collector on the receiver object when there are no more references to the object.
The details of when and if the finalize method is invoked, as
well as the interaction between finalize and non-local returns
and exceptions, are all platform dependent.
not specified by SLS as a member of AnyRef
Returns string formatted according to given format string.
Returns string formatted according to given format string.
Format strings are as for String.format
(@see java.lang.String.format).
A representation that corresponds to the dynamic class of the receiver object.
A representation that corresponds to the dynamic class of the receiver object.
The nature of the representation is platform dependent.
a representation that corresponds to the dynamic class of the receiver object.
not specified by SLS as a member of AnyRef
The hashCode method for reference types.
Does this symbol represent the definition of a class or trait?
If yes, isType is also guaranteed to be true.
Does this symbol represent the definition of a class or trait?
If yes, isType is also guaranteed to be true.
Does this symbol represent a free term captured by reification?
If yes, isTerm is also guaranteed to be true.
Does this symbol represent a free term captured by reification?
If yes, isTerm is also guaranteed to be true.
Does this symbol represent a free type captured by reification?
If yes, isType is also guaranteed to be true.
Does this symbol represent a free type captured by reification?
If yes, isType is also guaranteed to be true.
Test whether the dynamic type of the receiver object is T0.
Test whether the dynamic type of the receiver object is T0.
Note that the result of the test is modulo Scala's erasure semantics.
Therefore the expression 1.isInstanceOf[String] will return false, while the
expression List(1).isInstanceOf[List[String]] will return true.
In the latter example, because the type argument is erased as part of compilation it is
not possible to check whether the contents of the list are of the specified type.
true if the receiver object is an instance of erasure of type T0; false otherwise.
Does this symbol represent the definition of a method?
If yes, isTerm is also guaranteed to be true.
Does this symbol represent the definition of a method?
If yes, isTerm is also guaranteed to be true.
Does this symbol represent the definition of a module (i.
Does this symbol represent the definition of a module (i.e. it
results from an object definition?).
If yes, isTerm is also guaranteed to be true.
Does this symbol represent the definition of a class implicitly associated with an object definition (module class in scala compiler parlance).
Does this symbol represent the definition of a class implicitly associated
with an object definition (module class in scala compiler parlance).
If yes, isType is also guaranteed to be true.
Does this symbol represent the definition of a term? Note that every symbol is either a term or a term.
Does this symbol represent the definition of a term?
Note that every symbol is either a term or a term.
So for every symbol sym, either sym.isTerm is true
or sym.isTerm is true.
Does this symbol represent the definition of a type? Note that every symbol is either a term or a type.
Does this symbol represent the definition of a type?
Note that every symbol is either a term or a type.
So for every symbol sym, either sym.isTerm is true
or sym.isType is true.
Equivalent to !(this eq that).
Equivalent to !(this eq that).
true if the argument is not a reference to the receiver object; false otherwise.
Wakes up a single thread that is waiting on the receiver object's monitor.
Wakes up a single thread that is waiting on the receiver object's monitor.
not specified by SLS as a member of AnyRef
Wakes up all threads that are waiting on the receiver object's monitor.
Wakes up all threads that are waiting on the receiver object's monitor.
not specified by SLS as a member of AnyRef
Creates a String representation of this object.
Creates a String representation of this object. The default representation is platform dependent. On the java platform it is the concatenation of the class name, "@", and the object's hashcode in hexadecimal.
a String representation of the object.
(freeTermSymbolApi: StringAdd).self
(freeTermSymbolApi: StringFormat).self
(freeTermSymbolApi: ArrowAssoc[Universe.FreeTermSymbolApi]).x
(Since version 2.10.0) Use leftOfArrow instead
(freeTermSymbolApi: Ensuring[Universe.FreeTermSymbolApi]).x
(Since version 2.10.0) Use resultOfEnsuring instead
The API of free term symbols