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
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
|
(*
Copyright (c) 2001, 2015
David C.J. Matthews
This library is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public
License version 2.1 as published by the Free Software Foundation.
This library is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public
License along with this library; if not, write to the Free Software
Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
*)
structure Region:
sig
type HDC and HBRUSH and HRGN and HPEN
type POINT = { x: int, y: int }
type RECT = { top: int, left: int, bottom: int, right: int }
type RegionOperation
val RGN_AND : RegionOperation
val RGN_COPY : RegionOperation
val RGN_DIFF : RegionOperation
val RGN_ERROR : RegionOperation
val RGN_OR : RegionOperation
val RGN_XOR : RegionOperation
type ResultRegion
val COMPLEXREGION : ResultRegion
val NULLREGION : ResultRegion
val ERROR : ResultRegion
val SIMPLEREGION : ResultRegion
type PolyFillMode
val ALTERNATE : PolyFillMode
val WINDING : PolyFillMode
val CombineRgn : HRGN * HRGN * HRGN * RegionOperation -> ResultRegion
val CreateEllipticRgn : RECT -> HRGN
val CreatePolygonRgn : POINT list * PolyFillMode -> HRGN
val CreateRectRgn : RECT -> HRGN
val CreateRoundRectRgn : RECT * int * int -> HRGN
val EqualRgn : HRGN * HRGN -> bool
val FillRgn : HDC * HRGN * HBRUSH -> unit
val FrameRgn : HDC * HRGN * HBRUSH * int * int -> unit
val GetPolyFillMode : HDC -> PolyFillMode
val GetRgnBox : HRGN -> RECT
val InvertRgn : HDC * HRGN -> unit
val OffsetRgn : HRGN * int * int -> ResultRegion
val PaintRgn : HDC * HRGN -> unit
val PtInRegion : HRGN * int * int -> bool
val RectInRegion : HRGN * RECT -> bool
val SetPolyFillMode : HDC * PolyFillMode -> PolyFillMode
val SetRectRgn : HRGN * RECT -> unit
end =
struct
local
open Foreign Base
in
type HRGN = Base.HRGN and HBRUSH = Base.HBRUSH and HDC = Base.HDC
and HPEN = HPEN and RECT = RECT and POINT = POINT
open GdiBase
local
datatype PolyFillMode =
W of int
in
type PolyFillMode = PolyFillMode
val POLYFILLMODE = absConversion {abs = W, rep = fn W n => n} cInt
val ALTERNATE = W (1)
val WINDING = W (2)
end
val CombineRgn = winCall4(gdi "CombineRgn") (cHRGN,cHRGN,cHRGN,REGIONOPERATION) RESULTREGION
val EqualRgn = winCall2(gdi "EqualRgn") (cHRGN,cHRGN) cBool
val FillRgn = winCall3(gdi "FillRgn") (cHDC,cHRGN,cHBRUSH) (successState "FillRgn")
val FrameRgn = winCall5(gdi "FrameRgn") (cHDC,cHRGN,cHBRUSH,cInt,cInt) (successState "FrameRgn")
val GetPolyFillMode = winCall1(gdi "GetPolyFillMode") (cHDC) POLYFILLMODE
val InvertRgn = winCall2(gdi "InvertRgn") (cHDC,cHRGN) (successState "InvertRgn")
val OffsetRgn = winCall3(gdi "OffsetRgn") (cHRGN,cInt,cInt) RESULTREGION
val PaintRgn = winCall2(gdi "PaintRgn") (cHDC,cHRGN) (successState "PaintRgn")
val PtInRegion = winCall3(gdi "PtInRegion") (cHRGN,cInt,cInt) cBool
val RectInRegion = winCall2(gdi "RectInRegion") (cHRGN,cRect) cBool
val SetPolyFillMode = winCall2(gdi "SetPolyFillMode") (cHDC,POLYFILLMODE) POLYFILLMODE
local
val getRgnBox = winCall2(gdi "GetRgnBox") (cHRGN, cStar cRect) cInt
val zeroRect = {top=0, bottom=0, left=0, right=0}
in
fun GetRgnBox hr =
let val v = ref zeroRect in checkResult(getRgnBox(hr, v) <> 0); !v end
end
local
val setRectRgn = winCall5 (gdi "SetRectRgn") (cHRGN,cInt,cInt,cInt,cInt) (successState "SetRectRgn")
in
fun SetRectRgn (h, { left, top, right, bottom }) = setRectRgn(h,left,top,right,bottom)
end
local
val createEllipticRgn = winCall4 (gdi "CreateEllipticRgn") (cInt,cInt,cInt,cInt) cHRGN
in
fun CreateEllipticRgn {left,top,right,bottom} = createEllipticRgn(left,top,right,bottom)
end
local
val createRectRgn = winCall4 (gdi "CreateRectRgn") (cInt,cInt,cInt,cInt) cHRGN
in
fun CreateRectRgn {left,top,right,bottom} = createRectRgn(left,top,right,bottom)
end
local
val createRoundRectRgn = winCall6 (gdi "CreateRoundRectRgn") (cInt,cInt,cInt,cInt,cInt,cInt) cHRGN
in
fun CreateRoundRectRgn({left,top,right,bottom},w,h) =
createRoundRectRgn(left,top,right,bottom,w,h)
end
local
val createPolygonRgn = winCall3 (gdi "CreatePolygonRgn") (cPointer,cInt,POLYFILLMODE) cHRGN
val ptList = list2Vector cPoint
in
fun CreatePolygonRgn (pts: POINT list, fmode) =
let
val (ptarr, count) = ptList pts
in
(createPolygonRgn(ptarr,count,fmode) handle ex => (Memory.free ptarr; raise ex))
before Memory.free ptarr
end
end
(* fun ExtCreateRegion (x,rects,rectmain) =
let val {r11,r12,r21,r22,tx,ty} = breakXForm x
val xform = make_struct
[ (Cfloat,toCfloat r11),
(Cfloat,toCfloat r12),
(Cfloat,toCfloat r21),
(Cfloat,toCfloat r22),
(Cfloat,toCfloat tx),
(Cfloat,toCfloat ty) ]
val count = List.length rects
val rectarr = alloc count (Cstruct [Clong,Clong,Clong,Clong])
fun pl2a v n [] = ()
| pl2a v n ({left,top,right,bottom} :: rest) =
let val item = make_struct [(Clong,toClong left),
(Clong,toClong top),
(Clong,toClong right),
(Clong,toClong bottom)]
in
( assign (Cstruct [Clong,Clong,Clong,Clong])
(offset n (Cstruct [Clong,Clong,Clong,Clong]) v) item ;
pl2a v (n+1) rest )
end
val u = pl2a rectarr 0 rects
val {left,top,right,bottom} = rectmain
val rgndata = make_struct
[ (Clong,toClong 32),
(Clong,toClong 1),
(Clong,toClong count),
(Clong,toClong 0 ),
(Clong,toClong left),
(Clong,toClong top),
(Clong,toClong right),
(Clong,toClong bottom),
(Cvoid,rectarr) ]
val struct_size = 64 + 16 * count
in
winCall3 (gdi "ExtCreateRegion")
(POINTER,INT,POINTER) (cHRGN)
(address xform,struct_size,address rgndata)
end
*)
(* fun GetRegionData h =
let
val bufsize = winCall3 (gdi "GetRegionData")
(cHRGN,LONG,POINTER) (LONG)
(h,0,toCint 0)
val rgndata = alloc 1 (Cstruct [Clong,Clong,Clong,Clong,
Clong,Clong,Clong,Clong,Cvoid])
val res = winCall3 (gdi "GetRegionData")
(cHRGN,LONG,POINTER) (LONG)
(h,bufsize,address rgndata)
in
"not implemented"
end
*)
(*
Other Region Functions
CreateEllipticRgnIndirect
CreatePolyPolygonRgn
CreateRectRgnIndirect
ExtCreateRegion
GetRegionData
*)
end
end;
|
