| make (id: INTEGER) |
| make_with_colors (id: INTEGER, a: GL_COLOR, d: GL_COLOR, s: GL_COLOR) |
| make (id: INTEGER) |
| make_with_colors (id: INTEGER, a: GL_COLOR, d: GL_COLOR, s: GL_COLOR) |
| set_ambient (a: GL_COLOR) |
|
require
ensure
|
| set_diffuse (d: GL_COLOR) |
|
require
ensure
|
| set_specular (s: GL_COLOR) |
|
require
ensure
|
| light_id: INTEGER |
| select_light (id: INTEGER) |
|
ensure
|
| ambient: GL_COLOR |
| diffuse: GL_COLOR |
| specular: GL_COLOR |
| set_directional (x: REAL, y: REAL, z: REAL) |
|
require
ensure
|
| set_spot_position (x: REAL, y: REAL, z: REAL) |
|
require
ensure
|
| set_spot_direction (x: REAL, y: REAL, z: REAL) |
|
require
|
| is_directional: BOOLEAN |
|
require
|
| is_spot: BOOLEAN |
|
require
|
| render |
|
require
|
| cutoff: REAL |
|
require
ensure
|
| set_cutoff (co: REAL) |
|
require
ensure
|
| exponent: REAL |
|
require
|
| set_exponent (exp: REAL) |
|
require
ensure
|
| constant_attenuation: REAL |
|
require
|
| set_constant_attenuation (att: REAL) |
|
require
ensure
|
| linear_attenuation: REAL |
|
require
|
| set_linear_attenuation (att: REAL) |
|
require
ensure
|
| quadratic_attenuation: REAL |
|
require
|
| set_quadratic_attenuation (att: REAL) |
|
require
ensure
|
| render_directional |
|
require
|
| render_spot |
|
require
|
| render_all_colors |
|
require
|
| position: FAST_ARRAY [E_][REAL_32] |
| direction: FAST_ARRAY [E_][REAL_32] |
| has_id: BOOLEAN |
| has_cutoff: BOOLEAN |
| has_exponent: BOOLEAN |
| has_constant_attenuation: BOOLEAN |
| has_linear_attenuation: BOOLEAN |
| has_quadratic_attenuation: BOOLEAN |
| internal_cutoff: REAL_32 |
| internal_exponent: REAL_32 |
| internal_constant_attenuation: REAL_32 |
| internal_linear_attenuation: REAL_32 |
| internal_quadratic_attenuation: REAL_32 |
| set_clear_color (red: REAL, green: REAL, blue: REAL, alpha: REAL) |
| set_clear_depth (depth: REAL) |
| translate (x: REAL, y: REAL, z: REAL) |
| rotate (angle: REAL, axis_x: REAL, axis_y: REAL, axis_z: REAL) |
| scale (x: REAL, y: REAL, z: REAL) |
| begin_rendering |
| end_rendering |
| begin_points |
|
require
ensure
|
| begin_lines |
|
require
ensure
|
| begin_line_strip |
|
require
ensure
|
| begin_line_loop |
|
require
ensure
|
| begin_triangles |
|
require
ensure
|
| begin_triangle_strip |
|
require
ensure
|
| begin_triangle_fan |
|
require
ensure
|
| begin_quads |
|
require
ensure
|
| begin_quad_strip |
|
require
ensure
|
| begin_polygon |
|
require
ensure
|
| end_primitive |
|
require
ensure
|
| vertex (x: REAL, y: REAL, z: REAL) |
| full_red: GL_COLOR |
| full_green: GL_COLOR |
| full_blue: GL_COLOR |
| full_yellow: GL_COLOR |
| full_magenta: GL_COLOR |
| full_cyan: GL_COLOR |
| full_white: GL_COLOR |
| full_black: GL_COLOR |
| clamp (real: REAL): REAL |
|
ensure
|
| has_begun: BOOLEAN |
| gl: GL |
| glu: GLU |