| make (v1: VERTEX, v2: VERTEX, v3: VERTEX) |
|
require
- v1 /= Void
- v2 /= Void
- v3 /= Void
ensure
- vertex1 = v1
- vertex2 = v2
- vertex3 = v3
|
| make (v1: VERTEX, v2: VERTEX, v3: VERTEX) |
|
require
- v1 /= Void
- v2 /= Void
- v3 /= Void
ensure
- vertex1 = v1
- vertex2 = v2
- vertex3 = v3
|
| render |
|
| set_texture (tex: TEXTURE_2D) |
|
ensure
|
| vertex1: VERTEX |
|
| vertex2: VERTEX |
|
| vertex3: VERTEX |
|
| set_texture_composition_function (function: INTEGER) |
|
ensure
- texture_composition_function = function
|
| texture_composition_function: INTEGER |
|
| is_translucent: BOOLEAN |
|
| has_color: BOOLEAN |
|
| 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 |
|
| gl: GL |
|
| glu: GLU |
|