+
Point of view
All features
class CURSES_DESC_LAYOUT_STRING
Features
{}
{}
{}
{}
{}
- 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
{}
require
- parent /= Void
- ncurses_widget = Void
ensure
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
require
- ui /= Void
- options = Void or else options.count > 1
- desc_widgets /= Void
is 1
constant attribute
{}
is 2
constant attribute
{}
is 1
constant attribute
{}
is 2
constant attribute
{}
is 3
constant attribute
{}
is 4
constant attribute
{}
frozen
effective procedure
{}