Constructors
Members
A class representing flag sets that should be tested
conjunctively. I.e. for a flag conjunction fc
,
x is fc
tests whether x
contains all flags in fc
.
A class representing flag sets that should be tested
conjunctively. I.e. for a flag conjunction fc
,
x is fc
tests whether x
contains all flags in fc
.
A class representing flag sets that should be tested
conjunctively. I.e. for a flag conjunction fc
,
x is fc
tests whether x
contains all flags in fc
.
A class representing flag sets that should be tested
conjunctively. I.e. for a flag conjunction fc
,
x is fc
tests whether x
contains all flags in fc
.
A FlagSet represents a set of flags. Flags are encoded as follows: The first two bits indicate whether a flagset applies to terms, to types, or to both....
A FlagSet represents a set of flags. Flags are encoded as follows:
The first two bits indicate whether a flagset applies to terms,
to types, or to both. Bits 2..63 are available for properties
and can be doubly used for terms and types.
Combining two FlagSets with |
will give a FlagSet
that has the intersection of the applicability to terms/types
of the two flag sets. It is checked that the intersection is not empty.
A FlagSet represents a set of flags. Flags are encoded as follows: The first two bits indicate whether a flagset applies to terms, to types, or to both....
A FlagSet represents a set of flags. Flags are encoded as follows:
The first two bits indicate whether a flagset applies to terms,
to types, or to both. Bits 2..63 are available for properties
and can be doubly used for terms and types.
Combining two FlagSets with |
will give a FlagSet
that has the intersection of the applicability to terms/types
of the two flag sets. It is checked that the intersection is not empty.
Labeled with of abstract & override
Labeled with of abstract & override
Labeled with abstract
modifier (an abstract class)
Note: You should never see Abstract on any symbol except a class.
Note: the flag counts as common, be...
Labeled with abstract
modifier (an abstract class)
Note: You should never see Abstract on any symbol except a class.
Note: the flag counts as common, because it can be combined with OVERRIDE in a term.
An abstract class or a trait
An abstract class or a trait
Flags representing access rights
Flags representing access rights
A value or variable accessor (getter or setter)
A value or variable accessor (getter or setter)
Accessors always have these flags set
Accessors always have these flags set
Flags guaranteed to be set upon symbol creation, or, if symbol is a top-level class or object, when the class file defining the symbol is loaded (which
Flags guaranteed to be set upon symbol creation, or, if symbol is a top-level class or object, when the class file defining the symbol is loaded (which is generally before the symbol is completed
If symbol of a type alias has these flags, prefer the alias
If symbol of a type alias has these flags, prefer the alias
Symbol should be ignored when typechecking; will be marked ACC_SYNTHETIC in bytecode
Symbol should be ignored when typechecking; will be marked ACC_SYNTHETIC in bytecode
A binding for a type parameter of a base class or trait.
A binding for a type parameter of a base class or trait.
A type that is defined by a type bind
A type that is defined by a type bind
A bridge method. Set by Erasure
A bridge method. Set by Erasure
Variable is accessed from nested function.
Variable is accessed from nested function.
A case class or its companion object
A case class or its companion object
A case parameter accessor
A case parameter accessor
A contravariant type variable / a label method
A contravariant type variable / a label method
A covariant type variable / an outer accessor
A covariant type variable / an outer accessor
Symbol is a Java default method
Symbol is a Java default method
Is a default parameter in Scala 2
Is a default parameter in Scala 2
A method that has default params
A method that has default params
A declared, but not defined member
A declared, but not defined member
A deferred member or a parameter accessor (these don't have right hand sides)
A deferred member or a parameter accessor (these don't have right hand sides)
The empty flag set
The empty flag set
Symbol is a Java enum
Symbol is a Java enum
An error symbol
An error symbol
Labeled with final
modifier
Labeled with final
modifier
value that's final or inline
value that's final or inline
Symbol always defines a fresh named type
Symbol always defines a fresh named type
Flags guaranteed to be set upon symbol creation
Flags guaranteed to be set upon symbol creation
Class is not allowed to accept new members because fingerprint of subclass has been taken
Class is not allowed to accept new members because fingerprint of subclass has been taken
All class attributes are fully defined
All class attributes are fully defined
Has defined or inherited default parameters
Has defined or inherited default parameters
Symbol is an implementation class of a Scala2 trait
Symbol is an implementation class of a Scala2 trait
Labeled with implicit
modifier (implicit value)
Labeled with implicit
modifier (implicit value)
Symbol is defined in a super call
Symbol is defined in a super call
A method that is known to have inherited default parameters
A method that is known to have inherited default parameters
Symbol is inlined
Symbol is inlined
An inline method
An inline method
An inline parameter
An inline parameter
Symbol is defined by a Java class
Symbol is defined by a Java class
A Java companion object
A Java companion object
A Java companion object
A Java companion object
Symbol is implemented as a Java static
Symbol is implemented as a Java static
A Java interface, potentially with default methods
A Java interface, potentially with default methods
Symbol is a Java-style varargs method
Symbol is a Java-style varargs method
Labeled with lazy
(a lazy val).
Labeled with lazy
(a lazy val).
A lazy or deferred value
A lazy or deferred value
Class has been lifted out to package level, local value has been lifted out to class level
Class has been lifted out to package level, local value has been lifted out to class level
Symbol is local to current class (i.e. private[this] or protected[this] pre: Private or Protected are also set
Symbol is local to current class (i.e. private[this] or protected[this] pre: Private or Protected are also set
A contravariant type parameter instance
A contravariant type parameter instance
A covariant type parameter instance
A covariant type parameter instance
A macro (Scala 2.x only)
A macro (Scala 2.x only)
A method symbol.
A method symbol.
Either method or lazy
Either method or lazy
Either method or lazy or deferred
Either method or lazy or deferred
Term member has been mixed in
Term member has been mixed in
Flags representing modifiers that can appear in trees
Flags representing modifiers that can appear in trees
A value or class implementing a module
A value or class implementing a module
Module classes always have these flags set
Module classes always have these flags set
Modules always have these flags set
Modules always have these flags set
Either a module or a final class
Either a module or a final class
A mutable var
A mutable var
Either mutable or lazy
Either mutable or lazy
A method that is known to have no default parameters
A method that is known to have no default parameters
Trait does not have fields or initialization code. Warning: flag is set during regular typer pass, should be tested only after typer.
Trait does not have fields or initialization code. Warning: flag is set during regular typer pass, should be tested only after typer.
A trait that does not need to be initialized
A trait that does not need to be initialized
Labeled with override
modifier
Labeled with override
modifier
A value or class representing a package
A value or class representing a package
Packages and package classes always have these flags set
Packages and package classes always have these flags set
A (term or type) parameter to a class or method
A (term or type) parameter to a class or method
A field generated for a primary constructor parameter (no matter if it's a 'val' or not), or an accessor of such a field.
A field generated for a primary constructor parameter (no matter if it's a 'val' or not), or an accessor of such a field.
A local parameter
A local parameter
A parameter forwarder
A parameter forwarder
A parameter or parameter accessor
A parameter or parameter accessor
A denotation that is valid in all run-ids
A denotation that is valid in all run-ids
These flags are pickled
These flags are pickled
Labeled with private
modifier
Labeled with private
modifier
A private accessor
A private accessor
Labeled private[this]
Labeled private[this]
A private[this] parameter
A private[this] parameter
A private[this] parameter accessor
A private[this] parameter accessor
A private method
A private method
Labeled private
, final
, or inline
Labeled private
, final
, or inline
Labeled private
or protected[local]
Labeled private
or protected[local]
A private parameter accessor
A private parameter accessor
Labeled with protected
modifier
Labeled with protected
modifier
Labeled protected[this]
Labeled protected[this]
A trait that has only abstract methods as members and therefore can be represented by a Java interface. Warning: flag is set during regular typer pass,...
A trait that has only abstract methods as members and therefore can be represented by a Java interface. Warning: flag is set during regular typer pass, should be tested only after typer.
Pure interfaces always have these flags
Pure interfaces always have these flags
Flags that can apply to a module class
Flags that can apply to a module class
Flags that can apply to both a module val and a module class, except those that are added at creation anyway
Flags that can apply to both a module val and a module class, except those that are added at creation anyway
Flags that can apply to a module val
Flags that can apply to a module val
Flags that are passed from a type parameter of a class to a refinement symbol that sets the type parameter
Flags that are passed from a type parameter of a class to a refinement symbol that sets the type parameter
An existentially bound symbol (Scala 2.x only)
An existentially bound symbol (Scala 2.x only)
Translation of Scala2's EXPANDEDNAME flag. This flag is never stored in symbols, is only used locally when reading the flags of a Scala2 symbol. It's th...
Translation of Scala2's EXPANDEDNAME flag. This flag is never stored in
symbols, is only used locally when reading the flags of a Scala2 symbol.
It's therefore safe to share the code with InheritedDefaultParams
because
the latter is never present in Scala2 unpickle info.
A module variable (Scala 2.x only)
A module variable (Scala 2.x only)
A definition that's initialized before the super call (Scala 2.x only)
A definition that's initialized before the super call (Scala 2.x only)
A super accessor
A super accessor
An unpickled Scala 2.x class
An unpickled Scala 2.x class
Labeled with sealed
modifier (sealed class)
Labeled with sealed
modifier (sealed class)
Symbol is a self name
Symbol is a self name
The flags of the self symbol
The flags of the self symbol
Flags representing source modifiers
Flags representing source modifiers
Symbol is a generated specialized member
Symbol is a generated specialized member
Lazy val or method is known or assumed to be stable and realizable
Lazy val or method is known or assumed to be stable and realizable
Java symbol which is protected
and static
Java symbol which is protected
and static
Symbol is a method which should be marked ACC_SYNCHRONIZED
Symbol is a method which should be marked ACC_SYNCHRONIZED
A compiler-generated symbol, which is visible for type-checking (compare with artifact)
A compiler-generated symbol, which is visible for type-checking (compare with artifact)
A synthetic or private definition
A synthetic or private definition
Denotation is in train of being loaded and completed, used to catch cyclic dependencies
Denotation is in train of being loaded and completed, used to catch cyclic dependencies
A trait
A trait
A type parameter or type parameter accessor
A type parameter or type parameter accessor
The undefined flag set
The undefined flag set
A value that's unstable unless complemented with a Stable flag
A value that's unstable unless complemented with a Stable flag
Is valid forever
Is valid forever
Flags that express the variance of a type parameter.
Flags that express the variance of a type parameter.
The flags of a class type parameter
The flags of a class type parameter
The flag with given index between 2 and 63 which applies to both terms and types Installs given name as the name of the flag.
The flag with given index between 2 and 63 which applies to both terms and types Installs given name as the name of the flag.
The flag set containing all defined flags of either kind whose bits lie in the given range
The flag set containing all defined flags of either kind whose bits lie in the given range
The flag with given index between 2 and 63 which applies to types. Installs given name as the name of the flag.
The flag with given index between 2 and 63 which applies to types. Installs given name as the name of the flag.
The union of all flags in given flag set
The union of all flags in given flag set