ArgEnv.dcl 523 Bytes
Newer Older
Ronny Wichers Schreur's avatar
Ronny Wichers Schreur committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
/*
	Version 1.0.1
	Ronny Wichers Schreur
	ronny@cs.kun.nl
*/
definition module ArgEnv

:: EnvironmentVariable
	=	EnvironmentVariableUndefined
	|	EnvironmentVariable !.{#Char}

// get the value of an environment variable
getEnvironmentVariable :: !{#Char} -> *EnvironmentVariable

// get the command line, first element is the command name,
//   arguments that are interpreted by the run-time system
//   (for example to set the heap size) are excluded
// Clean 1.1: getCommandLine :: {{#Char}}
getCommandLine :: {.{#Char}}