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