GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
NCURSES_MENUBAR
+
Point of view
All features
ANY
NCURSES_WIDGET
All features
class NCURSES_MENUBAR [E_]
Summary
top
This class adds a menu bar widget.
Direct parents
Inherit list:
NCURSES_WIDGET
Class invariant
top
window
/= Void
selected
=
menus
.lower - 1 or else
menus
.valid_index(
selected
)
Overview
top
Creation features
{
ANY
}
make
(p:
NCURSES_WIDGET
, y:
INTEGER_32
, mns: DICTIONARY[DICTIONARY[E_,
STRING
],
STRING
], with_border:
BOOLEAN
)
Features
{
ANY
}
left
:
INTEGER_32
top
:
INTEGER_32
width
:
INTEGER_32
height
:
INTEGER_32
set_colors
(fg:
INTEGER_32
, bg:
INTEGER_32
)
refresh_later
menus
: ARRAY[NCURSES_MENU[E_]]
selected
:
INTEGER_32
get_choice
: E_
read_choice
valid_choice
:
BOOLEAN
last_choice
: E_
{}
last_choice_memory
: E_
{
NCURSES_WIDGET
}
get_window
:
NCURSES_WINDOW
parent_resized
{}
make
(p:
NCURSES_WIDGET
, y:
INTEGER_32
, mns: DICTIONARY[DICTIONARY[E_,
STRING
],
STRING
], with_border:
BOOLEAN
)
window
:
NCURSES_WINDOW
{
ANY
}
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
)
get_foreground_color
:
INTEGER_32
get_background_color
:
INTEGER_32
{
NCURSES_WIDGET
}
set_parent
(p:
NCURSES_WIDGET
)
add_child
(child:
NCURSES_WIDGET
)
delete
propagate_resize
screen_left
:
INTEGER_32
screen_top
:
INTEGER_32
parent
:
NCURSES_WIDGET
children
:
FAST_ARRAY
[
NCURSES_WIDGET
]
{}
dispose
Action to be executed just before garbage collection reclaims an object.
dispose_children
{
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
{}
space
:
INTEGER_32
return
:
INTEGER_32
upper_left_corner
:
INTEGER_32
lower_left_corner
:
INTEGER_32
upper_right_corner
:
INTEGER_32
lower_right_corner
:
INTEGER_32
left_tee
:
INTEGER_32
right_tee
:
INTEGER_32
bottom_tee
:
INTEGER_32
top_tee
:
INTEGER_32
horizontal_line
:
INTEGER_32
vertical_line
:
INTEGER_32
plus
:
INTEGER_32
scanline1
:
INTEGER_32
scanline9
:
INTEGER_32
diamond
:
INTEGER_32
checker_board
:
INTEGER_32
degree
:
INTEGER_32
plus_minus
:
INTEGER_32
bullet
:
INTEGER_32
left_arrow
:
INTEGER_32
right_arrow
:
INTEGER_32
down_arrow
:
INTEGER_32
up_arrow
:
INTEGER_32
board
:
INTEGER_32
lantern
:
INTEGER_32
block
:
INTEGER_32
scanline3
:
INTEGER_32
scanline7
:
INTEGER_32
less_or_equal
:
INTEGER_32
greater_or_equal
:
INTEGER_32
pi
:
INTEGER_32
not_equal
:
INTEGER_32
sterling
:
INTEGER_32
left
:
INTEGER_32
writable attribute
{
ANY
}
top
require
ncurses.is_enabled
top
:
INTEGER_32
writable attribute
{
ANY
}
top
require
ncurses.is_enabled
width
:
INTEGER_32
writable attribute
{
ANY
}
top
require
ncurses.is_enabled
height
:
INTEGER_32
writable attribute
{
ANY
}
top
require
ncurses.is_enabled
set_colors
(fg:
INTEGER_32
, bg:
INTEGER_32
)
effective procedure
{
ANY
}
top
refresh_later
effective procedure
{
ANY
}
top
menus
: ARRAY[NCURSES_MENU[E_]]
writable attribute
{
ANY
}
top
selected
:
INTEGER_32
writable attribute
{
ANY
}
top
get_choice
: E_
effective function
{
ANY
}
top
This feature is obsolete:
Use `read_choice' and `last_choice' instead.
read_choice
effective procedure
{
ANY
}
top
valid_choice
:
BOOLEAN
writable attribute
{
ANY
}
top
last_choice
: E_
effective function
{
ANY
}
top
require
valid_choice
last_choice_memory
: E_
writable attribute
{}
top
get_window
:
NCURSES_WINDOW
effective function
{
NCURSES_WIDGET
}
top
parent_resized
effective procedure
{
NCURSES_WIDGET
}
top
require
ncurses.is_enabled
make
(p:
NCURSES_WIDGET
, y:
INTEGER_32
, mns: DICTIONARY[DICTIONARY[E_,
STRING
],
STRING
], with_border:
BOOLEAN
)
effective procedure
{}
top
require
ncurses
.is_enabled
p /= Void
y >= 0
mns /= Void
ensure
left
= 0
top
= y
window
:
NCURSES_WINDOW
writable attribute
{}
top
redraw_later
effective procedure
{
ANY
}
top
redraw_now
effective procedure
{
ANY
}
top
hidden
:
BOOLEAN
writable attribute
{
ANY
}
top
show
effective procedure
{
ANY
}
top
hide
effective procedure
{
ANY
}
top
is_children_drawing_disable
:
BOOLEAN
writable attribute
{
ANY
}
top
draw_children
(b:
BOOLEAN
)
effective procedure
{
ANY
}
top
set_foreground_color
(color:
INTEGER_32
)
effective procedure
{
ANY
}
top
set_background_color
(color:
INTEGER_32
)
effective procedure
{
ANY
}
top
get_foreground_color
:
INTEGER_32
effective function
{
ANY
}
top
get_background_color
:
INTEGER_32
effective function
{
ANY
}
top
set_parent
(p:
NCURSES_WIDGET
)
effective procedure
{
NCURSES_WIDGET
}
top
add_child
(child:
NCURSES_WIDGET
)
effective procedure
{
NCURSES_WIDGET
}
top
delete
effective procedure
{
NCURSES_WIDGET
}
top
propagate_resize
effective procedure
{
NCURSES_WIDGET
}
top
require
ncurses
.is_enabled
screen_left
:
INTEGER_32
effective function
{
NCURSES_WIDGET
}
top
screen_top
:
INTEGER_32
effective function
{
NCURSES_WIDGET
}
top
parent
:
NCURSES_WIDGET
writable attribute
{
NCURSES_WIDGET
}
top
children
:
FAST_ARRAY
[
NCURSES_WIDGET
]
writable attribute
{
NCURSES_WIDGET
}
top
dispose
effective procedure
{}
top
Action to be executed just before garbage collection reclaims an object.
dispose_children
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
space
:
INTEGER_32
once function
{}
top
return
:
INTEGER_32
once function
{}
top
upper_left_corner
:
INTEGER_32
{}
top
lower_left_corner
:
INTEGER_32
{}
top
upper_right_corner
:
INTEGER_32
{}
top
lower_right_corner
:
INTEGER_32
{}
top
left_tee
:
INTEGER_32
{}
top
right_tee
:
INTEGER_32
{}
top
bottom_tee
:
INTEGER_32
{}
top
top_tee
:
INTEGER_32
{}
top
horizontal_line
:
INTEGER_32
{}
top
vertical_line
:
INTEGER_32
{}
top
plus
:
INTEGER_32
{}
top
scanline1
:
INTEGER_32
{}
top
scanline9
:
INTEGER_32
{}
top
diamond
:
INTEGER_32
{}
top
checker_board
:
INTEGER_32
{}
top
degree
:
INTEGER_32
{}
top
plus_minus
:
INTEGER_32
{}
top
bullet
:
INTEGER_32
{}
top
left_arrow
:
INTEGER_32
{}
top
right_arrow
:
INTEGER_32
{}
top
down_arrow
:
INTEGER_32
{}
top
up_arrow
:
INTEGER_32
{}
top
board
:
INTEGER_32
{}
top
lantern
:
INTEGER_32
{}
top
block
:
INTEGER_32
{}
top
scanline3
:
INTEGER_32
{}
top
scanline7
:
INTEGER_32
{}
top
less_or_equal
:
INTEGER_32
{}
top
greater_or_equal
:
INTEGER_32
{}
top
pi
:
INTEGER_32
{}
top
not_equal
:
INTEGER_32
{}
top
sterling
:
INTEGER_32
{}
top