GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
CURSES_APPLICATION
+
Point of view
All features
ANY
JOB
LOOP_ITEM
UI_ITEM
USER_INTERFACE
CURSES_JOB
UI_APPLICATION
All features
class CURSES_APPLICATION
Summary
top
Direct parents
Inherit list:
UI_TYPED_BRIDGE_APPLICATION
Insert list:
CURSES_ITEM
,
LOGGING
Class invariant
top
windows
/= Void
current_window
.intern =
current_window
ui /= Void
Overview
top
Creation features
{
CURSES_JOB
}
make
(a_ui:
UI_APPLICATION
)
Features
{
ANY
}
idle_timeout
:
INTEGER_32
{
CURSES_JOB
}
start
:
BOOLEAN
key_pressed
(code:
INTEGER_32
)
resized
{
UI_APPLICATION
}
add
(a_window:
CURSES_WINDOW
)
{}
conf_section
:
STRING
make
(a_ui:
UI_APPLICATION
)
windows
:
HASHED_DICTIONARY
[
CURSES_WINDOW
,
FIXED_STRING
]
current_window
:
FIXED_STRING
{}
_inline_agent19
(a_window:
CURSES_WINDOW
):
BOOLEAN
_inline_agent20
(a_window:
CURSES_WINDOW
):
BOOLEAN
{}
conf
:
JSON_OBJECT
conf_
:
JSON_OBJECT
read_conf
:
JSON_OBJECT
id
:
FIXED_STRING
{
UI_JOB
}
connect_to
(a_job:
UI_JOB
)
{}
log
:
LOGGER
There is one logger per concrete type; for performance reasons it is cached in each instance.
log_memory__0_
:
LOGGER
The cached logger.
{
ANY
}
ui
: UI_
{}
job
:
CURSES_JOB
idle_timeout
:
INTEGER_32
effective function
{
ANY
}
top
ensure
Result > 0
start
:
BOOLEAN
effective function
{
CURSES_JOB
}
top
key_pressed
(code:
INTEGER_32
)
effective procedure
{
CURSES_JOB
}
top
resized
effective procedure
{
CURSES_JOB
}
top
add
(a_window:
CURSES_WINDOW
)
effective procedure
{
UI_APPLICATION
}
top
conf_section
:
STRING
is "curses"
constant attribute
{}
top
make
(a_ui:
UI_APPLICATION
)
effective procedure
{}
top
require
a_ui /= Void
ensure
ui = a_ui
windows
:
HASHED_DICTIONARY
[
CURSES_WINDOW
,
FIXED_STRING
]
writable attribute
{}
top
current_window
:
FIXED_STRING
writable attribute
{}
top
_inline_agent19
(a_window:
CURSES_WINDOW
):
BOOLEAN
frozen
effective function
{}
top
_inline_agent20
(a_window:
CURSES_WINDOW
):
BOOLEAN
frozen
effective function
{}
top
conf
:
JSON_OBJECT
effective function
{}
top
conf_
:
JSON_OBJECT
writable attribute
{}
top
read_conf
:
JSON_OBJECT
effective function
{}
top
id
:
FIXED_STRING
deferred function
{}
top
ensure
interned:
Result.intern = Result
connect_to
(a_job:
UI_JOB
)
deferred procedure
{
UI_JOB
}
top
log
:
LOGGER
effective function
{}
top
There is one logger per concrete type; for performance reasons it is cached in each instance.
ensure
Result /= Void
log_memory__0_
:
LOGGER
writable attribute
{}
top
The cached logger.
The ugly name is intentional. Don't use directly.
ui
: UI_
writable attribute
{
ANY
}
top
job
:
CURSES_JOB
writable attribute
{}
top