GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
READLINE_ITEM
+
Point of view
All features
ANY
JOB
LOOP_ITEM
UI_ITEM
UI_JOB
All features
deferred class READLINE_ITEM [UI_ ->
UI_ITEM
]
Summary
top
Direct parents
Insert list:
UI_TYPED_BRIDGE_ITEM
Known children
Insert list:
READLINE_APPLICATION
,
READLINE_MENU
,
READLINE_MENU_ITEM
,
READLINE_WIDGET
,
READLINE_WINDOW
Class invariant
top
ui
/= Void
Overview
top
Features
{
ANY
}
ui
: UI_
id
:
FIXED_STRING
{
UI_JOB
}
connect_to
(a_job:
READLINE_JOB
)
{}
make
(a_ui: UI_)
job
:
READLINE_JOB
ui
: UI_
writable attribute
{
ANY
}
top
id
:
FIXED_STRING
effective function
{
ANY
}
top
ensure
Result.intern = Result
connect_to
(a_job:
READLINE_JOB
)
effective procedure
{
UI_JOB
}
top
make
(a_ui: UI_)
effective procedure
{}
top
require
a_ui /= Void
ensure
ui
= a_ui
job
:
READLINE_JOB
writable attribute
{}
top