home
wiki
classes/clusters list
class information
+
Point of view
ANY
ANY
INTERNALS_HANDLER
All features
class NCURSES_MENU_ITEM [E_]
Summary
top
Direct parents
insert list:
ANY
Overview
top
creation features
make
(t:
STRING
, v: E_)
exported features
tag
:
STRING
set_tag
(s:
STRING
)
value
: E_
set_value
(s: E_)
tag
:
STRING
writable attribute
top
set_tag
(s:
STRING
)
effective procedure
top
require
not s.is_empty
ensure
tag
= s
value
: E_
writable attribute
top
set_value
(s: E_)
effective procedure
top
ensure
value
= s