alice
library
manual.

Alice Project

The Config structure


________ Synopsis ____________________________________________________

    signature CONFIG
    structure Config : CONFIG

The Config structure serves to provide system information that is either platform- or installation-dependent.


________ Import ______________________________________________________

    import structure Config from "x-alice:/lib/system/Config"
    import signature CONFIG from "x-alice:/lib/system/CONFIG-sig"

________ Interface ___________________________________________________

    signature CONFIG =
    sig
	datatype platform = WIN32 | UNIX

	val version : {major : int, minor : int, revision : int}
	val codename : string
	val buildDate : Date.t

	val platform : platform
	val vm : string

	val homeDir : unit -> string

	val pathEscape : char option
	val pathSeparator : char
    end

________ Description _________________________________________________

datatype platform = WIN32 | UNIX

The type of supported platforms.

version

Reflects the version of the current Alice System implementation.

codename

The code name of the current Alice version, as displayed in the banner of the interactive top-level, for example.

buildDate

Indicates the date at which the current implementation of the Alice System was built.

platform

The platform the current process executes on.

vm

A string identification of the virtual machine that the current process is running.

homeDir

returns the installation directory of the Alice system.

pathEscape

The character, if any, the current platform uses to escape characters in path names. Typically NONE under Windows, #"\\" under Unix.

pathSeparator

The character used on the current platform to separate path names in path list specifications, such as the PATH environment variable used under Windows and Unix. Typically #";" under Windows, #":" under Unix.



last modified 2007/Mar/30 17:10