GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
tutorial
>
PROGRESSBAR
+
Point of view
All features
ANY
All features
class PROGRESSBAR
Summary
top
Direct parents
Insert list:
NCURSES_COLORS
,
NCURSES_KEYS
,
NCURSES_TOOLS
Overview
top
Creation features
{}
main
Features
{}
progress_bar
:
NCURSES_PROGRESSBAR
root_window
:
NCURSES_WINDOW
sub_window
:
NCURSES_WINDOW
main
redraw
key_press
(key_code:
INTEGER_32
)
{
ANY
}
ncurses
:
NCURSES
Access to the
ncurses
singleton.
{
ANY
}
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
Check that code is one of
invisible_cursor_mode
,
default_visible_cursor_mode
or
special_visible_cursor_mode
.
{}
key_escape
:
INTEGER_32
key_return
:
INTEGER_32
Below are integer equivalent for special
"function"
keys.
key_min
:
INTEGER_32
key_break
:
INTEGER_32
key_sreset
:
INTEGER_32
key_reset
:
INTEGER_32
key_down
:
INTEGER_32
The Down arrow of the keyboard.
key_up
:
INTEGER_32
The Up arrow of the keyboard.
key_left
:
INTEGER_32
The Left arrow of the keyboard.
key_right
:
INTEGER_32
The Right arrow of the keyboard.
key_home
:
INTEGER_32
key_backspace
:
INTEGER_32
key_dl
:
INTEGER_32
key_il
:
INTEGER_32
key_dc
:
INTEGER_32
key_ic
:
INTEGER_32
key_eic
:
INTEGER_32
key_clear
:
INTEGER_32
key_eos
:
INTEGER_32
key_eol
:
INTEGER_32
key_sf
:
INTEGER_32
key_sr
:
INTEGER_32
key_next_page
:
INTEGER_32
Also labeled
"Page Down"
on some keyboards.
key_previous_page
:
INTEGER_32
Also labeled
"Page Up"
on some keyboards.
key_stab
:
INTEGER_32
key_ctab
:
INTEGER_32
key_catab
:
INTEGER_32
key_enter
:
INTEGER_32
key_print
:
INTEGER_32
key_ll
:
INTEGER_32
key_a1
:
INTEGER_32
key_a3
:
INTEGER_32
key_b2
:
INTEGER_32
key_c1
:
INTEGER_32
key_c3
:
INTEGER_32
key_btab
:
INTEGER_32
key_beg
:
INTEGER_32
key_cancel
:
INTEGER_32
key_close
:
INTEGER_32
key_command
:
INTEGER_32
key_copy
:
INTEGER_32
key_create
:
INTEGER_32
key_end
:
INTEGER_32
key_exit
:
INTEGER_32
key_find
:
INTEGER_32
key_help
:
INTEGER_32
key_mark
:
INTEGER_32
key_message
:
INTEGER_32
key_move
:
INTEGER_32
key_next
:
INTEGER_32
key_open
:
INTEGER_32
key_options
:
INTEGER_32
key_previous
:
INTEGER_32
key_redo
:
INTEGER_32
key_reference
:
INTEGER_32
key_refresh
:
INTEGER_32
key_replace
:
INTEGER_32
key_restart
:
INTEGER_32
key_resume
:
INTEGER_32
key_save
:
INTEGER_32
key_sbeg
:
INTEGER_32
key_scancel
:
INTEGER_32
key_scommand
:
INTEGER_32
key_scopy
:
INTEGER_32
key_screate
:
INTEGER_32
key_sdc
:
INTEGER_32
key_sdl
:
INTEGER_32
key_select
:
INTEGER_32
key_send
:
INTEGER_32
key_seol
:
INTEGER_32
key_sexit
:
INTEGER_32
key_sfind
:
INTEGER_32
key_shelp
:
INTEGER_32
key_shome
:
INTEGER_32
key_sic
:
INTEGER_32
key_sleft
:
INTEGER_32
key_smessage
:
INTEGER_32
key_smove
:
INTEGER_32
key_snext
:
INTEGER_32
key_soptions
:
INTEGER_32
key_sprevious
:
INTEGER_32
key_sprint
:
INTEGER_32
key_sredo
:
INTEGER_32
key_sreplace
:
INTEGER_32
key_sright
:
INTEGER_32
key_srsume
:
INTEGER_32
key_ssave
:
INTEGER_32
key_ssuspend
:
INTEGER_32
key_sundo
:
INTEGER_32
key_suspend
:
INTEGER_32
key_undo
:
INTEGER_32
key_mouse
:
INTEGER_32
key_resize
:
INTEGER_32
key_event
:
INTEGER_32
key_max
:
INTEGER_32
key_f0
:
INTEGER_32
key_f1
:
INTEGER_32
key_f2
:
INTEGER_32
key_f3
:
INTEGER_32
key_f4
:
INTEGER_32
key_f5
:
INTEGER_32
key_f6
:
INTEGER_32
key_f7
:
INTEGER_32
key_f8
:
INTEGER_32
key_f9
:
INTEGER_32
key_f10
:
INTEGER_32
key_f11
:
INTEGER_32
key_f12
:
INTEGER_32
key_function
(num:
INTEGER_32
):
INTEGER_32
{}
black_color
:
INTEGER_32
red_color
:
INTEGER_32
green_color
:
INTEGER_32
yellow_color
:
INTEGER_32
blue_color
:
INTEGER_32
magenta_color
:
INTEGER_32
cyan_color
:
INTEGER_32
white_color
:
INTEGER_32
progress_bar
:
NCURSES_PROGRESSBAR
writable attribute
{}
top
root_window
:
NCURSES_WINDOW
writable attribute
{}
top
sub_window
:
NCURSES_WINDOW
writable attribute
{}
top
main
effective procedure
{}
top
redraw
effective procedure
{}
top
key_press
(key_code:
INTEGER_32
)
effective procedure
{}
top
ncurses
:
NCURSES
once function
{
ANY
}
top
Access to the
ncurses
singleton.
invisible_cursor_mode
:
INTEGER_32
is 0
constant attribute
{
ANY
}
top
In this mode the cursor is invisible.
default_visible_cursor_mode
:
INTEGER_32
is 1
constant attribute
{
ANY
}
top
The default visible cursor mode.
special_visible_cursor_mode
:
INTEGER_32
is 2
constant attribute
{
ANY
}
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
{
ANY
}
top
Check 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
)
key_escape
:
INTEGER_32
is 27
constant attribute
{}
top
key_return
:
INTEGER_32
is 10
constant attribute
{}
top
Below are integer equivalent for special
"function"
keys.
Is it necessary to keep all of them ?
key_min
:
INTEGER_32
{}
top
key_break
:
INTEGER_32
{}
top
key_sreset
:
INTEGER_32
{}
top
key_reset
:
INTEGER_32
{}
top
key_down
:
INTEGER_32
{}
top
The Down arrow of the keyboard.
key_up
:
INTEGER_32
{}
top
The Up arrow of the keyboard.
key_left
:
INTEGER_32
{}
top
The Left arrow of the keyboard.
key_right
:
INTEGER_32
{}
top
The Right arrow of the keyboard.
key_home
:
INTEGER_32
{}
top
key_backspace
:
INTEGER_32
{}
top
key_dl
:
INTEGER_32
{}
top
key_il
:
INTEGER_32
{}
top
key_dc
:
INTEGER_32
{}
top
key_ic
:
INTEGER_32
{}
top
key_eic
:
INTEGER_32
{}
top
key_clear
:
INTEGER_32
{}
top
key_eos
:
INTEGER_32
{}
top
key_eol
:
INTEGER_32
{}
top
key_sf
:
INTEGER_32
{}
top
key_sr
:
INTEGER_32
{}
top
key_next_page
:
INTEGER_32
{}
top
Also labeled
"Page Down"
on some keyboards.
key_previous_page
:
INTEGER_32
{}
top
Also labeled
"Page Up"
on some keyboards.
key_stab
:
INTEGER_32
{}
top
key_ctab
:
INTEGER_32
{}
top
key_catab
:
INTEGER_32
{}
top
key_enter
:
INTEGER_32
{}
top
key_print
:
INTEGER_32
{}
top
key_ll
:
INTEGER_32
{}
top
key_a1
:
INTEGER_32
{}
top
key_a3
:
INTEGER_32
{}
top
key_b2
:
INTEGER_32
{}
top
key_c1
:
INTEGER_32
{}
top
key_c3
:
INTEGER_32
{}
top
key_btab
:
INTEGER_32
{}
top
key_beg
:
INTEGER_32
{}
top
key_cancel
:
INTEGER_32
{}
top
key_close
:
INTEGER_32
{}
top
key_command
:
INTEGER_32
{}
top
key_copy
:
INTEGER_32
{}
top
key_create
:
INTEGER_32
{}
top
key_end
:
INTEGER_32
{}
top
key_exit
:
INTEGER_32
{}
top
key_find
:
INTEGER_32
{}
top
key_help
:
INTEGER_32
{}
top
key_mark
:
INTEGER_32
{}
top
key_message
:
INTEGER_32
{}
top
key_move
:
INTEGER_32
{}
top
key_next
:
INTEGER_32
{}
top
key_open
:
INTEGER_32
{}
top
key_options
:
INTEGER_32
{}
top
key_previous
:
INTEGER_32
{}
top
key_redo
:
INTEGER_32
{}
top
key_reference
:
INTEGER_32
{}
top
key_refresh
:
INTEGER_32
{}
top
key_replace
:
INTEGER_32
{}
top
key_restart
:
INTEGER_32
{}
top
key_resume
:
INTEGER_32
{}
top
key_save
:
INTEGER_32
{}
top
key_sbeg
:
INTEGER_32
{}
top
key_scancel
:
INTEGER_32
{}
top
key_scommand
:
INTEGER_32
{}
top
key_scopy
:
INTEGER_32
{}
top
key_screate
:
INTEGER_32
{}
top
key_sdc
:
INTEGER_32
{}
top
key_sdl
:
INTEGER_32
{}
top
key_select
:
INTEGER_32
{}
top
key_send
:
INTEGER_32
{}
top
key_seol
:
INTEGER_32
{}
top
key_sexit
:
INTEGER_32
{}
top
key_sfind
:
INTEGER_32
{}
top
key_shelp
:
INTEGER_32
{}
top
key_shome
:
INTEGER_32
{}
top
key_sic
:
INTEGER_32
{}
top
key_sleft
:
INTEGER_32
{}
top
key_smessage
:
INTEGER_32
{}
top
key_smove
:
INTEGER_32
{}
top
key_snext
:
INTEGER_32
{}
top
key_soptions
:
INTEGER_32
{}
top
key_sprevious
:
INTEGER_32
{}
top
key_sprint
:
INTEGER_32
{}
top
key_sredo
:
INTEGER_32
{}
top
key_sreplace
:
INTEGER_32
{}
top
key_sright
:
INTEGER_32
{}
top
key_srsume
:
INTEGER_32
{}
top
key_ssave
:
INTEGER_32
{}
top
key_ssuspend
:
INTEGER_32
{}
top
key_sundo
:
INTEGER_32
{}
top
key_suspend
:
INTEGER_32
{}
top
key_undo
:
INTEGER_32
{}
top
key_mouse
:
INTEGER_32
{}
top
key_resize
:
INTEGER_32
{}
top
key_event
:
INTEGER_32
{}
top
key_max
:
INTEGER_32
{}
top
key_f0
:
INTEGER_32
{}
top
key_f1
:
INTEGER_32
{}
top
key_f2
:
INTEGER_32
{}
top
key_f3
:
INTEGER_32
{}
top
key_f4
:
INTEGER_32
{}
top
key_f5
:
INTEGER_32
{}
top
key_f6
:
INTEGER_32
{}
top
key_f7
:
INTEGER_32
{}
top
key_f8
:
INTEGER_32
{}
top
key_f9
:
INTEGER_32
{}
top
key_f10
:
INTEGER_32
{}
top
key_f11
:
INTEGER_32
{}
top
key_f12
:
INTEGER_32
{}
top
key_function
(num:
INTEGER_32
):
INTEGER_32
{}
top
black_color
:
INTEGER_32
{}
top
red_color
:
INTEGER_32
{}
top
green_color
:
INTEGER_32
{}
top
yellow_color
:
INTEGER_32
{}
top
blue_color
:
INTEGER_32
{}
top
magenta_color
:
INTEGER_32
{}
top
cyan_color
:
INTEGER_32
{}
top
white_color
:
INTEGER_32
{}
top