Home My Page Projects Code Snippets Project Openings 3D graphics for Standard ML
Summary Activity SCM

SCM Repository

[sml3d] Annotation of /trunk/sml3d/gen/gen-from-xml/specs/extra.xdb
ViewVC logotype

Annotation of /trunk/sml3d/gen/gen-from-xml/specs/extra.xdb

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1413 - (view) (download)

1 : jhr 1393 <!-- extra function prototypes that have specialized ML types -->
2 :    
3 :     <spec-db registry="gl.xml" api="gl" profile="core" extensions="glcore">
4 : jhr 1396 <types />
5 : jhr 1413 <enums>
6 :     <enum name="GL_FALSE" ctype="GLboolean" value="0" />
7 :     <enum name="GL_TRUE" ctype="GLboolean" value="1" />
8 :     </enums>
9 : jhr 1393 <commands>
10 : jhr 1405 <command name="glDrawElements">
11 :     <proto name="glDrawElementsVecub">
12 :     <return-type ctype="void"/>
13 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
14 :     <param name="count" ctype="GLsizei"/>
15 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
16 :     <param name="indices" ctype="void*" mltype="Word8.word vector"/>
17 :     </proto>
18 :     <proto name="glDrawElementsVecus">
19 :     <return-type ctype="void"/>
20 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
21 :     <param name="count" ctype="GLsizei"/>
22 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
23 :     <param name="indices" ctype="void*" mltype="Word16.word vector"/>
24 :     </proto>
25 :     <proto name="glDrawElementsVecui">
26 :     <return-type ctype="void"/>
27 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
28 :     <param name="count" ctype="GLsizei"/>
29 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
30 :     <param name="indices" ctype="void*" mltype="Word32.word vector"/>
31 :     </proto>
32 :     <proto name="glDrawElementsArrub">
33 :     <return-type ctype="void"/>
34 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
35 :     <param name="count" ctype="GLsizei"/>
36 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
37 :     <param name="indices" ctype="void*" mltype="Word8.word array"/>
38 :     </proto>
39 :     <proto name="glDrawElementsArrus">
40 :     <return-type ctype="void"/>
41 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
42 :     <param name="count" ctype="GLsizei"/>
43 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
44 :     <param name="indices" ctype="void*" mltype="Word16.word array"/>
45 :     </proto>
46 :     <proto name="glDrawElementsArrui">
47 :     <return-type ctype="void"/>
48 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
49 :     <param name="count" ctype="GLsizei"/>
50 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
51 :     <param name="indices" ctype="void*" mltype="Word32.word array"/>
52 :     </proto>
53 :     </command>
54 : jhr 1407 <command name="glDrawElementsBaseVertex">
55 :     <proto name="glDrawElementsBaseVertexVecub">
56 :     <return-type ctype="void"/>
57 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
58 :     <param name="count" ctype="GLsizei"/>
59 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
60 :     <param name="indices" ctype="void*" mltype="Word8.word vector"/>
61 :     <param name="basevertex" ctype="GLint"/>
62 :     </proto>
63 :     <proto name="glDrawElementsBaseVertexVecus">
64 :     <return-type ctype="void"/>
65 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
66 :     <param name="count" ctype="GLsizei"/>
67 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
68 :     <param name="indices" ctype="void*" mltype="Word16.word vector"/>
69 :     <param name="basevertex" ctype="GLint"/>
70 :     </proto>
71 :     <proto name="glDrawElementsBaseVertexVecui">
72 :     <return-type ctype="void"/>
73 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
74 :     <param name="count" ctype="GLsizei"/>
75 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
76 :     <param name="indices" ctype="void*" mltype="Word32.word vector"/>
77 :     <param name="basevertex" ctype="GLint"/>
78 :     </proto>
79 :     <proto name="glDrawElementsBaseVertexArrub">
80 :     <return-type ctype="void"/>
81 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
82 :     <param name="count" ctype="GLsizei"/>
83 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
84 :     <param name="indices" ctype="void*" mltype="Word8.word array"/>
85 :     <param name="basevertex" ctype="GLint"/>
86 :     </proto>
87 :     <proto name="glDrawElementsBaseVertexArrus">
88 :     <return-type ctype="void"/>
89 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
90 :     <param name="count" ctype="GLsizei"/>
91 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
92 :     <param name="indices" ctype="void*" mltype="Word16.word array"/>
93 :     <param name="basevertex" ctype="GLint"/>
94 :     </proto>
95 :     <proto name="glDrawElementsBaseVertexArrui">
96 :     <return-type ctype="void"/>
97 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
98 :     <param name="count" ctype="GLsizei"/>
99 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
100 :     <param name="indices" ctype="void*" mltype="Word32.word array"/>
101 :     <param name="basevertex" ctype="GLint"/>
102 :     </proto>
103 :     </command>
104 :     <command name="glDrawElementsInstanced">
105 :     <proto name="glDrawElementsInstancedVecub">
106 :     <return-type ctype="void"/>
107 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
108 :     <param name="count" ctype="GLsizei"/>
109 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
110 :     <param name="indices" ctype="void*" mltype="Word8.word vector"/>
111 :     <param name="instancecount" ctype="GLsizei"/>
112 :     </proto>
113 :     <proto name="glDrawElementsInstancedVecus">
114 :     <return-type ctype="void"/>
115 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
116 :     <param name="count" ctype="GLsizei"/>
117 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
118 :     <param name="indices" ctype="void*" mltype="Word16.word vector"/>
119 :     <param name="instancecount" ctype="GLsizei"/>
120 :     </proto>
121 :     <proto name="glDrawElementsInstancedVecui">
122 :     <return-type ctype="void"/>
123 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
124 :     <param name="count" ctype="GLsizei"/>
125 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
126 :     <param name="indices" ctype="void*" mltype="Word32.word vector"/>
127 :     <param name="instancecount" ctype="GLsizei"/>
128 :     </proto>
129 :     <proto name="glDrawElementsInstancedArrub">
130 :     <return-type ctype="void"/>
131 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
132 :     <param name="count" ctype="GLsizei"/>
133 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
134 :     <param name="indices" ctype="void*" mltype="Word8.word array"/>
135 :     <param name="instancecount" ctype="GLsizei"/>
136 :     </proto>
137 :     <proto name="glDrawElementsInstancedArrus">
138 :     <return-type ctype="void"/>
139 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
140 :     <param name="count" ctype="GLsizei"/>
141 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
142 :     <param name="indices" ctype="void*" mltype="Word16.word array"/>
143 :     <param name="instancecount" ctype="GLsizei"/>
144 :     </proto>
145 :     <proto name="glDrawElementsInstancedArrui">
146 :     <return-type ctype="void"/>
147 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
148 :     <param name="count" ctype="GLsizei"/>
149 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
150 :     <param name="indices" ctype="void*" mltype="Word32.word array"/>
151 :     <param name="instancecount" ctype="GLsizei"/>
152 :     </proto>
153 :     </command>
154 :     <command name="glDrawElementsInstancedBaseVertex">
155 :     <proto name="glDrawElementsInstancedBaseVertexVecub">
156 :     <return-type ctype="void"/>
157 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
158 :     <param name="count" ctype="GLsizei"/>
159 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
160 :     <param name="indices" ctype="void*" mltype="Word8.word vector"/>
161 :     <param name="instancecount" ctype="GLsizei"/>
162 :     <param name="basevertex" ctype="GLint"/>
163 :     </proto>
164 :     <proto name="glDrawElementsInstancedBaseVertexVecus">
165 :     <return-type ctype="void"/>
166 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
167 :     <param name="count" ctype="GLsizei"/>
168 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
169 :     <param name="indices" ctype="void*" mltype="Word16.word vector"/>
170 :     <param name="instancecount" ctype="GLsizei"/>
171 :     <param name="basevertex" ctype="GLint"/>
172 :     </proto>
173 :     <proto name="glDrawElementsInstancedBaseVertexVecui">
174 :     <return-type ctype="void"/>
175 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
176 :     <param name="count" ctype="GLsizei"/>
177 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
178 :     <param name="indices" ctype="void*" mltype="Word32.word vector"/>
179 :     <param name="instancecount" ctype="GLsizei"/>
180 :     <param name="basevertex" ctype="GLint"/>
181 :     </proto>
182 :     <proto name="glDrawElementsInstancedBaseVertexArrub">
183 :     <return-type ctype="void"/>
184 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
185 :     <param name="count" ctype="GLsizei"/>
186 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
187 :     <param name="indices" ctype="void*" mltype="Word8.word array"/>
188 :     <param name="instancecount" ctype="GLsizei"/>
189 :     <param name="basevertex" ctype="GLint"/>
190 :     </proto>
191 :     <proto name="glDrawElementsInstancedBaseVertexArrus">
192 :     <return-type ctype="void"/>
193 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
194 :     <param name="count" ctype="GLsizei"/>
195 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
196 :     <param name="indices" ctype="void*" mltype="Word16.word array"/>
197 :     <param name="instancecount" ctype="GLsizei"/>
198 :     <param name="basevertex" ctype="GLint"/>
199 :     </proto>
200 :     <proto name="glDrawElementsInstancedBaseVertexArrui">
201 :     <return-type ctype="void"/>
202 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
203 :     <param name="count" ctype="GLsizei"/>
204 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
205 :     <param name="indices" ctype="void*" mltype="Word32.word array"/>
206 :     <param name="instancecount" ctype="GLsizei"/>
207 :     <param name="basevertex" ctype="GLint"/>
208 :     </proto>
209 :     </command>
210 :     <command name="glDrawRangeElements">
211 :     <proto name="glDrawRangeElementsVecub">
212 :     <return-type ctype="void"/>
213 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
214 :     <param name="start" ctype="GLuint"/>
215 :     <param name="end" ctype="GLuint"/>
216 :     <param name="count" ctype="GLsizei"/>
217 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
218 :     <param name="indices" ctype="void*" mltype="Word8.word vector"/>
219 :     </proto>
220 :     <proto name="glDrawRangeElementsVecus">
221 :     <return-type ctype="void"/>
222 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
223 :     <param name="start" ctype="GLuint"/>
224 :     <param name="end" ctype="GLuint"/>
225 :     <param name="count" ctype="GLsizei"/>
226 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
227 :     <param name="indices" ctype="void*" mltype="Word16.word vector"/>
228 :     </proto>
229 :     <proto name="glDrawRangeElementsVecui">
230 :     <return-type ctype="void"/>
231 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
232 :     <param name="start" ctype="GLuint"/>
233 :     <param name="end" ctype="GLuint"/>
234 :     <param name="count" ctype="GLsizei"/>
235 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
236 :     <param name="indices" ctype="void*" mltype="Word32.word vector"/>
237 :     </proto>
238 :     <proto name="glDrawRangeElementsArrub">
239 :     <return-type ctype="void"/>
240 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
241 :     <param name="start" ctype="GLuint"/>
242 :     <param name="end" ctype="GLuint"/>
243 :     <param name="count" ctype="GLsizei"/>
244 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
245 :     <param name="indices" ctype="void*" mltype="Word8.word array"/>
246 :     </proto>
247 :     <proto name="glDrawRangeElementsArrus">
248 :     <return-type ctype="void"/>
249 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
250 :     <param name="start" ctype="GLuint"/>
251 :     <param name="end" ctype="GLuint"/>
252 :     <param name="count" ctype="GLsizei"/>
253 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
254 :     <param name="indices" ctype="void*" mltype="Word16.word array"/>
255 :     </proto>
256 :     <proto name="glDrawRangeElementsArrui">
257 :     <return-type ctype="void"/>
258 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
259 :     <param name="start" ctype="GLuint"/>
260 :     <param name="end" ctype="GLuint"/>
261 :     <param name="count" ctype="GLsizei"/>
262 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
263 :     <param name="indices" ctype="void*" mltype="Word32.word array"/>
264 :     </proto>
265 :     </command>
266 :     <command name="glDrawRangeElementsBaseVertex">
267 :     <proto name="glDrawRangeElementsBaseVertexVecub">
268 :     <return-type ctype="void"/>
269 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
270 :     <param name="start" ctype="GLuint"/>
271 :     <param name="end" ctype="GLuint"/>
272 :     <param name="count" ctype="GLsizei"/>
273 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
274 :     <param name="indices" ctype="void*" mltype="Word8.word vector"/>
275 :     <param name="basevertex" ctype="GLint"/>
276 :     </proto>
277 :     <proto name="glDrawRangeElementsBaseVertexVecus">
278 :     <return-type ctype="void"/>
279 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
280 :     <param name="start" ctype="GLuint"/>
281 :     <param name="end" ctype="GLuint"/>
282 :     <param name="count" ctype="GLsizei"/>
283 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
284 :     <param name="indices" ctype="void*" mltype="Word16.word vector"/>
285 :     <param name="basevertex" ctype="GLint"/>
286 :     </proto>
287 : jhr 1409 <proto name="glDrawRangeElementsBaseVertexVecui">
288 : jhr 1407 <return-type ctype="void"/>
289 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
290 :     <param name="start" ctype="GLuint"/>
291 :     <param name="end" ctype="GLuint"/>
292 :     <param name="count" ctype="GLsizei"/>
293 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
294 : jhr 1409 <param name="indices" ctype="void*" mltype="Word32.word vector"/>
295 : jhr 1407 <param name="basevertex" ctype="GLint"/>
296 :     </proto>
297 :     <proto name="glDrawRangeElementsBaseVertexArrub">
298 :     <return-type ctype="void"/>
299 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
300 :     <param name="start" ctype="GLuint"/>
301 :     <param name="end" ctype="GLuint"/>
302 :     <param name="count" ctype="GLsizei"/>
303 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
304 :     <param name="indices" ctype="void*" mltype="Word8.word array"/>
305 :     <param name="basevertex" ctype="GLint"/>
306 :     </proto>
307 :     <proto name="glDrawRangeElementsBaseVertexArrus">
308 :     <return-type ctype="void"/>
309 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
310 :     <param name="start" ctype="GLuint"/>
311 :     <param name="end" ctype="GLuint"/>
312 :     <param name="count" ctype="GLsizei"/>
313 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
314 :     <param name="indices" ctype="void*" mltype="Word16.word array"/>
315 :     <param name="basevertex" ctype="GLint"/>
316 :     </proto>
317 :     <proto name="glDrawRangeElementsBaseVertexArrui">
318 :     <return-type ctype="void"/>
319 :     <param name="mode" group="PrimitiveType" ctype="GLenum"/>
320 :     <param name="start" ctype="GLuint"/>
321 :     <param name="end" ctype="GLuint"/>
322 :     <param name="count" ctype="GLsizei"/>
323 :     <param name="type" group="DrawElementsType" ctype="GLenum"/>
324 :     <param name="indices" ctype="void*" mltype="Word32.word array"/>
325 :     <param name="basevertex" ctype="GLint"/>
326 :     </proto>
327 :     </command>
328 : jhr 1393 <command name="glGetBooleanv">
329 :     <proto name="glGetBoolean1v">
330 :     <return-type ctype="void"/>
331 :     <param name="pname" group="GetPName" ctype="GLenum"/>
332 :     <param name="data" group="Boolean" ctype="GLboolean*" mltype="glboolean ref"/>
333 :     </proto>
334 :     </command>
335 :     <command name="glGetDoublev">
336 :     <proto name="glGetDouble1v">
337 :     <return-type ctype="void"/>
338 :     <param name="pname" group="GetPName" ctype="GLenum"/>
339 :     <param name="data" ctype="GLdouble*" mltype="gldouble ref"/>
340 :     </proto>
341 :     </command>
342 :     <command name="glGetFloatv">
343 :     <proto name="glGetFloat1v">
344 :     <return-type ctype="void"/>
345 :     <param name="pname" group="GetPName" ctype="GLenum"/>
346 :     <param name="data" ctype="GLfloat*" mltype="glfloat ref"/>
347 :     </proto>
348 :     </command>
349 :     <command name="glGetIntegerv">
350 :     <proto name="glGetInteger1v">
351 :     <return-type ctype="void"/>
352 :     <param name="pname" group="GetPName" ctype="GLenum"/>
353 :     <param name="data" ctype="GLint*" mltype="glint ref"/>
354 :     </proto>
355 :     <proto name="glGetIntegerArray">
356 :     <return-type ctype="void"/>
357 :     <param name="pname" group="GetPName" ctype="GLenum"/>
358 :     <param name="data" ctype="GLint*" mltype="glint array"/>
359 :     </proto>
360 :     <proto name="glGetWord1v">
361 :     <return-type ctype="void"/>
362 :     <param name="pname" group="GetPName" ctype="GLenum"/>
363 :     <param name="data" ctype="GLint*" mltype="gluint ref"/>
364 :     </proto>
365 :     <proto name="glGetEnum">
366 :     <return-type ctype="void"/>
367 :     <param name="pname" group="GetPName" ctype="GLenum"/>
368 :     <param name="data" ctype="GLint*" mltype="glenum ref"/>
369 :     </proto>
370 :     </command>
371 :     <command name="glGetString">
372 :     <proto name="glGetString">
373 :     <return-type ctype="GLubyte*" mltype="ptr"/>
374 :     <param name="name" group="StringName" ctype="GLenum"/>
375 :     </proto>
376 :     </command>
377 : jhr 1413 <command name="glVertexAttribIPointer">
378 :     <proto name="glVertexAttribIPointer">
379 :     <return-type ctype="void"/>
380 :     <param name="index" ctype="GLuint"/>
381 :     <param name="size" ctype="GLint"/>
382 :     <param name="type" group="VertexAttribEnum" ctype="GLenum"/>
383 :     <param name="stride" ctype="GLsizei"/>
384 :     <param name="pointer" ctype="void*" mltype="CPtrDiff.t"/>
385 :     </proto>
386 :     </command>
387 :     <command name="glVertexAttribPointer">
388 :     <proto name="glVertexAttribPointer">
389 :     <return-type ctype="void"/>
390 :     <param name="index" ctype="GLuint"/>
391 :     <param name="size" ctype="GLint"/>
392 :     <param name="type" group="VertexAttribPointerType" ctype="GLenum"/>
393 :     <param name="normalized" group="Boolean" ctype="GLboolean"/>
394 :     <param name="stride" ctype="GLsizei"/>
395 :     <param name="pointer" ctype="void*" mltype="CPtrDiff.t"/>
396 :     </proto>
397 :     </command>
398 : jhr 1393 </commands>
399 : jhr 1396 <groups />
400 :     <features />
401 : jhr 1393 </spec-db>

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0