WIP: cleaning (micro-commit)

This commit is contained in:
Jean Sirmai 2024-08-19 16:46:25 +02:00
parent 3d2f7db7a6
commit 4297242f16
Signed by: jean
GPG Key ID: FB3115C340E057E3
3 changed files with 22 additions and 3 deletions

View File

@ -38,3 +38,5 @@ const char get_button_icon_name (int n);
void fsm_reset_all_situations_transparencies_at_value (int value); // provisoire... void fsm_reset_all_situations_transparencies_at_value (int value); // provisoire...
void *fsm_add_displayable (char *displayable_name); void *fsm_add_displayable (char *displayable_name);
//void debug_printing (int choice, int value, int sub_automaton);

View File

@ -32,6 +32,21 @@
#include "../../include/fsm.h" #include "../../include/fsm.h"
#include "../../include/prefer.h" #include "../../include/prefer.h"
#include "../../include/widget.h" #include "../../include/widget.h"
#include "../../include/fsm.h"
/******************************************************************************/
/* */
/* FFFFFFFFFFFF SSSS MM MM */
/* FF SS SS MMMM MMMM */
/* FF SS MM MM MM MM */
/* FFFFFFF SS MM MM MM MM */
/* FF SS MM MM MM */
/* FF SS MM MM */
/* FF SS SS MM MM */
/* FF SSSSS MM MM */
/* */
/******************************************************************************/
/******************************************************************************/ /******************************************************************************/
@ -111,8 +126,8 @@ static void debug_printing (int choice, int value, int sub_automaton)
tab_0 [choice_EXEC_EDIT], tab_0 [choice_EXEC_EDIT],
tab_1 [choice]); tab_1 [choice]);
break; break;
case (2) : break; case (2) : printf("FSM debug <> choice = %2d\n", choice); break;
case (3) : break; case (3) : printf("FSM debug <> choice = %2d\n", choice); break;
default : printf("default in automaton.debug_printing()\n"); default : printf("default in automaton.debug_printing()\n");
} }

View File

@ -32,6 +32,7 @@
#include "../../include/fsm.h" #include "../../include/fsm.h"
#include "../../include/prefer.h" #include "../../include/prefer.h"
#include "../../include/widget.h" #include "../../include/widget.h"
#include "../../include/fsm.h"
/******************************************************************************/ /******************************************************************************/
@ -88,6 +89,7 @@ static void *list_measures;
void *fsm_add_measure (char *measure_name) void *fsm_add_measure (char *measure_name)
{ {
printf("fsm_add_measure %p <<< %s (see fsm.c)\n", list_measures, measure_name); printf("fsm_add_measure %p <<< %s (see fsm.c)\n", list_measures, measure_name);
// debug_printing (2, 0, 0);
return NULL; return NULL;
} }