class FOG

Features exported to ANY

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

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

                                              Class invariant