Namespaces Symbols

Environment

0.40.0

Definitions

def getArgs : List[String] \ Pure

Source

Returns the arguments passed to the program via the command line.

def getCurrentWorkingDirectory : Option[String] \ Pure

Source

Returns the user's current working directory

def getEnv : Map[String, String] \ Pure

Source

Returns an map of the current system environment.

def getFileSeparator : String \ Pure

Source

Returns the file separator

def getLineSeparator : String \ Pure

Source

Returns the system line separator

def getOsArch : Option[String] \ Pure

Source

Returns the operating system architecture

def getOsName : Option[String] \ Pure

Source

Returns the operating system name

def getOsVersion : Option[String] \ Pure

Source

Returns the operating system version

def getPathSeparator : String \ Pure

Source

Returns the path separator

def getProp ( name : String ) : Option[String] \ Pure

Source

Returns the system property by name.

def getTemporaryDirectory : Option[String] \ Pure

Source

Returns the default temp file path

def getUserHomeDirectory : Option[String] \ Pure

Source

Returns the user's home directory

def getUserName : Option[String] \ Pure

Source

Returns the user's account name

def getVar ( name : String ) : Option[String] \ Pure

Source

Returns the value of the specified environment variable.

def getVirtualProcessors : Int32 \ Pure

Source

Returns the number of virtual processors available to the JVM.

The returned value is never less than one.