+
Point of view
All features
class NCURSES_MENU_ITEM [E_]
Summary
Direct parents
Insert list: ANY
Overview
Creation features
{ANY}
Features
{ANY}
{}
tag: STRING
writable attribute
{ANY}
set_tag (s: STRING)
effective procedure
{ANY}
require
  • not s.is_empty
ensure
value: E_
writable attribute
{ANY}
set_value (s: E_)
effective procedure
{ANY}
ensure
make (t: STRING, v: E_)
effective procedure
{}
require
  • not t.is_empty
ensure