PropertiesTrait

class Object
trait Matchable
class Any

Value members

Abstract methods

protected def pickJarBasedOn: Class[_]
protected def propCategory: String

Concrete methods

def clearProp(name: String): String

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"

def envOrElse(name: String, alt: String): String

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.

def propIsSet(name: String): Boolean
def propIsSetTo(name: String, value: String): Boolean
def propOrElse(name: String, alt: String): String
def propOrNull(name: String): String
def scalaPropOrElse(name: String, alt: String): String
def setProp(name: String, value: String): String

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.

Either the development or release version if known, otherwise the empty string.

Either the development or release version if known, otherwise the empty string.

Concrete fields

Whether the current version of compiler is experimental

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
protected val propFilename: String

The name of the properties file

The name of the properties file

lazy protected val scalaProps: Properties

The loaded properties

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, 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.

The version number of the jar this was loaded from plus "version " prefix, or "version (unknown)" if it cannot be determined.