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

em.video.opengl

Class GL_TEXTURE


Direct ancestors

GL_SHARED_TEXTURES, GL_FUNCTIONS_EXTERNAL, GLU_FUNCTIONS_EXTERNAL, DISPOSABLE

Known direct descendants

GL_SURFACE_TEXTURE, GL_STATIC_TEXTURE

Features

Invariants

indexing

description

Base class for OpenGL texture.
Use id to access the OpenGL texture id.

date

$Date$

revision

$Revision$

deferred class

GL_TEXTURE

feature -- Access

id: INTEGER

-- OpenGL texture id

feature -- Measurement

height: INTEGER

-- Height of texture in pixels

width: INTEGER

-- Width of texture in pixels

feature -- Status report

is_not_freeing_texture: BOOLEAN

-- Is Current not freeing texture on disposal?

is_valid: BOOLEAN

-- Is texture valid?

feature -- Status setting

do_not_free_texture

-- Tell Current not to free texture on disposal.
-- If you call this, you will be responsible for freeing
-- the OpenGL texture yourself using gl_delete_textures!

feature -- Basic Operations

save

-- Save texture in global textures list.
-- A saved texture will not be freed, even when you loose
-- the reference to the texture object. To free it later use
-- the global storage GL_TEXTURES.
-- TODO: maybe a mechanism to add an id would be nice.

invariant

width_not_negative: width >= 0
height_not_negative: height >= 0

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

end