/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * Gem-graph client * * Finite state machine header * * * * Copyright © 2021 Libre en Communs * * Copyright © 2024 Jean Sirmai * * * * This file is part of Gem-graph. * * * * This program is free software: you can redistribute it and/or modify it * * under the terms of the GNU Affero General Public License * * as publishedby the Free Software Foundation, * * either version 3 of the License, or (at your option) any later version. * * * * This program is distributed in the hope that it will be useful, * * but WITHOUT ANY WARRANTY; without even the implied warranty of * * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. * * See the GNU Affero General Public License for more details. * * * * You should have received a copy of the GNU Affero General Public License * * along with this program. If not, see . * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */ #pragma once #include #include #include /******************************************************************************/ /* S T A T E M A C H I N E */ /******************************************************************************/ // called by widgets through signal functions enum fsm_select_EXEC_EDIT { EXEC, EDIT }; enum fsm_select_STATE_RULES_DATA { SYNTH, STATE, RULES, DATA }; enum fsm_select_STORE_RESTORE_RESET { STORE, RESTORE, RESET }; enum fsm_measure_type {DATE_RULE_EXEC, RULE_EXEC_NB, OBJECT_NB, ELAPSED_TIME }; #define n_rules 128 // arbitrary #define n_objects 32 // arbitrary too, #define n_situations 128 // and so on... typedef struct tool_list {int value; struct tool_list *suiv;} tool_list ; typedef struct data_list {int value; struct data_list *suiv;} data_list ; typedef struct disp_list {int value; struct disp_list *suiv;} disp_list ; /******************************************************************************/ /* J O U R N A L */ /******************************************************************************/ // ****************** - SEVERITY - ****************************************/ // // CRITICAL ERROR WARNING INFO MESSAGE DEBUG SPEW (see: fsm.h) // 0 1 2 3 4 5 6 (fsm_journal_event) #define CRITICAL 0 // THE HIGHER THE PRIORITY, THE LOWER THE INDEX #define ERROR 1 #define WARNING 2 #define MESSAGE 3 #define INFO 4 #define DEBUG 5 #define SPEW 6 // THE_LOWER THE PRIORITY, THE HIGHER THE INDEX // ****************** - WIDGET FILTER - **********************************/ // // MAIN_WINDOW DIALOG_WINDOW MODAL_WINDOW // TOPBAR TOPBAR_LEFT TOPBAR_RIGHT // SYNTH_PAGE STATE_PAGE RULES_PAGE RESULTS_PAGE // SYNTH_GLAREA SYNTH_ALL_RESULTS SYNTH_TIME_DEP_RESULTS SYNTH_TIME_INDEP_RESULTS // STATE_TOP STATE_GLAREA STATE_CAMERA STATE_BOTTOM // RULE_CAMERA RULE_GLAREA RULES_MANAGE RULES_TREE RULES_COMPARE RULES_USE // MEASURES_TOOLS MEASURES_ACTIVE TIME_DEP_RESULTS TIME_INDEP_RESULTS // // BUTTON GLIDER GLAREA etc. #define MAIN_WINDOW 0 #define DIALOG_WINDOW 1 #define MODAL_WINDOW 2 #define TOPBAR 3 #define TOPBAR_LEFT 4 #define TOPBAR_RIGHT 5 #define SYNTH_PAGE 6 #define STATE_PAGE 7 #define RULES_PAGE 8 #define RESULTS_PAGE 9 #define BUTTON 31 #define SCROLL 32 #define GLAREA 33 #define TEXT 34 #define LABEL 35 #define JOURNAL_DATE_MAX_LENGTH 255 typedef struct unit {long yy_dd_mm; long usec; char *message; struct unit *prev; struct unit *next;} unit; // journal unit structure typedef struct {unit *first; unit *last;} journal; // journal unit access structure void fsm_journal_init (journal *jj); // init from main void fsm_journal_push (char *message); // def: fsm/dispatch // call: any call that does not have // the log address void fsm_journal_clear (journal *jj, char *message); // empty the journal void fsm_journal_push_front (journal *jj, char *message); // add an évènement at the journal front long fsm_journal_pop_back (journal *jj, char *message); // remove an évènement at the journal end int fsm_journal_length (journal jj); // journal length void fsm_journal_seek (journal jj, long usec, char *message); // seek for an évènement in the journal void fsm_journal_publish (journal jj); // display the journal void fsm_journal_test (char *message); // --------------------------------------------------------------- WIP ------ // ref: sudo cat /var/log/messages // journal fsm_get_journal(); // def: fsm/dispatch call: fsm/prefer/fsm_store_restore_reset() void fsm_journal_publication_request (); // def: fsm/dispatch call: main; void fsm_journal_event (char *message, int priority, int specificity); // def: fsm/dispatch call: widget/dispatch; // --------------------------------------------------------------- WIP ------ void fsm_init (char *message); // def: fsm/dispatch; call: main; void fsm_engine_init(); // def: fsm/engine/engine; call main void fsm_preferences_list_init(); // def: fsm/prefer; call: fsm/dispatch; void fsm_measures_list_init(); // def: fsm/measure/manage.c; call: fsm/dispatch; void fsm_results_list_init(); // def: fsm/results; call: fsm/dispatch; void fsm_displayable_list_init(); // def: fsm/prefer; call: fsm/dispatch; int fsm_get_exec_edit(); // def: fsm/dispatch; call: signal; // widget/state/dispatch; // widget/rules/selected/dispatch; int fsm_get_state_rules_data(); // def: fsm/dispatch; call: signal; void fsm_set_exec_edit (int value);// def: fsm/dispatch; call: signal; void fsm_set_state_rules_data (int value); // def: fsm/dispatch; call: signal; void fsm_store_restore_reset (int choice, int value);// def: prefer; call: signal; bool fsm_get_preferences_state(); // def: fsm/dispatch; call: - - - void fsm_set_preferences_modified (bool value); // def: fsm/dispatch; // call: signal; fsm/prefer; void fsm_add_measure (char *measure_name); // def: fsm/measure/manage.c; // call: widget/measure/dispatch; void fsm_add_result (char *result_name); // def: fsm/result; call: - - - void fsm_add_displayable (char *displayable_name);// def: fsm/prefer; call: fsm/prefer; void fsm_reset_all_situations_transparencies_at_value (int value); // provisoire... // def: fsm/prefer; call: signal; void fsm_msg (int choice, int value, char *string, int sub_automaton); // def: fsm/dispatch; call: fsm/dispatch; // fsm/measure; // fsm/result; // --------------------------------------------------------------- WIP ------ // def: measure/tool_list call: measure/tool_list (about the following functions...) void fsm_tools_list_insert (tool_list **tl, int value); int fsm_tools_list_pop (tool_list **tl); int fsm_tools_list_length (tool_list *tl); void fsm_tools_list_clear (tool_list **tl); void fsm_tools_list_view (tool_list *tl); void fsm_tools_list_test(); // def: measure/manage; call: measure/manage; // def: fsm/measure/manage/; call: rule exec void fsm_rule_trig_measure (int rule_id, int object_id, int measure_id); // --------------------------------------------------------------- WIP ------ void fsm_add_data (data_list d, int *p_data, int *p_target); int fsm_get_data (data_list d, int from, int to); void fsm_remove_data (data_list d, int *p_data); // --------------------------------------------------------------- WIP ------ void fsm_disp_add_chart (disp_list d, int *p_chart); int fsm_disp_get_chart (disp_list d, int from, int to); void fsm_disp_remove_chart (disp_list d, int *p_chart);