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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1413 - (download) (annotate)
Mon Apr 14 22:48:52 2014 UTC (5 years ago) by jhr
File size: 18956 byte(s)
  added more ML type info; constrain GL_TRUE and GL_FALSE to have GLboolean type.
<!-- extra function prototypes that have specialized ML types -->

<spec-db registry="gl.xml" api="gl" profile="core" extensions="glcore">
  <types />
  <enums>
    <enum name="GL_FALSE" ctype="GLboolean" value="0" />
    <enum name="GL_TRUE" ctype="GLboolean" value="1" />
  </enums>
  <commands>
    <command name="glDrawElements">
      <proto name="glDrawElementsVecub">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word8.word vector"/>
      </proto>
      <proto name="glDrawElementsVecus">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word16.word vector"/>
      </proto>
      <proto name="glDrawElementsVecui">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word32.word vector"/>
      </proto>
      <proto name="glDrawElementsArrub">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word8.word array"/>
      </proto>
      <proto name="glDrawElementsArrus">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word16.word array"/>
      </proto>
      <proto name="glDrawElementsArrui">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word32.word array"/>
      </proto>
    </command>
    <command name="glDrawElementsBaseVertex">
      <proto name="glDrawElementsBaseVertexVecub">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word8.word vector"/>
        <param name="basevertex" ctype="GLint"/>
      </proto>
      <proto name="glDrawElementsBaseVertexVecus">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word16.word vector"/>
        <param name="basevertex" ctype="GLint"/>
      </proto>
      <proto name="glDrawElementsBaseVertexVecui">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word32.word vector"/>
        <param name="basevertex" ctype="GLint"/>
      </proto>
      <proto name="glDrawElementsBaseVertexArrub">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word8.word array"/>
        <param name="basevertex" ctype="GLint"/>
      </proto>
      <proto name="glDrawElementsBaseVertexArrus">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word16.word array"/>
        <param name="basevertex" ctype="GLint"/>
      </proto>
      <proto name="glDrawElementsBaseVertexArrui">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word32.word array"/>
        <param name="basevertex" ctype="GLint"/>
      </proto>
    </command>
    <command name="glDrawElementsInstanced">
      <proto name="glDrawElementsInstancedVecub">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word8.word vector"/>
        <param name="instancecount" ctype="GLsizei"/>
      </proto>
      <proto name="glDrawElementsInstancedVecus">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word16.word vector"/>
        <param name="instancecount" ctype="GLsizei"/>
      </proto>
      <proto name="glDrawElementsInstancedVecui">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word32.word vector"/>
        <param name="instancecount" ctype="GLsizei"/>
      </proto>
      <proto name="glDrawElementsInstancedArrub">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word8.word array"/>
        <param name="instancecount" ctype="GLsizei"/>
      </proto>
      <proto name="glDrawElementsInstancedArrus">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word16.word array"/>
        <param name="instancecount" ctype="GLsizei"/>
      </proto>
      <proto name="glDrawElementsInstancedArrui">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word32.word array"/>
        <param name="instancecount" ctype="GLsizei"/>
      </proto>
    </command>
    <command name="glDrawElementsInstancedBaseVertex">
      <proto name="glDrawElementsInstancedBaseVertexVecub">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word8.word vector"/>
        <param name="instancecount" ctype="GLsizei"/>
        <param name="basevertex" ctype="GLint"/>
      </proto>
      <proto name="glDrawElementsInstancedBaseVertexVecus">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word16.word vector"/>
        <param name="instancecount" ctype="GLsizei"/>
        <param name="basevertex" ctype="GLint"/>
      </proto>
      <proto name="glDrawElementsInstancedBaseVertexVecui">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word32.word vector"/>
        <param name="instancecount" ctype="GLsizei"/>
        <param name="basevertex" ctype="GLint"/>
      </proto>
      <proto name="glDrawElementsInstancedBaseVertexArrub">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word8.word array"/>
        <param name="instancecount" ctype="GLsizei"/>
        <param name="basevertex" ctype="GLint"/>
      </proto>
      <proto name="glDrawElementsInstancedBaseVertexArrus">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word16.word array"/>
        <param name="instancecount" ctype="GLsizei"/>
        <param name="basevertex" ctype="GLint"/>
      </proto>
      <proto name="glDrawElementsInstancedBaseVertexArrui">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word32.word array"/>
        <param name="instancecount" ctype="GLsizei"/>
        <param name="basevertex" ctype="GLint"/>
      </proto>
    </command>
    <command name="glDrawRangeElements">
      <proto name="glDrawRangeElementsVecub">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="start" ctype="GLuint"/>
        <param name="end" ctype="GLuint"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word8.word vector"/>
      </proto>
      <proto name="glDrawRangeElementsVecus">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="start" ctype="GLuint"/>
        <param name="end" ctype="GLuint"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word16.word vector"/>
      </proto>
      <proto name="glDrawRangeElementsVecui">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="start" ctype="GLuint"/>
        <param name="end" ctype="GLuint"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word32.word vector"/>
      </proto>
      <proto name="glDrawRangeElementsArrub">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="start" ctype="GLuint"/>
        <param name="end" ctype="GLuint"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word8.word array"/>
      </proto>
      <proto name="glDrawRangeElementsArrus">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="start" ctype="GLuint"/>
        <param name="end" ctype="GLuint"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word16.word array"/>
      </proto>
      <proto name="glDrawRangeElementsArrui">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="start" ctype="GLuint"/>
        <param name="end" ctype="GLuint"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word32.word array"/>
      </proto>
    </command>
    <command name="glDrawRangeElementsBaseVertex">
      <proto name="glDrawRangeElementsBaseVertexVecub">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="start" ctype="GLuint"/>
        <param name="end" ctype="GLuint"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word8.word vector"/>
        <param name="basevertex" ctype="GLint"/>
      </proto>
      <proto name="glDrawRangeElementsBaseVertexVecus">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="start" ctype="GLuint"/>
        <param name="end" ctype="GLuint"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word16.word vector"/>
        <param name="basevertex" ctype="GLint"/>
      </proto>
      <proto name="glDrawRangeElementsBaseVertexVecui">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="start" ctype="GLuint"/>
        <param name="end" ctype="GLuint"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word32.word vector"/>
        <param name="basevertex" ctype="GLint"/>
      </proto>
      <proto name="glDrawRangeElementsBaseVertexArrub">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="start" ctype="GLuint"/>
        <param name="end" ctype="GLuint"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word8.word array"/>
        <param name="basevertex" ctype="GLint"/>
      </proto>
      <proto name="glDrawRangeElementsBaseVertexArrus">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="start" ctype="GLuint"/>
        <param name="end" ctype="GLuint"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word16.word array"/>
        <param name="basevertex" ctype="GLint"/>
      </proto>
      <proto name="glDrawRangeElementsBaseVertexArrui">
        <return-type ctype="void"/>
        <param name="mode" group="PrimitiveType" ctype="GLenum"/>
        <param name="start" ctype="GLuint"/>
        <param name="end" ctype="GLuint"/>
        <param name="count" ctype="GLsizei"/>
        <param name="type" group="DrawElementsType" ctype="GLenum"/>
        <param name="indices" ctype="void*" mltype="Word32.word array"/>
        <param name="basevertex" ctype="GLint"/>
      </proto>
    </command>
    <command name="glGetBooleanv">
      <proto name="glGetBoolean1v">
        <return-type ctype="void"/>
        <param name="pname" group="GetPName" ctype="GLenum"/>
        <param name="data" group="Boolean" ctype="GLboolean*" mltype="glboolean ref"/>
      </proto>
    </command>
    <command name="glGetDoublev">
      <proto name="glGetDouble1v">
        <return-type ctype="void"/>
        <param name="pname" group="GetPName" ctype="GLenum"/>
        <param name="data" ctype="GLdouble*" mltype="gldouble ref"/>
      </proto>
    </command>
    <command name="glGetFloatv">
      <proto name="glGetFloat1v">
        <return-type ctype="void"/>
        <param name="pname" group="GetPName" ctype="GLenum"/>
        <param name="data" ctype="GLfloat*" mltype="glfloat ref"/>
      </proto>
    </command>
    <command name="glGetIntegerv">
      <proto name="glGetInteger1v">
        <return-type ctype="void"/>
        <param name="pname" group="GetPName" ctype="GLenum"/>
        <param name="data" ctype="GLint*" mltype="glint ref"/>
      </proto>
      <proto name="glGetIntegerArray">
        <return-type ctype="void"/>
        <param name="pname" group="GetPName" ctype="GLenum"/>
        <param name="data" ctype="GLint*" mltype="glint array"/>
      </proto>
      <proto name="glGetWord1v">
        <return-type ctype="void"/>
        <param name="pname" group="GetPName" ctype="GLenum"/>
        <param name="data" ctype="GLint*" mltype="gluint ref"/>
      </proto>
      <proto name="glGetEnum">
        <return-type ctype="void"/>
        <param name="pname" group="GetPName" ctype="GLenum"/>
        <param name="data" ctype="GLint*" mltype="glenum ref"/>
      </proto>
    </command>
    <command name="glGetString">
      <proto name="glGetString">
        <return-type ctype="GLubyte*" mltype="ptr"/>
        <param name="name" group="StringName" ctype="GLenum"/>
      </proto>
    </command>
    <command name="glVertexAttribIPointer">
      <proto name="glVertexAttribIPointer">
        <return-type ctype="void"/>
        <param name="index" ctype="GLuint"/>
        <param name="size" ctype="GLint"/>
        <param name="type" group="VertexAttribEnum" ctype="GLenum"/>
        <param name="stride" ctype="GLsizei"/>
        <param name="pointer" ctype="void*" mltype="CPtrDiff.t"/>
      </proto>
    </command>
    <command name="glVertexAttribPointer">
      <proto name="glVertexAttribPointer">
        <return-type ctype="void"/>
        <param name="index" ctype="GLuint"/>
        <param name="size" ctype="GLint"/>
        <param name="type" group="VertexAttribPointerType" ctype="GLenum"/>
        <param name="normalized" group="Boolean" ctype="GLboolean"/>
        <param name="stride" ctype="GLsizei"/>
        <param name="pointer" ctype="void*" mltype="CPtrDiff.t"/>
      </proto>
    </command>
  </commands>
  <groups />
  <features />
</spec-db>

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