scala3-compiler-patched
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
scala3-compiler-patched/dotty.tools.dotc.config/Properties

Properties

dotty.tools.dotc.config.Properties$
object Properties extends PropertiesTrait

Loads library.properties from the jar.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Inherited methods

def clearProp(name: String): String

Attributes

Inherited from:
PropertiesTrait
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"

Attributes

Inherited from:
PropertiesTrait
def envOrElse(name: String, alt: String): String

Attributes

Inherited from:
PropertiesTrait
def envOrNone(name: String): Option[String]

Attributes

Inherited from:
PropertiesTrait
def isMac: Boolean

Attributes

Inherited from:
PropertiesTrait
def isWin: Boolean

Some derived values.

Some derived values.

Attributes

Inherited from:
PropertiesTrait
def javaClassPath: String

Various well-known properties.

Various well-known properties.

Attributes

Inherited from:
PropertiesTrait
def javaHome: String

Attributes

Inherited from:
PropertiesTrait
def javaVendor: String

Attributes

Inherited from:
PropertiesTrait
def javaVersion: String

Attributes

Inherited from:
PropertiesTrait
def javaVmInfo: String

Attributes

Inherited from:
PropertiesTrait
def javaVmName: String

Attributes

Inherited from:
PropertiesTrait
def javaVmVendor: String

Attributes

Inherited from:
PropertiesTrait
def javaVmVersion: String

Attributes

Inherited from:
PropertiesTrait
def jdkHome: String

Attributes

Inherited from:
PropertiesTrait
def lineSeparator: String

The default end of line character.

The default end of line character.

Attributes

Inherited from:
PropertiesTrait
def osName: String

Attributes

Inherited from:
PropertiesTrait
def propIsSet(name: String): Boolean

Attributes

Inherited from:
PropertiesTrait
def propIsSetTo(name: String, value: String): Boolean

Attributes

Inherited from:
PropertiesTrait
def propOrElse(name: String, alt: String): String

Attributes

Inherited from:
PropertiesTrait
def propOrEmpty(name: String): String

Attributes

Inherited from:
PropertiesTrait
def propOrFalse(name: String): Boolean

Attributes

Inherited from:
PropertiesTrait
def propOrNone(name: String): Option[String]

Attributes

Inherited from:
PropertiesTrait
def propOrNull(name: String): String

Attributes

Inherited from:
PropertiesTrait
def scalaCmd: String

Attributes

Inherited from:
PropertiesTrait
def scalaHome: String

Attributes

Inherited from:
PropertiesTrait
def scalaPropOrElse(name: String, alt: String): String

Attributes

Inherited from:
PropertiesTrait
def scalaPropOrEmpty(name: String): String

Attributes

Inherited from:
PropertiesTrait
def scalaPropOrNone(name: String): Option[String]

Attributes

Inherited from:
PropertiesTrait
def scalacCmd: String

Attributes

Inherited from:
PropertiesTrait
def setProp(name: String, value: String): String

Attributes

Inherited from:
PropertiesTrait
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.

Attributes

Inherited from:
PropertiesTrait
def sourceReader: String

Attributes

Inherited from:
PropertiesTrait
def tmpDir: String

Attributes

Inherited from:
PropertiesTrait
def userDir: String

Attributes

Inherited from:
PropertiesTrait
def userHome: String

Attributes

Inherited from:
PropertiesTrait
def userName: String

Attributes

Inherited from:
PropertiesTrait
def versionMsg: String

Attributes

Inherited from:
PropertiesTrait
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.

Attributes

Inherited from:
PropertiesTrait

Concrete fields

val ScalaCompilerVersion: Name

Scala manifest attributes.

Scala manifest attributes.

Attributes

Inherited fields

val copyrightString: String

Attributes

Inherited from:
PropertiesTrait
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

Attributes

Inherited from:
PropertiesTrait
protected val propFilename: String

The name of the properties file

The name of the properties file

Attributes

Inherited from:
PropertiesTrait
lazy protected val scalaProps: Properties

The loaded properties

The loaded properties

Attributes

Inherited from:
PropertiesTrait
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.

Attributes

Inherited from:
PropertiesTrait
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.

Attributes

Inherited from:
PropertiesTrait
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL