+
Point of view
All features
deferred class READLINE_MENU_ITEM
Summary
Direct parents
Inherit list: UI_TYPED_BRIDGE_MENU_ITEM
Insert list: READLINE_ITEM
Class invariant
Overview
Features
{READLINE_ITEM}
{UI_JOB}
{ANY}
{}
run (context: READLINE_CONTEXT): BOOLEAN
deferred function
connect_to (a_job: J_)
deferred procedure
ui: UI_
writable attribute
{ANY}
effective function
{ANY}
ensure
  • Result.intern = Result
make (a_ui: UI_)
effective procedure
{}
require
  • a_ui /= Void
ensure
  • ui = a_ui
writable attribute
{}