void PrintHelper::taskmanager_print(const TaskManager &task, const AircraftState &state) { switch (task.GetMode()) { case TaskType::NONE: break; case TaskType::ABORT: aborttask_print(*(const AbortTask *)task.GetActiveTask(), state); break; case TaskType::GOTO: gototask_print(*(const GotoTask *)task.GetActiveTask(), state); break; case TaskType::ORDERED: orderedtask_print(task.GetOrderedTask(), state); break; } }