home
wiki
classes/clusters list
class information
+
Point of view
INTERNALS_HANDLER
ANY
NCURSES_WIDGET
INTERNALS_HANDLER
All features
class NCURSES_PROGRESSBAR
Summary
top
This class adds a progress bar widget.
Direct parents
inherit list:
NCURSES_WIDGET
Class invariant
top
max_value
>=
min_value
current_value
.in_range(
min_value
,
max_value
)
Overview
top
creation features
make
(p:
NCURSES_WIDGET
, x:
INTEGER_32
, y:
INTEGER_32
, w:
INTEGER_32
, min:
INTEGER_32
, max:
INTEGER_32
)
exported features
left
:
INTEGER_32
top
:
INTEGER_32
width
:
INTEGER_32
height
:
INTEGER_32
min_value
:
INTEGER_32
max_value
:
INTEGER_32
current_value
:
INTEGER_32
set_value
(v:
INTEGER_32
)
refresh_later
is_value_displayed
:
BOOLEAN
display_value
(b:
BOOLEAN
)
redraw_later
redraw_now
hidden
:
BOOLEAN
show
hide
is_children_drawing_disable
:
BOOLEAN
draw_children
(b:
BOOLEAN
)
set_foreground_color
(color:
INTEGER_32
)
set_background_color
(color:
INTEGER_32
)
set_colors
(foreground:
INTEGER_32
, background:
INTEGER_32
)
get_foreground_color
:
INTEGER_32
get_background_color
:
INTEGER_32
invisible_cursor_mode
:
INTEGER_32
In this mode the cursor is invisible.
default_visible_cursor_mode
:
INTEGER_32
The default visible cursor mode.
special_visible_cursor_mode
:
INTEGER_32
In this mode cursor may blink in a more special or in a more visible way.
valid_cursor_visibility
(code:
INTEGER_32
):
BOOLEAN
Chack that code is one of
invisible_cursor_mode
,
default_visible_cursor_mode
or
special_visible_cursor_mode
.
left
:
INTEGER_32
writable attribute
top
top
:
INTEGER_32
writable attribute
top
width
:
INTEGER_32
writable attribute
top
height
:
INTEGER_32
writable attribute
top
min_value
:
INTEGER_32
writable attribute
top
max_value
:
INTEGER_32
writable attribute
top
current_value
:
INTEGER_32
writable attribute
top
set_value
(v:
INTEGER_32
)
effective procedure
top
require
v.in_range(
min_value
,
max_value
)
refresh_later
effective procedure
top
is_value_displayed
:
BOOLEAN
writable attribute
top
display_value
(b:
BOOLEAN
)
effective procedure
top
redraw_later
effective procedure
top
redraw_now
effective procedure
top
hidden
:
BOOLEAN
writable attribute
top
show
effective procedure
top
hide
effective procedure
top
is_children_drawing_disable
:
BOOLEAN
writable attribute
top
draw_children
(b:
BOOLEAN
)
effective procedure
top
set_foreground_color
(color:
INTEGER_32
)
effective procedure
top
set_background_color
(color:
INTEGER_32
)
effective procedure
top
set_colors
(foreground:
INTEGER_32
, background:
INTEGER_32
)
effective procedure
top
get_foreground_color
:
INTEGER_32
effective function
top
get_background_color
:
INTEGER_32
effective function
top
invisible_cursor_mode
:
INTEGER_32
constant attribute
top
In this mode the cursor is invisible.
default_visible_cursor_mode
:
INTEGER_32
constant attribute
top
The default visible cursor mode.
special_visible_cursor_mode
:
INTEGER_32
constant attribute
top
In this mode cursor may blink in a more special or in a more visible way.
valid_cursor_visibility
(code:
INTEGER_32
):
BOOLEAN
effective function
top
Chack that code is one of
invisible_cursor_mode
,
default_visible_cursor_mode
or
special_visible_cursor_mode
.
ensure
Result = code.in_range(
invisible_cursor_mode
,
special_visible_cursor_mode
)