fsm.dot

digraph finite_state_machine {
    fontname = "Helvetica,Arial,sans-serif";
    rankdir = LR;
    node [fontname = "Helvetica,Arial,sans-serif";];
    edge [fontname = "Helvetica,Arial,sans-serif";];
    node [shape = doublecircle;];
    node [shape = circle;];

    // states

    start [comment = "главное меню";];


    tasks_view [comment = "экран просмотра заданий";style = "dashed";group = "tasks";];
    tasks_prepare_submission [comment = "экран сдачи задания";group = "tasks";];


    wallet_view [comment = "экран посмотра кошелька";style = "dashed";group = "wallet";];
    wallet_submit [comment = "экран ввода кошелька";group = "wallet";];
    wallet_del_conf [comment = "экран подтверждения удаления кошелька";group = "wallet";];


    scores_type_select [comment = "экран выбора таблицы рейтингов";style = "dashed";group = "scores";];
    scores_time_select [comment = "экран выбора временного промежутка рейтинга";group = "scores";];
    scores_view [comment = "экран просмотра рейтинга";group = "scores";];


    task_create [comment = "экран создания задания";style = "dashed";group = "admin";];
    task_select_cat [comment = "экран выбора категории задания";group = "admin";];
    task_select_time [comment = "экран выбора времени задания";group = "admin";];
    task_enter_time [comment = "экран ввода времени задания";group = "admin";];
    task_select_pts [comment = "экран выбора очков за задание";group = "admin";];
    task_enter_pts [comment = "экран ввода очков за задание";group = "admin";];
    task_enter_desc [comment = "экран ввода описания задания";group = "admin";];

    review;

    // transitions

    start -> {tasks_view scores_type_select task_create review} [label = "reply";];


    start -> wallet_view [label = "reply+has_wallet";];
    start -> wallet_submit [label = "reply+has_not_wallet";];


    tasks_view -> tasks_prepare_submission [label = "submit";];

    tasks_prepare_submission -> tasks_view [label = "cancel";];

    wallet_view -> wallet_submit [label = "edit";];
    wallet_view -> wallet_del_conf [label = "delete";];

    wallet_submit -> wallet_view [label = "success";];
    wallet_submit -> wallet_view [label = "cancel+has_wallet";];
    wallet_submit -> start [label = "cancel+has_not_wallet";];
    wallet_submit -> wallet_submit [label = "error";];

    wallet_del_conf -> wallet_view [label = "cancel";];
    wallet_del_conf -> start [label = "confirm";];


    scores_type_select -> start [label = "back";];
    scores_type_select -> scores_time_select [label = "inline";];

    scores_time_select -> scores_type_select [label = "back";];
    scores_time_select -> start [label = "cancel";];
    scores_time_select -> scores_view [label = "inline";];

    scores_view -> scores_time_select [label = "back";];
    scores_view -> start [label = "cancel";];


    task_create -> start [label = "back";];
    task_create -> task_create [label = "error";];

    task_create -> task_select_cat [label = "inline";];
    task_select_cat -> task_create [label = "back";];
    task_select_cat -> start [label = "cancel";];

    task_select_cat -> task_select_time [label = "inline";];
    task_select_time -> task_select_cat [label = "back";];
    task_select_time -> start [label = "cancel";];

    task_select_time -> task_enter_time [label = "inline";];
    task_enter_time -> task_select_time [label = "back";];
    task_enter_time -> start [label = "cancel";];
    task_enter_time -> task_enter_time [label = "error";];
    task_enter_time -> task_select_pts [label = "success";];

    task_select_time -> task_select_pts [label = "inline";];
    task_select_pts -> task_select_time [label = "back";];
    task_select_pts -> start [label = "cancel";];

    task_select_pts -> task_enter_pts [label = "inline";];
    task_enter_pts -> start [label = "cancel";];
    task_enter_pts -> task_enter_pts [label = "error";];
    task_enter_pts -> task_enter_desc [label = "success";];

    task_select_pts -> task_enter_desc [label = "inline";];
    task_enter_desc -> task_select_pts [label = "back";];
    task_enter_desc -> start [label = "cancel";];
    task_enter_desc -> start [label = "success";];
    task_enter_desc -> task_enter_desc [label = "error";];


    review -> start [label = "back";];
    review -> review [label = "inline";];
}