Scala 3/scala.util/Properties

Properties

object Properties extends PropertiesTrait

Loads library.properties from the jar.

Source
Properties.scala
class Object
trait Matchable
class Any

Value members

Inherited 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"

Inherited from
PropertiesTrait
Source
Properties.scala
def envOrElse(name: String, alt: => String): String
def envOrSome(name: String, alt: => Option[String]): Option[String]
def isJavaAtLeast(version: Int): Boolean

Compares the given specification version to the major version of the platform.

Compares the given specification version to the major version of the platform.

Value Params
version

a specification major version number

Inherited from
PropertiesTrait
Source
Properties.scala
def isJavaAtLeast(version: String): Boolean

Compares the given specification version to the specification version of the platform.

Compares the given specification version to the specification version of the platform.

Value Params
version

a specification version number (legacy forms acceptable)

Returns

true if the specification version of the current runtime is equal to or higher than the version denoted by the given string.

Throws
NumberFormatException

if the given string is not a version string

Example

// In this example, the runtime's Java specification is assumed to be at version 8.
isJavaAtLeast("1.8")            // true
isJavaAtLeast("8")              // true
isJavaAtLeast("9")              // false
isJavaAtLeast("9.1")            // false
isJavaAtLeast("1.9")            // throws
Inherited from
PropertiesTrait
Source
Properties.scala
def isLinux: Boolean

Returns true iff the underlying operating system is a Linux distribution.

Returns true iff the underlying operating system is a Linux distribution.

Inherited from
PropertiesTrait
Source
Properties.scala
def isMac: Boolean

Returns true iff the underlying operating system is a version of Apple Mac OSX.

Returns true iff the underlying operating system is a version of Apple Mac OSX.

Inherited from
PropertiesTrait
Source
Properties.scala
def isWin: Boolean

Returns true iff the underlying operating system is a version of Microsoft Windows.

Returns true iff the underlying operating system is a version of Microsoft Windows.

Inherited from
PropertiesTrait
Source
Properties.scala
def lineSeparator: String

The default end of line character.

The default end of line character.

Inherited from
PropertiesTrait
Source
Properties.scala
def main(args: Array[String]): Unit
def propIsSetTo(name: String, value: String): Boolean
def propOrElse(name: String, alt: => String): String
def scalaPropOrElse(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.

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
Source
Properties.scala
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
Source
Properties.scala

Concrete fields

val ScalaCompilerVersion: Name

Scala manifest attributes.

Scala manifest attributes.

Source
Properties.scala

Inherited fields

val developmentVersion: Option[String]

The development Scala version, if this is not a final release.

The development Scala version, if this is not a final release. The precise contents are not guaranteed, but it aims to provide a unique repository identifier (currently the svn revision) in the fourth dotted segment if the running version was built from source.

Returns

Some(version) if this is a non-final version, None if this is a final release or the version cannot be read.

Inherited from
PropertiesTrait
Source
Properties.scala
protected val propFilename: String

The name of the properties file

The name of the properties file

Inherited from
PropertiesTrait
Source
Properties.scala
val releaseVersion: Option[String]

The numeric portion of the runtime Scala version, if this is a final release.

The numeric portion of the runtime Scala version, if this is a final release. If for instance the versionString says "version 2.9.0.final", this would return Some("2.9.0").

Returns

Some(version) if this is a final release build, None if it is an RC, Beta, etc. or was built from source, or if the version cannot be read.

Inherited from
PropertiesTrait
Source
Properties.scala
lazy protected val scalaProps: Properties

The loaded properties

The loaded properties

Inherited from
PropertiesTrait
Source
Properties.scala
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
Source
Properties.scala