From 154e2ad57bade79f37cc61b7e892acc5d36007f8 Mon Sep 17 00:00:00 2001 From: Jean Sirmai Date: Sun, 18 Aug 2024 12:32:21 +0200 Subject: [PATCH] measurements and results lists should be defined and maintained in fsm.c --- src/fsm.c | 78 +++++++++++++++++++++++++++++++++++++------------------ 1 file changed, 53 insertions(+), 25 deletions(-) diff --git a/src/fsm.c b/src/fsm.c index d131a74..d49b922 100644 --- a/src/fsm.c +++ b/src/fsm.c @@ -34,23 +34,35 @@ #include "../include/widget.h" +/******************************************************************************/ +/* Each state of the finite state machine (fsm) must be */ +/* - saved at the end of a work session and */ +/* - reread at the start of a new session. */ +/* */ +/* No state of the fsm should be stored elsewhere. */ +/* No fsm transition needs to be executed elsewhere. */ +/******************************************************************************/ + + + /******************************************************************************/ /* S T A T E S */ /******************************************************************************/ -static int choice_EXEC_EDIT = EXEC; -static int choice_STATE_RULES_DATA = STATE; static int preferences_have_been_modified = FALSE; - -int fsm_get_exec_edit () {return choice_EXEC_EDIT;} -int fsm_get_state_rules_data () {return choice_STATE_RULES_DATA;} - void fsm_set_preferences_state (bool value) {preferences_have_been_modified = value;} bool fsm_get_preferences_state () {return preferences_have_been_modified;} // preferences_have_been_modified // and should be stored before closing the current session. TODO +static int choice_EXEC_EDIT = EXEC; +static int choice_STATE_RULES_DATA = STATE; + +int fsm_get_exec_edit () {return choice_EXEC_EDIT;} +int fsm_get_state_rules_data () {return choice_STATE_RULES_DATA;} + + /******************************************************************************/ /* T R A N S I T I O N S */ /******************************************************************************/ @@ -76,6 +88,41 @@ void fsm_set_state_rules_data (int choice) + + +/******************************************************************************/ +/* M E A S U R E M E N T S */ +/******************************************************************************/ +// An editable list of measurements is maintained. (add, remove) +// Each measurement can be activated or silenced. + +// The measures relate to +// - the number of occurrences of the rule, +// - the number of objects or situations before/after the rule was applied, +// - the time (date) of the event, +// - the time elapsed between two events, +// - the occurrence of events C between events A and B + +// When a list of measurements is established, it is possible to evaluate +// if the results of a measurement are correlated with some other results. + + + + + +/******************************************************************************/ +/* R E S U L T S */ +/******************************************************************************/ +// An editable list of displayable results is maintained. (add, remove, display) + +// A preferred presentation should be available for each result. +// NB : "graph", "chart", "plot" and "diagram" are ambiguous terms. + + + + + + /******************************************************************************/ /* D E B U G G E R S */ /******************************************************************************/ @@ -106,22 +153,3 @@ static void debug_printing (int choice, int value, int sub_automaton) } } - - -/******************************************************************************/ -/* N O N E X C L U S I V E S E L E C T I O N S */ -/******************************************************************************/ -// ? - - - -/******************************************************************************/ -/* M E A S U R E S */ -/******************************************************************************/ -// list of measurements requested by the user -// this list is editable (see widget / measure) - -// the results of each measurement can be displayed in diagrams (charts,...) -// liste des diagrammes - -