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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
implementation module windowCCall_12
from ostoolbox import :: OSToolbox
from ostypes import :: HWND
from rgnCCall_12 import :: HRGN
from pictCCall_12 import :: HDC
import code from "cCCallWindows_121.o","cpicture_121.o"
winInitialiseWindows:: !*OSToolbox -> *OSToolbox
winInitialiseWindows _
= code
{
.inline InstallCrossCallWindows
ccall InstallCrossCallWindows "I-I"
.end
}
winInvalidateWindow :: !HWND !*OSToolbox -> *OSToolbox
winInvalidateWindow _ _
= code
{
.inline WinInvalidateWindow
ccall WinInvalidateWindow "II-I"
.end
}
winInvalidateRect :: !HWND !(!Int,!Int,!Int,!Int) !*OSToolbox -> *OSToolbox
winInvalidateRect hwnd (left,top, right,bottom) tb
= code
{
.inline WinInvalidateRect
ccall WinInvalidateRect "IIIIII-I"
.end
}
winValidateRect :: !HWND !(!Int,!Int,!Int,!Int) !*OSToolbox -> *OSToolbox
winValidateRect hwnd (left,top, right,bottom) tb
= code
{
.inline WinValidateRect
ccall WinValidateRect "IIIIII-I"
.end
}
winValidateRgn :: !HWND !HRGN !*OSToolbox -> *OSToolbox
winValidateRgn hwnd rgn tb
= code
{
.inline WinValidateRgn
ccall WinValidateRgn "III-I"
.end
}
winGetDC :: !HWND !*OSToolbox -> (!HDC,!*OSToolbox)
winGetDC _ _
= code
{
.inline WinGetDC
ccall WinGetDC "II-II"
.end
}
winReleaseDC :: !HWND !(!HDC,!*OSToolbox) -> *OSToolbox
winReleaseDC hwnd (hdc,tb)
= code
{
.inline WinReleaseDC
ccall WinReleaseDC "III-I"
.end
}
|