home
wiki
classes/clusters list
class information
+
Point of view
ANY
ANY
INTERNALS_HANDLER
All features
class FOG
Summary
top
Direct parents
insert list:
OPENGL
Class invariant
top
is_linear
implies not
is_exp
and then not
is_exp2
is_exp
implies not
is_linear
and then not
is_exp2
is_exp2
implies not
is_linear
and then not
is_exp
Overview
top
creation features
make_linear
(f_start:
REAL_64
, f_end:
REAL_64
)
make_exp
(f_start:
REAL_64
, f_end:
REAL_64
, f_density:
REAL_64
)
make_exp2
(f_start:
REAL_64
, f_end:
REAL_64
, f_density:
REAL_64
)
exported features
make_linear
(f_start:
REAL_64
, f_end:
REAL_64
)
make_exp
(f_start:
REAL_64
, f_end:
REAL_64
, f_density:
REAL_64
)
make_exp2
(f_start:
REAL_64
, f_end:
REAL_64
, f_density:
REAL_64
)
is_linear
:
BOOLEAN
is_exp
:
BOOLEAN
is_exp2
:
BOOLEAN
render
color
:
GL_COLOR
set_color
(co:
GL_COLOR
)
make_linear
(f_start:
REAL_64
, f_end:
REAL_64
)
effective procedure
top
ensure
is_linear
make_exp
(f_start:
REAL_64
, f_end:
REAL_64
, f_density:
REAL_64
)
effective procedure
top
ensure
is_exp
make_exp2
(f_start:
REAL_64
, f_end:
REAL_64
, f_density:
REAL_64
)
effective procedure
top
ensure
is_exp2
is_linear
:
BOOLEAN
writable attribute
top
is_exp
:
BOOLEAN
writable attribute
top
is_exp2
:
BOOLEAN
writable attribute
top
render
effective procedure
top
require
color
/= Void
color
:
GL_COLOR
writable attribute
top
set_color
(co:
GL_COLOR
)
effective procedure
top
require
co /= Void
ensure
color
= co