class FOG

All features

Direct parents

non-conformant parents

SMART_GL

Summary

creation features

exported features

Details

make_linear (f_start: REAL, f_end: REAL)

ensure

  • is_linear

make_exp (f_start: REAL, f_end: REAL, f_density: REAL)

ensure

  • is_exp

make_exp2 (f_start: REAL, f_end: REAL, f_density: REAL)

ensure

  • is_exp2

make_linear (f_start: REAL, f_end: REAL)

ensure

  • is_linear

make_exp (f_start: REAL, f_end: REAL, f_density: REAL)

ensure

  • is_exp

make_exp2 (f_start: REAL, f_end: REAL, f_density: REAL)

ensure

  • is_exp2

is_linear: BOOLEAN
is_exp: BOOLEAN
is_exp2: BOOLEAN
render

require

  • color /= Void

color: GL_COLOR
set_color (co: GL_COLOR)

require

  • co /= Void

ensure

  • color = co

fog_start: REAL_32
fog_end: REAL_32
fog_density: 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

  • 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

Class invariant