Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

em.video.opengl

Class GL_TEXTURES



Creation

Features

Invariants

indexing

description

A global storage for textures.
TODO: write usage description
TOOD: maybe a mechanism to map textures on ids would be nice.

date

$Date$

revision

$Revision$

class

GL_TEXTURES

create {GL_SHARED_TEXTURES}

make

-- Initialise default values.

feature -- Access

textures: DS_LINEAR [GL_TEXTURE]

-- Saved textures

feature -- Element change

save (a_texture: GL_TEXTURE)

-- Save a_texture.

require
a_texture_not_void: a_texture /= Void
ensure
texture_added: textures.has (a_texture)

feature -- Removal

delete (a_texture: GL_TEXTURE)

-- Delete a_texture.

require
a_texture_not_void: a_texture /= Void
ensure
texture_deleted: not textures.has (a_texture)
delete_all

-- Delete all textures.

ensure
textures_deleted: textures.is_empty
delete_id (an_id: INTEGER)

-- Delete texture with an_id.

invariant

textures_not_void: textures /= Void

-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

end