PropertiesTrait
Attributes
- Graph
-
- Supertypes
- Known subtypes
Members list
Value members
Concrete methods
This is the default text encoding, overridden (unreliably) with JAVA_OPTS="-Dfile.encoding=Foo"
This is the default text encoding, overridden (unreliably) with JAVA_OPTS="-Dfile.encoding=Foo"
Attributes
Various well-known properties.
Various well-known properties.
Attributes
The default end of line character.
The default end of line character.
Attributes
This is the encoding to use reading in source files, overridden with -encoding Note that it uses "prop" i.e. looks in the scala jar, not the system properties.
This is the encoding to use reading in source files, overridden with -encoding Note that it uses "prop" i.e. looks in the scala jar, not the system properties.
Attributes
Either the development or release version if known, otherwise the empty string.
Either the development or release version if known, otherwise the empty string.
Attributes
Concrete fields
The name of the properties file
The name of the properties file
Attributes
Whether the current version of compiler supports research plugins.
Whether the current version of compiler supports research plugins.
Attributes
The loaded properties
The loaded properties
Attributes
The version number of the jar this was loaded from, or "(unknown)" if it cannot be determined.
The version number of the jar this was loaded from, or "(unknown)" if it cannot be determined.
Attributes
Whether the current version of compiler is experimental
Whether the current version of compiler is experimental
Snapshot, nightly releases and non-bootstrapped compiler are experimental.
Attributes
The version number of the jar this was loaded from plus "version " prefix, or "version (unknown)" if it cannot be determined.
The version number of the jar this was loaded from plus "version " prefix, or "version (unknown)" if it cannot be determined.