GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
CURSES_PANEL
+
Point of view
All features
ANY
JOB
LOOP_ITEM
UI_ITEM
USER_INTERFACE
UI_PANEL
CURSES_ITEM
All features
class CURSES_PANEL
Summary
top
Direct parents
Inherit list:
UI_TYPED_BRIDGE_PANEL
Insert list:
CURSES_WIDGET
Class invariant
top
children
/= Void
ui /= Void
Overview
top
Creation features
{
CURSES_JOB
}
make
(a_ui:
UI_PANEL
)
Features
{
UI_PANEL
}
add
(a_child:
CURSES_WIDGET
[
UI_WIDGET
])
{
CURSES_ITEM
}
start
:
BOOLEAN
key_pressed
(code:
INTEGER_32
):
BOOLEAN
resized
:
BOOLEAN
{}
children
:
HASHED_DICTIONARY
[
CURSES_WIDGET
[
UI_WIDGET
],
FIXED_STRING
]
make
(a_ui:
UI_PANEL
)
{
UI_JOB
}
connect_to
(a_job:
UI_JOB
)
{
ANY
}
ui
: UI_
id
:
FIXED_STRING
{}
job
:
CURSES_JOB
add
(a_child:
CURSES_WIDGET
[
UI_WIDGET
])
effective procedure
{
UI_PANEL
}
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
children
:
HASHED_DICTIONARY
[
CURSES_WIDGET
[
UI_WIDGET
],
FIXED_STRING
]
writable attribute
{}
top
make
(a_ui:
UI_PANEL
)
effective procedure
{}
top
require
a_ui /= Void
ensure
ui = a_ui
connect_to
(a_job:
UI_JOB
)
deferred procedure
{
UI_JOB
}
top
ui
: UI_
writable attribute
{
ANY
}
top
id
:
FIXED_STRING
effective function
{
ANY
}
top
ensure
Result.intern = Result
job
:
CURSES_JOB
writable attribute
{}
top