Description
Start and Dispatch never perform I/O or execute commands. The caller is the sole model owner and passes emitted commands to an executor. Command results return through Events.From_Message.
Current_View
function Current_View
(Model : Model_Type) return Flyology_TUI.Views.View
Parameters
- Model
Return value
Dispatch
procedure Dispatch
(Model : in out Model_Type;
Event : Events.Event;
Next : in out Transitions.Transition)
Parameters
- Model
- Event
- Next
Events
with package Events is new Flyology_TUI.Application_Events (<>);
Initialize
procedure Initialize
(Model : in out Model_Type;
Next : in out Transitions.Transition)
Parameters
- Model
- Next
Model_Type
type Model_Type is limited private;
Present
function Present
(Model : Model_Type) return Flyology_TUI.Views.View
Parameters
- Model
Return value
Start
procedure Start
(Model : in out Model_Type;
Next : in out Transitions.Transition)
Start and Dispatch never perform I/O or execute commands. The caller is the sole model owner and passes emitted commands to an executor. Command results return through Events.From_Message.
Parameters
- Model
- Next
Transitions
with package Transitions is new Flyology_TUI.Transitions (<>);
Update
procedure Update
(Model : in out Model_Type;
Event : Events.Event;
Next : in out Transitions.Transition)
Parameters
- Model
- Event
- Next