package GL.Buffer is

type Object is abstract tagged private;

type array_Object         is new Object with private;

type element_array_Object is new Object with private;

type vertex_buffer_Object is new array_Object with null record;

subtype vbo_Name is gl.uInt;

no_platform_Support : exception;

procedure enable  
(
Self
: in     Object'Class);

procedure destroy 
(
Self
: in out Object'Class);

function VBO_Target 
(
Self
: in Object)
return gl.VBO_Target is abstract;

function vbo_Target 
(
Self
: in array_Object)
return gl.VBO_Target;

function vbo_Target 
(
Self
: in element_array_Object)
return gl.VBO_Target;

procedure verify_Name 
(
Self
: in out Object'Class);