+
Point of view
All features
class CURSES_MENU
Summary
top
Direct parents
Inherit list: UI_TYPED_BRIDGE_MENU
Insert list: CURSES_ITEM
Class invariant
top
Overview
top
Creation features
Features
{UI_MENU}
{CURSES_ITEM}
{UI_JOB}
{ANY}
{}
add (a_child: CURSES_MENU_ITEM)
effective procedure
{UI_MENU}
top
start: BOOLEAN
effective function
{CURSES_ITEM}
top
key_pressed (code: INTEGER_32): BOOLEAN
effective function
{CURSES_ITEM}
top
resized: BOOLEAN
effective function
{CURSES_ITEM}
top
connect_to (a_job: UI_JOB)
deferred procedure
{UI_JOB}
top
ui: UI_
writable attribute
{ANY}
top
effective function
{ANY}
top
ensure
  • Result.intern = Result
make (a_ui: UI_)
effective procedure
{}
top
require
  • a_ui /= Void
ensure
  • ui = a_ui
writable attribute
{}
top