include/fsm.h fsm (Finite State Machine) header #include <stdbool.h>#include <stddef.h>#include <string.h>#include <gtk-4.0/gtk/gtk.h> struct fsm_struct_journal_unit structure of a journal element struct fsm_struct_journal required to initialise a double-chained list struct fsm_struct_list_tool phantom documentation struct fsm_struct_list_data phantom documentation struct fsm_struct_list_disp phantom documentation #define JOURNAL_LOG_MAX_LENGTH   255 arbitrary #define n_rules   128 arbitrary #define n_objects   32 arbitrary too, #define n_situations   128 and so on... typedef struct fsm_struct_journal_unit fsm_struct_journal_unit structure of a journal element typedef struct fsm_struct_list_tool fsm_struct_list_tool phantom documentation typedef struct fsm_struct_list_data fsm_struct_list_data phantom documentation typedef struct fsm_struct_list_disp fsm_struct_list_disp phantom documentation enum fsm_enum_journal_severity { FATAL , ERROR , WARN , INFO , DEBUG , TRACE } Conforms to canonical log levels: FATAL, ERROR, WARN, INFO, DEBUG, TRACE. enum fsm_enum_journal_source { SOURCE , TARGET , JOURNAL , FSM , PREFER , MAIN , APP , WIDGETS , SIGNAL , MAIN_WINDOW , DIALOG_WINDOW , MODAL_WINDOW , TEXT_WINDOW , AUTO_NOTIFICATION , TOPBAR , TOPBAR_LEFT , TOPBAR_RIGHT , TOPBAR_CENTER , SYNTH_PAGE , STATE_PAGE , RULES_PAGE , MEASURES_PAGE , RESULTS_PAGE , SenumYNTH_GLAREA , SYNTH_ALL_RESULTS , SYNTH_TIME_DEP_RESULTS , SYNTH_TIME_INDEP_RESULTS , STATE_TOP , STATE_BOTTOM , STATE_GLAREA , STATE_CAMERA , RULE_GEOMETRY , RULE_GLAREA , RULE_CAMERA , RULE_ALGEBRA , RULE_CONDITION , RULE_ASSIGN , RULE_ID , RULES_TREE , RULES_COMPARE , RULES_USE , MEASURES_TOOLS , MEASURES__ACTIVITY , MEASURES__DISPLAY , RESULTS , TIME_DEP_RESULTS , TIME_INDEP_RESULTS , WIDGET , BUTTON , SCROLL , GLAREA , TEXT , LABEL , TREE , SLIDER , EXPANDER , ENTRY , SWITCH_STATE_RULES_DATA , SLIDER_X , SLIDER_Y , SLIDER_Z , SLIDER_A , SLIDER_B , SLIDER_C } arbitrary values that can help the logging filter work more efficiently enum fsm_enum_exec_edit { EXEC , EDIT } phantom documentation enum fsm_enum_state_rules_data { SYNTH , STATE , RULES , DATA } phantom documentation enum fsm_enum_store_restore_reset { STORE , RESTORE , RESET } phantom documentation enum fsm_enum_measure_type { DATE_RULE_EXEC , RULE_EXEC_NB , OBJECT_NB , ELAPSED_TIME } phantom documentation void fsm_journal_publish (fsm_struct_journal jj) publish all the logs today just print in the console TODO > in a file void fsm_journal_init (fsm_struct_journal *jj) init the journal void fsm_journal_push_front (fsm_struct_journal *jj, const char *file_source, const char *function_source, const char *string_value) add an event void fsm_journal_clear (fsm_struct_journal *jj, const char *file_source, const char *function_source, const char *string_value) usefulness ? (systematic ^c) long fsm_journal_pop_back (fsm_struct_journal *jj, const char *file_source, const char *function_source, const char *string_value) remove an event int fsm_journal_length (fsm_struct_journal jj) get journal_length void fsm_journal_seek (fsm_struct_journal jj, long usec, const char *file_source, const char *function_source, const char *string_value) seek for an event void fsm_journal_publication_request () The fsm_journal_publication_request() is called only once, by main(), just after closing the app and before ending the program. void fsm_journal_event (int severity, int source, const char *file_source, const char *function_source, const char *string_value) It is mandatory for any event to call this function to be published in the journal. void fsm_init (char *message) fsm init is the first function called by main.c It initiates the journal and the four lists: 'measures', 'results', 'displayables results' and 'preferences'. void fsm_list_init_preferences () void fsm_list_init_measures () void fsm_list_init_results () phantom documentation void fsm_list_init_displayables () int fsm_get_exec_edit () some client pages (in particular "state" and "rules") will be displayed and behave differently depending on whether the fsm is in edit or run state. int fsm_get_state_rules_data () The value of the static int choice_STATE_RULES_DATA can be one of the enum include/fsm enum fsm_enum_state_rules_data. void fsm_set_exec_edit (int value) setter for the static value: 'choice_STATE_RULES_DATA' (in this file) void fsm_set_state_rules_data (int value) setter for the static value: 'choice_STATE_RULES_DATA' (in this file) void fsm_set_store_restore_reset (int choice, int value) bool fsm_get_preferences_state () getter for the static boolean: 'preferences_have_been_modified' void fsm_set_preferences_modified (bool value) setter for the static boolean: 'preferences_have_been_modified' void fsm_add_measure (char *measure_name) void fsm_add_result (char *result_name) phantom documentation void fsm_add_displayable (char *displayable_name) void fsm_reset_all_situations_values (int value) void fsm_tools_list_insert (fsm_struct_list_tool **tl, int value) phantom documentation int fsm_tools_list_pop (fsm_struct_list_tool **tl) phantom documentation int fsm_tools_list_length (fsm_struct_list_tool *tl) phantom documentation void fsm_tools_list_clear (fsm_struct_list_tool **tl) phantom documentation void fsm_tools_list_view (fsm_struct_list_tool *tl) phantom documentation void fsm_tools_list_test () phantom documentation void fsm_rule_trig_measure (int rule_id, int object_id, int measure_id) void fsm_add_data (fsm_struct_list_data d, int *p_data, int *p_target) phantom documentation int fsm_get_data (fsm_struct_list_data d, int from, int to) phantom documentation void fsm_remove_data (fsm_struct_list_data d, int *p_data) phantom documentation

fsm (Finite State Machine) header This file is part of Gem-graph.

fsm_struct_journal_unitfsm.h fsm.hfsm_struct_journal_unit typedef struct fsm_struct_journal_unit fsm_struct_journal_unit structure of a journal element use in src/fsm/dispatch/fsm_journal_event() use in src/journal/fsm_journal_push_front()

fsm_enum_journal_severityfsm.h fsm.hfsm_enum_journal_severity enum fsm_enum_journal_severity Conforms to canonical log levels: FATAL, ERROR, WARN, INFO, DEBUG, TRACE. * * * - J O U R N A L M E T A R U L E S - * * * * ref: sudo cat /var/log/messages structure d'un log: date rang (n° d'ordre) fichier fonction valeur, paramètre, descriptif, contexte,... (tout ce qui peut contribuer à améliorer la compréhension du journal) any value that can qualify the event and provides useful information when reading the log. Un seul fsm_journal_event() par fonction ? sauf si cette fonction génère plusieurs autres fonctions d'intérêt ? S'il y a deux fsm_journal_event() (begin / end) dans une fonction, ils doivent avoir la même étiquette (les mêmes valeurs) : SEVERITY & SOURCE * * * - J O U R N A L M E T A R U L E S - * * * https://betterstack.com/community/guides/logging/logging-best-practices/ https://en.wikipedia.org/wiki/Syslog FATALfsm.h fsm.hFATAL FATAL (or CRITICAL) an unrecoverable failure that prevents the whole application from doing any further useful work ERRORfsm.h fsm.hERROR ERROR a conditions that hinder the execution of a specific operation within an application and is unrecoverable WARNfsm.h fsm.hWARN WARN something unexpected has occurred, but the application can continue to function normally for the time being INFOfsm.h fsm.hINFO INFO (or MESSAGE) a significant event occurs while the system is operating normally DEBUGfsm.h fsm.hDEBUG DEBUG a description of system states in sufficient detail to give developers clues as to the cause of an error TRACEfsm.h fsm.hTRACE TRACE provides a systematic overview of code execution but comes at a cost in terms of performance

fsm_enum_journal_sourcefsm.h fsm.hfsm_enum_journal_source enum fsm_enum_journal_source arbitrary values that can help the logging filter work more efficiently src/fsm/dispatch/fsm_journal_event())

fsm_add_datafsm.h fsm.hfsm_add_data void fsm_add_data (fsm_struct_list_data d, int * p_data, int * p_target) phantom documentation d *p_data *p_target

fsm_add_displayablefsm.h fsm.hfsm_add_displayable void fsm_add_displayable (char * displayable_name) displayable_name

fsm_add_measurefsm.h fsm.hfsm_add_measure void fsm_add_measure (char * measure_name) 2024-09 src/widget/measure/dispatch/widget_measure_event_occurences_nb() src/widget/measure/dispatch/widget_measure_event_occurences_dates() src/widget/measure/dispatch/widget_measure_event_occurences_situations() src/widget/measure/dispatch/widget_measure_time_elapsed_between_two_events() src/widget/measure/dispatch/widget_measure_third_event_occurences_in_between() src/fsm/dispatch/fsm_journal_event() *measure_name

fsm_get_datafsm.h fsm.hfsm_get_data int fsm_get_data (fsm_struct_list_data d, int from, int to) phantom documentation d from to

fsm_get_exec_editfsm.h fsm.hfsm_get_exec_edit int fsm_get_exec_edit ( ) some client pages (in particular "state" and "rules") will be displayed and behave differently depending on whether the fsm is in edit or run state. Any function which modifies the appearance or behavior of these pages must use this getter to access the choice_EXEC_EDIT value. see include/fsm enum fsm_enum_exec_edit { EXEC, EDIT } The current int may be replaced by a boolean . TODO 2024-06 src/widget/one_rule/dispatch src/widget/state/dispatch * 2 src/signal choice_EXEC_EDIT and include/fsm/enum fsm_enum_exec_edit {} choice_EXEC_EDIT

fsm_get_preferences_statefsm.h fsm.hfsm_get_preferences_state bool fsm_get_preferences_state ( ) getter for the static boolean: 'preferences_have_been_modified' 2024-08 TODO A function must obtain this boolean when it stores the current state of the fsm (including preferences) before closing the current session. preferences_have_been_modified

fsm_get_state_rules_datafsm.h fsm.hfsm_get_state_rules_data int fsm_get_state_rules_data ( ) The value of the static int choice_STATE_RULES_DATA can be one of the enum include/fsm enum fsm_enum_state_rules_data. To each value is associated a different page and different possible behaviors. Any function that modifies the client window must get this value. see include/fsm enum fsm_enum_state_rules_data { SYNTH, STATE, RULES, DATA } 2024-06 src/widget/topbar/left src/signal choice_STATE_RULES_DATA

fsm_initfsm.h fsm.hfsm_init void fsm_init (char * initial_INFO_from_main) fsm init is the first function called by main.c It initiates the journal and the four lists: 'measures', 'results', 'displayables results' and 'preferences'. The items selected in these lists define the current state of the fsm. 2024-08 src/main/main() src/journal/fsm_journal_init() src/fsm/dispatch/fsm_journal_event() src/fsm/measures/manager/fsm_list_init_measures() src/fsm/results/manager/fsm_list_init_results() src/fsm/preferences/manager/fsm_list_init_displayables() src/fsm/preferences/manager/fsm_list_init_preferences() *initial_INFO_from_main

fsm_journal_clearfsm.h fsm.hfsm_journal_clear void fsm_journal_clear (fsm_struct_journal * jj, const char * file_source, const char * function_source, const char * string_value) usefulness ? (systematic ^c) 2024-09 *jj *file_source *function_source *string_value

fsm_journal_eventfsm.h fsm.hfsm_journal_event void fsm_journal_event (int severity, int source, const char * file_source, const char * function_source, const char * string_value) It is mandatory for any event to call this function to be published in the journal. Before publication, a filter can be applied here (and only here) to select only some events of interest (during debugging, for example) If there are too many events, a filter can be applied here to select a few interesting events for publication in the log. This filter can operate on any the following five parameters: severity, source, *file_source, *function_source, *string_value. below (params) Simple filters (on a single parameter) can be combined using the logical operators 'and' and 'or' and parentheses. Use: $ grep -r "fsm_journal_event" to confirm the callergraph calls. 2024-08 src/journal.c/fsm_journal_push_front() src/main/main() src/widget/topbar/modal.c src/widget/topbar/right.c src/widget/topbar/dialog.c src/widget/topbar/left.c src/widget/topbar/dispatch.c * 3 src/widget/one_rule/dispatch.c src/widget/one_rule/algebra/conditions.c * 2 src/widget/measure/dispatch.c src/widget/dispatch.c * 3 src/widget/all_rules/dispatch.c src/fsm/preferences/manager.c * 8 src/fsm/measures/manager.c * 2 src/fsm/measures/tools_list.c * 4 src/fsm/dispatch.c * 10 src/fsm/results/manager.c src/util/tree.c src/signal.c * 38 severity <> enum fsm_enum_journal_severity in include/fsm.h 'severity' is a pre-defined value that must be associated to each event. It ranges from zero to six : CRITICAL ERROR WARNING INFO INFO DEBUG TRACE 0 1 2 3 4 5 6 source <> enum fsm_enum_journal_source in include/fsm.h 'source' is a pre-defined value that can be associated to each event. It is not mandatory. It can be set to 'NULL'. *file_source <> the name of the file that emits the event. *function_source <> the function that emits the event. *string_value <> any value that can qualify the event and provides useful information when reading the log.

fsm_journal_initfsm.h fsm.hfsm_journal_init void fsm_journal_init (fsm_struct_journal * jj) init the journal 2024-09 *jj

fsm_journal_lengthfsm.h fsm.hfsm_journal_length int fsm_journal_length (fsm_struct_journal jj) get journal_length 2024-09 *jj journal length

fsm_journal_pop_backfsm.h fsm.hfsm_journal_pop_back long fsm_journal_pop_back (fsm_struct_journal * jj, const char * file_source, const char * function_source, const char * string_value) remove an event 2024-09 *jj *file_source *function_source *string_value

fsm_journal_publication_requestfsm.h fsm.hfsm_journal_publication_request void fsm_journal_publication_request ( ) The fsm_journal_publication_request() is called only once, by main(), just after closing the app and before ending the program. This is to guarantee the chronological order of the events in the journal. The log is modified for each event but events can be send asynchronously. This is why the journal is only published once, before the end of "main()", Its chronological order is therefore guaranteed. src/journal.c/fsm_journal_publish() (called here) is the last function of the program to be executed. The fsm_struct_journal (gg_logs) is a static instance in this file. Therefore, all the functions that read or write it are in this file. This is to avoid uncontrolled operations on it. 2024-08 src/main/main() src/journal/fsm_journal_publish()

fsm_journal_publishfsm.h fsm.hfsm_journal_publish void fsm_journal_publish (fsm_struct_journal jj) publish all the logs today just print in the console TODO > in a file 2024-09 *jj

fsm_journal_push_frontfsm.h fsm.hfsm_journal_push_front void fsm_journal_push_front (fsm_struct_journal * jj, const char * file_source, const char * function_source, const char * string_value) add an event 2024-09 *jj *file_source *function_source *string_value

fsm_journal_seekfsm.h fsm.hfsm_journal_seek void fsm_journal_seek (fsm_struct_journal jj, long usec, const char * file_source, const char * function_source, const char * string_value) seek for an event 2024-09 *jj usec *file_source *function_source *string_value

fsm_list_init_displayablesfsm.h fsm.hfsm_list_init_displayables void fsm_list_init_displayables ( )

fsm_list_init_measuresfsm.h fsm.hfsm_list_init_measures void fsm_list_init_measures ( ) 2024-09 src/fsm/dispatch/fsm_init()

fsm_list_init_preferencesfsm.h fsm.hfsm_list_init_preferences void fsm_list_init_preferences ( )

fsm_remove_datafsm.h fsm.hfsm_remove_data void fsm_remove_data (fsm_struct_list_data d, int * p_data) phantom documentation d *p_data

fsm_reset_all_situations_valuesfsm.h fsm.hfsm_reset_all_situations_values void fsm_reset_all_situations_values (int value) value

fsm_rule_trig_measurefsm.h fsm.hfsm_rule_trig_measure void fsm_rule_trig_measure (int rule_id, int object_id, int measure_id) 2024-09 rule_id object_id measure_id

fsm_set_exec_editfsm.h fsm.hfsm_set_exec_edit void fsm_set_exec_edit (int choice) setter for the static value: 'choice_STATE_RULES_DATA' (in this file) see include/fsm enum fsm_enum_exec_edit { EXEC, EDIT } 2024-08 src/signal * 2 choice < a boolean value which can be "EXEC" or "EDIT"

fsm_set_preferences_modifiedfsm.h fsm.hfsm_set_preferences_modified void fsm_set_preferences_modified (bool value) setter for the static boolean: 'preferences_have_been_modified' 2024-08 TODO To be used by any function that modifies the current user preferences fsm_journal_event() value = TRUE if preferences_have_been_modified.

fsm_set_state_rules_datafsm.h fsm.hfsm_set_state_rules_data void fsm_set_state_rules_data (int choice) setter for the static value: 'choice_STATE_RULES_DATA' (in this file) see include/fsm enum fsm_enum_state_rules_data { SYNTH, STATE, RULES, DATA } Today (2024-10) the initial page is set to 'SYNTH'. line 292 choice_STATE_RULES_DATA = SYNTH; NB This choice can be temporarily modified for debugging purpose: end of the function: fsm/dispatch.c window_design_topbar_left() 2024-08 src/signal * 4 choice

fsm_set_store_restore_resetfsm.h fsm.hfsm_set_store_restore_reset void fsm_set_store_restore_reset (int choice, int value) choice value