Description
Event
type Event (Kind : Event_Kind := Terminal_Input) is record
case Kind is
when Terminal_Input =>
Terminal : Flyology_TUI.Events.Terminal_Event;
when Application_Message =>
Application : Message_Type;
end case;
end record;
Record fields
- Kind
- Terminal
- Application
Event_Kind
type Event_Kind is (Terminal_Input, Application_Message);
Enumeration literals
- Terminal_Input
- Application_Message
From_Message
function From_Message (Item : Message_Type) return Event
Parameters
- Item
Return value
From_Terminal
function From_Terminal
(Item : Flyology_TUI.Events.Terminal_Event) return Event
Parameters
- Item
Return value
Message
subtype Message is Message_Type;
Message_Type
type Message_Type is private;