scala3-compiler-bootstrapped/dotty.tools.dotc.config/PropertiesTrait

PropertiesTrait

trait PropertiesTrait
class Object
trait Matchable
class Any
object Properties.type
object AccessControl.type

Value members

Abstract methods

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

Concrete methods

def clearProp(name: String): String
def encodingString: 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
def isWin: Boolean

Some derived values.

Some derived values.

def javaClassPath: String

Various well-known properties.

Various well-known properties.

def lineSeparator: String

The default end of line character.

The default end of line character.

def propIsSetTo(name: String, value: String): Boolean
def propOrElse(name: String, alt: String): String
def setProp(name: String, value: String): String
def sourceEncoding: 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.

def versionNumberString: String

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

val experimental: Boolean

Whether the current version of compiler is experimental

Whether the current version of compiler is experimental

  1. Snapshot, nightly releases and non-bootstrapped compiler 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

val simpleVersionString: String

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.

val versionString: 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.