Scala manifest attributes.
The development Scala version, if this is not a final release.
The development Scala version, if this is not a final release. The precise contents are not guaranteed, but it aims to provide a unique repository identifier (currently the svn revision) in the fourth dotted segment if the running version was built from source.
Some(version) if this is a non-final version, None if this is a final release or the version cannot be read.
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"
Can the java version be determined to be at least as high as the argument? Hard to properly future proof this but at the rate 1.7 is going we can leave the issue for our cyborg grandchildren to solve.
Can the java version be determined to be at least as high as the argument? Hard to properly future proof this but at the rate 1.7 is going we can leave the issue for our cyborg grandchildren to solve.
Some derived values.
Some derived values.
Various well-known properties.
Various well-known properties.
The default end of line character.
The default end of line character.
The name of the properties file
The name of the properties file
The numeric portion of the runtime Scala version, if this is a final release.
The numeric portion of the runtime Scala version, if this is a final release. If for instance the versionString says "version 2.9.0.final", this would return Some("2.9.0").
Some(version) if this is a final release build, None if it is an RC, Beta, etc. or was built from source, or if the version cannot be read.
The loaded properties
The loaded properties
This is the encoding to use reading in source files, overridden with -encoding Note that it uses "prop" i.e.
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.
Either the development or release version if known, otherwise the empty string.
Either the development or release version if known, otherwise the empty string.
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.
Loads
library.properties
from the jar.