UtilIO.dcl 1 KB
Newer Older
Diederik van Arkel's avatar
Diederik van Arkel committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
definition module UtilIO

import StdString, StdFile
import UtilDate

LaunchApplication :: !{#Char} !{#Char} !Bool !Files -> ( !Bool, !Files)
LaunchApplication` :: !{#Char} !Bool !Files -> ( !Bool, !Files)

//	Returns True if the file name exists.
FExists	:: !String !Files -> (!Bool, !Files)

//	Returns the last modification date of the indicated file.
FModified :: !String !Files -> (!DATE, !Files)

//	Returns directory in which the indicated application resides.
FStartUpDir :: !String !Files -> (!String, !Files)
GetFullApplicationPath :: !*Files -> ({#Char}, *Files)

// Returns True if the file exists and is read-only
FReadOnly :: !{#Char} !*env -> (!Bool, !*env) | FileSystem env
FFileSize :: !{#Char} !*env -> (!(!Bool,!Int), !*env) | FileSystem env

GetLongPathName :: !String -> String;
GetShortPathName :: !String -> (!Bool,!String);

GetCurrentDirectory :: (!Bool,!String)
Diederik van Arkel's avatar
Diederik van Arkel committed
27
28
29

import StdPSt, StdMaybe

Diederik van Arkel's avatar
Diederik van Arkel committed
30
selectDirectory`		:: !(PSt .l) -> (!Maybe String,!(PSt .l))
Diederik van Arkel's avatar
Diederik van Arkel committed
31
32
ShellDefault :: !{#Char} !(PSt .l) -> (!Int,!(PSt .l))