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

WrappedProperties

trait WrappedProperties extends PropertiesTrait

For placing a wrapper function around property functions. Motivated by places like google app engine throwing exceptions on property lookups.

Companion:
object
class Object
trait Matchable
class Any
object AccessControl.type

Value members

Abstract methods

def wrap[T](body: => T): Option[T]

Concrete methods

override def clearProp(name: String): String
Definition Classes
override def envOrElse(name: String, alt: String): String
Definition Classes
override def envOrNone(name: String): Option[String]
Definition Classes
override def propIsSet(name: String): Boolean
Definition Classes
override def propOrElse(name: String, alt: String): String
Definition Classes
override def setProp(name: String, value: String): String
Definition Classes

Inherited methods

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"

Inherited from:
PropertiesTrait
def isMac: Boolean
Inherited from:
PropertiesTrait
def isWin: Boolean

Some derived values.

Some derived values.

Inherited from:
PropertiesTrait
def javaClassPath: String

Various well-known properties.

Various well-known properties.

Inherited from:
PropertiesTrait
def javaHome: String
Inherited from:
PropertiesTrait
def javaVendor: String
Inherited from:
PropertiesTrait
def javaVmInfo: String
Inherited from:
PropertiesTrait
def javaVmName: String
Inherited from:
PropertiesTrait
def jdkHome: String
Inherited from:
PropertiesTrait
def lineSeparator: String

The default end of line character.

The default end of line character.

Inherited from:
PropertiesTrait
def osName: String
Inherited from:
PropertiesTrait
def propIsSetTo(name: String, value: String): Boolean
Inherited from:
PropertiesTrait
def propOrEmpty(name: String): String
Inherited from:
PropertiesTrait
def propOrFalse(name: String): Boolean
Inherited from:
PropertiesTrait
def propOrNone(name: String): Option[String]
Inherited from:
PropertiesTrait
def propOrNull(name: String): String
Inherited from:
PropertiesTrait
def scalaCmd: String
Inherited from:
PropertiesTrait
def scalaHome: String
Inherited from:
PropertiesTrait
def scalaPropOrElse(name: String, alt: String): String
Inherited from:
PropertiesTrait
def scalaPropOrEmpty(name: String): String
Inherited from:
PropertiesTrait
def scalacCmd: String
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.

Inherited from:
PropertiesTrait
def tmpDir: String
Inherited from:
PropertiesTrait
def userDir: String
Inherited from:
PropertiesTrait
def userHome: String
Inherited from:
PropertiesTrait
def userName: String
Inherited from:
PropertiesTrait
def versionMsg: String
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.

Inherited from:
PropertiesTrait

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

The name of the properties file

The name of the properties file

Inherited from:
PropertiesTrait
lazy protected val scalaProps: Properties

The loaded properties

The loaded properties

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.

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.

Inherited from:
PropertiesTrait