GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
CURSES_DESC_WIDGET
+
Point of view
All features
ANY
CURSES_DESCRIPTOR
All features
deferred class CURSES_DESC_WIDGET
Summary
top
Direct parents
Insert list:
CURSES_DESC_ITEM
Known children
Inherit list:
CURSES_DESC_BUTTON
,
CURSES_DESC_PANEL
,
CURSES_DESC_TEXT_FIELD
Overview
top
build
(parent:
NCURSES_WINDOW
)
deferred procedure
{
CURSES_DESCRIPTOR
}
top
require
parent /= Void
ncurses_widget
= Void
ensure
ncurses_widget
/= Void
layout
(a_x:
INTEGER_32
, a_y:
INTEGER_32
, a_width:
INTEGER_32
, a_height:
INTEGER_32
)
deferred procedure
{
CURSES_DESCRIPTOR
}
top
require
ncurses_widget
/= Void
a_width > 0
a_height > 0
a_x.in_range(0, a_width - 1)
a_y.in_range(0, a_height - 1)
ensure
x
= a_x
y
= a_y
width
= a_width
height
= a_height
x
:
INTEGER_32
deferred function
{
CURSES_DESCRIPTOR
}
top
y
:
INTEGER_32
deferred function
{
CURSES_DESCRIPTOR
}
top
width
:
INTEGER_32
deferred function
{
CURSES_DESCRIPTOR
}
top
height
:
INTEGER_32
deferred function
{
CURSES_DESCRIPTOR
}
top
min_width
:
INTEGER_32
deferred function
{
CURSES_DESCRIPTOR
}
top
min_height
:
INTEGER_32
deferred function
{
CURSES_DESCRIPTOR
}
top
max_width
:
INTEGER_32
deferred function
{
CURSES_DESCRIPTOR
}
top
max_height
:
INTEGER_32
deferred function
{
CURSES_DESCRIPTOR
}
top
ncurses_widget
:
NCURSES_WINDOW
writable attribute
{}
top
widget
(ui:
UI_WINDOW
, desc:
JSON_VALUE
): CURSES_DESC_WIDGET
effective function
{}
top
new_widget
(desc_widget:
JSON_OBJECT
, res:
FUNCTION
[
TUPLE 2
[
UI_WINDOW
,
JSON_OBJECT
], CURSES_DESC_WIDGET], item:
FUNCTION
[
TUPLE 2
[
UI_WINDOW
,
JSON_OBJECT
], CURSES_DESC_WIDGET], key:
STRING
):
FUNCTION
[
TUPLE 2
[
UI_WINDOW
,
JSON_OBJECT
], CURSES_DESC_WIDGET]
effective function
{}
top
widgets_factory
:
MAP
[
FUNCTION
[
TUPLE 2
[
UI_WINDOW
,
JSON_OBJECT
], CURSES_DESC_WIDGET],
STRING
]
once function
{}
top
new_panel
(ui:
UI_WINDOW
, value:
JSON_OBJECT
):
CURSES_DESC_PANEL
effective function
{}
top
new_button
(ui:
UI_WINDOW
, value:
JSON_OBJECT
):
CURSES_DESC_BUTTON
effective function
{}
top
new_text_field
(ui:
UI_WINDOW
, value:
JSON_OBJECT
):
CURSES_DESC_TEXT_FIELD
effective function
{}
top
ncurses
:
NCURSES
once function
{
ANY
}
top
Access to the
ncurses
singleton.
invisible_cursor_mode
:
INTEGER_32
is 0
constant attribute
{
ANY
}
top
In this mode the cursor is invisible.
default_visible_cursor_mode
:
INTEGER_32
is 1
constant attribute
{
ANY
}
top
The default visible cursor mode.
special_visible_cursor_mode
:
INTEGER_32
is 2
constant attribute
{
ANY
}
top
In this mode cursor may blink in a more special or in a more visible way.
valid_cursor_visibility
(code:
INTEGER_32
):
BOOLEAN
effective function
{
ANY
}
top
Check that code is one of
invisible_cursor_mode
,
default_visible_cursor_mode
or
special_visible_cursor_mode
.
ensure
Result = code.in_range(
invisible_cursor_mode
,
special_visible_cursor_mode
)
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.