Properties

This is the default text encoding, overridden (unreliably) with JAVA_OPTS="-Dfile.encoding=Foo"

Some derived values.

Various well-known properties.

The default end of line character.

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.

Scala manifest attributes.

Whether the current version of compiler is experimental

1. Snapshot and nightly releases are experimental.
2. Features supported by experimental versions of the compiler:
   • research plugins

The name of the properties file

The loaded properties

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 plus "version " prefix, or "version (unknown)" if it cannot be determined.