class FACET

All features

Direct parents

non-conformant parents

SMART_GL

Summary

creation features

exported features

Details

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

  • texture = tex

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
texture: TEXTURE_2D
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

  • not has_begun

ensure

  • has_begun

begin_lines

require

  • not has_begun

ensure

  • has_begun

begin_line_strip

require

  • not has_begun

ensure

  • has_begun

begin_line_loop

require

  • not has_begun

ensure

  • has_begun

begin_triangles

require

  • not has_begun

ensure

  • has_begun

begin_triangle_strip

require

  • not has_begun

ensure

  • has_begun

begin_triangle_fan

require

  • not has_begun

ensure

  • has_begun

begin_quads

require

  • not has_begun

ensure

  • has_begun

begin_quad_strip

require

  • not has_begun

ensure

  • has_begun

begin_polygon

require

  • not has_begun

ensure

  • has_begun

end_primitive

require

  • has_begun

ensure

  • not has_begun

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

  • Result.in_range(0, 1)

has_begun: BOOLEAN
gl: GL
glu: GLU