Platform.dcl 439 Bytes
Newer Older
Diederik van Arkel's avatar
Diederik van Arkel committed
1
2
3
4
5
6
definition module Platform

import StdPSt, StdString

PlatformDependant win mac :== win

Diederik van Arkel's avatar
Diederik van Arkel committed
7
8
9
initPlatformCommandLine			:: !*(PSt .l) -> (![String],!*PSt .l)
installPlatformEventHandlers	:: !*(PSt .l) -> *(PSt .l)
openPlatformWindowMenu			:: !*(PSt .l) -> *(PSt .l)
Diederik van Arkel's avatar
Diederik van Arkel committed
10

11
ToolsDir	:: String
Diederik van Arkel's avatar
Diederik van Arkel committed
12
13
14
TooltempDir	:: String
EnvsDir		:: String
PrefsDir	:: String
15

Diederik van Arkel's avatar
Diederik van Arkel committed
16
batchOptions :: !*World -> (!Bool,Bool,String,*File,!*World)
17
wAbort :: !String !*World -> *World