| build |
|
| make_at_origin |
|
| make_with_position (x: REAL, y: REAL, z: REAL) |
|
| set_position (x: REAL, y: REAL, z: REAL) |
|
| set_orientation (h: REAL, p: REAL, r: REAL) |
|
| position_x: REAL |
|
| position_y: REAL |
|
| position_z: REAL |
|
| heading: REAL |
|
| pitch: REAL |
|
| roll: REAL |
|
| scale_x: REAL |
|
| scale_y: REAL |
|
| scale_z: REAL |
|
| set_position_x (x: REAL) |
|
ensure
|
| set_position_y (y: REAL) |
|
ensure
|
| set_position_z (z: REAL) |
|
ensure
|
| set_heading (h: REAL) |
|
ensure
- heading.in_range(-180, 180)
|
| set_pitch (p: REAL) |
|
ensure
- pitch.in_range(-180, 180)
|
| set_roll (r: REAL) |
|
ensure
|
| set_scale (sx: REAL, sy: REAL, sz: REAL) |
|
| set_scale_x (sx: REAL) |
|
ensure
|
| set_scale_y (sy: REAL) |
|
ensure
|
| set_scale_z (sz: REAL) |
|
ensure
|
| render |
|
| draw |
|
| post_redisplay |
|
require
|
| set_parent (p: WORLD) |
|
require
ensure
|
| is_translucent: BOOLEAN |
|
| add_opaque_facet (facet: FACET) |
|
| add_translucent_facet (facet: FACET) |
|
ensure
|
| parent: WORLD |
|
| facets: LINKED_LIST [E_][FACET] |
|
| iterator: ITERATOR [E_][FACET] |
|
| 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 |
|