Dotty Documentation

0.11.0-bin-SNAPSHOT

trait PropertiesTrait
extends Object

[-] Constructors

[-] Members

[+] val copyrightString : String
[+] val experimental : Boolean

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

[+] @sharable protected lazy val scalaProps : Properties

The loaded properties

[+] val versionString : String

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

[+] def clearProp ( name: String ) : String
[+] def encodingString : String

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

[+] def envOrElse ( name: String , alt: String ) : String
[+] def envOrNone ( name: String ) : Option [ String ]
[+] def isMac : Boolean
[+] def isWin : Boolean

Some derived values.

[+] def javaClassPath : String

Various well-known properties.

[+] def javaHome : String
[+] def javaVendor : String
[+] def javaVersion : String
[+] def javaVmInfo : String
[+] def javaVmName : String
[+] def javaVmVendor : String
[+] def javaVmVersion : String
[+] def jdkHome : String
[+] def lineSeparator : String

The default end of line character.

[+] def osName : String
[+] protected def pickJarBasedOn : Class [ Nothing <: Any ]
[+] protected def propCategory : String
[+] def propIsSet ( name: String ) : Boolean
[+] def propIsSetTo ( name: String , value: String ) : Boolean
[+] def propOrElse ( name: String , alt: String ) : String
[+] def propOrEmpty ( name: String ) : String
[+] def propOrFalse ( name: String ) : Boolean
[+] def propOrNone ( name: String ) : Option [ String ]
[+] def propOrNull ( name: String ) : String
[+] private def quietlyDispose ( action: => Unit , disposal: => Unit ) : Unit
[+] def scalaCmd : String
[+] def scalaHome : String
[+] def scalaPropOrElse ( name: String , alt: String ) : String
[+] def scalaPropOrEmpty ( name: String ) : String
[+] def scalaPropOrNone ( name: String ) : Option [ String ]
[+] def scalacCmd : 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.

[+] def sourceReader : String
[+] def tmpDir : String
[+] def userDir : String
[+] def userHome : String
[+] def userName : String
[+] def versionMsg : String
[+] def versionNumberString : String

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