| load (world: WORLD, complete_file_name: STRING, uol: UNIVERSAL_OBJECT_LOADER[E_], utl: UNIVERSAL_TEXTURE_LOADER) |
| deferred load_from_file (world: WORLD, complete_file_name: STRING) |
| make |
| 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 |