+
Point of view
NCURSES_WIDGET
class NCURSES_LIST [E_]
add_first (string:
STRING, elt: E_)
effective procedure
add_last (string:
STRING, elt: E_)
effective procedure
is_multiple_selection_allowed:
BOOLEAN
writable attribute
allow_multiple_selection (b:
BOOLEAN)
effective procedure
ensure
-
definition: Result = upper - lower + 1
ensure
-
definition: Result = count = 0
require
ensure
-
definition: Result = item(lower)
require
ensure
-
definition: Result = item(upper)
is_children_drawing_disable:
BOOLEAN
writable attribute