+
Point of view
All features
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)
require
- ncurses.is_enabled
- p /= Void
- x >= 0
- y >= 0
- x + w <= p.width
- y + h <= p.height
ensure
is_children_drawing_disable:
BOOLEAN
writable attribute