GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
NCURSES_MENU_ITEM
+
Point of view
All features
ANY
All features
class NCURSES_MENU_ITEM [E_]
Summary
top
Direct parents
Insert list:
ANY
Overview
top
Creation features
{
ANY
}
make
(t:
STRING
, v: E_)
Features
{
ANY
}
tag
:
STRING
set_tag
(s:
STRING
)
value
: E_
set_value
(s: E_)
{}
make
(t:
STRING
, v: E_)
tag
:
STRING
writable attribute
{
ANY
}
top
set_tag
(s:
STRING
)
effective procedure
{
ANY
}
top
require
not s.is_empty
ensure
tag
= s
value
: E_
writable attribute
{
ANY
}
top
set_value
(s: E_)
effective procedure
{
ANY
}
top
ensure
value
= s
make
(t:
STRING
, v: E_)
effective procedure
{}
top
require
not t.is_empty
ensure
tag
= t
value
= v