98 lines
5.6 KiB
C
98 lines
5.6 KiB
C
/* * * * * * * * * * * * * * * * * * * * * * * * * * *
|
|
* *
|
|
* Gem-graph client *
|
|
* *
|
|
* Finite State Machine (fsm) header *
|
|
* *
|
|
* Copyright © 2021 Libre en Communs <contact@a-lec.org> *
|
|
* Copyright © 2021 Adrien Bourmault <neox@a-lec.org> *
|
|
* Copyright © 2021 Jean Sirmai <jean@a-lec.org> *
|
|
* *
|
|
* 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 published by 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 <http://www.gnu.org/licenses/>. *
|
|
* *
|
|
* * * * * * * * * * * * * * * * * * * * * * * * * * */
|
|
|
|
|
|
#pragma once
|
|
#include <stdbool.h>
|
|
#include <stddef.h>
|
|
#include <gtk-4.0/gtk/gtk.h>
|
|
|
|
/******************************************************************************/
|
|
/* 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 };
|
|
|
|
typedef struct m_pile // 1er essai : measures (2024-08-26)
|
|
{
|
|
int value; // to replace
|
|
int measure_type;
|
|
int *p_rule; // réserve un emplacement pour stocker une adresse mémoire.
|
|
// at_rule = &rule; < écrira l'adresse de rule dans cet emplacement.
|
|
struct m_pile *prev;
|
|
} m_pile;
|
|
|
|
#define n_rules 128 // arbitrary
|
|
#define n_objects 32 // arbitrary too,
|
|
#define n_situations 128 // and so on...
|
|
|
|
void fsm_init(); // def: fsm/dispatch; call: main;
|
|
void fsm_preferences_init(); // def: fsm/prefer; call: fsm/dispatch;
|
|
void fsm_measures_list_init(); // def: fsm/measure/list.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_state (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_debug_msg (int choice, int value, char *string, int sub_automaton);
|
|
// def: fsm/dispatch; call: fsm/dispatch;
|
|
// fsm/measure;
|
|
// fsm/result;
|
|
|
|
int fsm_pile_push (m_pile **p, int val); // def: measure/list call measure/list
|
|
int fsm_pile_pop (m_pile **p); // def: measure/list call measure/list
|
|
void fsm_pile_view (m_pile *p); // def: measure/list call measure/list
|
|
int fsm_pile_length (m_pile *p); // def: measure/list call measure/list
|