diff --git a/include/util.h b/include/util.h index 26c7666..c75dc35 100644 --- a/include/util.h +++ b/include/util.h @@ -34,6 +34,8 @@ #include +char *util_read_file(char *filename); + //------------------------------------------------------------------------------ // https://chgi.developpez.com/liste/ < ^c^v @@ -50,27 +52,27 @@ typedef struct pile /* Push empile une valeur sur la pile. */ -void Push(pile **, int); +void util_pile_push(pile **, int); /* Pop retire la dernière valeur empilée sur la pile. */ -int Pop(pile **); +int util_pile_pop(pile **); /* Clear vide la pile. */ -void Clear(pile **); +void util_pile_clear(pile **); /* Length retourne le nombre d'éléments de la pile. */ -int Length(pile *p); +int util_pile_length(pile *p); /* Affiche la totalité de la pile en commençant par le sommet. */ -void View(pile *); +void util_pile_view(pile *); @@ -79,4 +81,3 @@ void View(pile *); void util_pile_test(); // def: scr/util/tests -char *read_file(char *filename); diff --git a/src/fsm/measure.c b/src/fsm/measure.c index 07880b5..6623949 100644 --- a/src/fsm/measure.c +++ b/src/fsm/measure.c @@ -102,7 +102,7 @@ void fsm_add_measure (char *measure_name) {fsm_debug_msg (2, 0, measure_name, 2) void fsm_measures_list_init () { fsm_debug_msg (0,0, "fsm_measures_list_init()", 2); // sub_automaton 2 - util_pile_test(); + if (0) util_pile_test(); } diff --git a/src/graphics/init.c b/src/graphics/init.c index 7175222..2cbbf72 100644 --- a/src/graphics/init.c +++ b/src/graphics/init.c @@ -382,7 +382,7 @@ bool graphics_init_shaders(const int stack_id) GLuint p = 0; // Load vertex shader file - vertex_shader = read_file(VERTEX_SHADER_FILE); + vertex_shader = util_read_file(VERTEX_SHADER_FILE); if (vertex_shader == NULL) return false; vertex = graphics_create_shader(stack_id, GL_VERTEX_SHADER, vertex_shader); @@ -394,7 +394,7 @@ bool graphics_init_shaders(const int stack_id) } // Load fragment shader file - fragment_shader = read_file(FRAG_SHADER_FILE); + fragment_shader = util_read_file(FRAG_SHADER_FILE); if (fragment_shader == NULL) return false; fragment = graphics_create_shader(stack_id, GL_FRAGMENT_SHADER, fragment_shader); diff --git a/src/util/io.c b/src/util/io.c index 1eb8d33..4b28479 100644 --- a/src/util/io.c +++ b/src/util/io.c @@ -42,9 +42,6 @@ #include #include -//#include -//#include - #include "../../include/util.h" @@ -57,7 +54,7 @@ * * @return void */ -char *read_file(char *filename) +char *util_read_file(char *filename) { int fd; int filesize; diff --git a/src/util/pile.c b/src/util/pile.c index 4ee67db..89d6802 100644 --- a/src/util/pile.c +++ b/src/util/pile.c @@ -42,7 +42,7 @@ /*************************************************************************/ -void Push(pile **p, int Val) +void util_pile_push(pile **p, int Val) { pile *element = malloc(sizeof(pile)); if(!element) exit(EXIT_FAILURE); /* Si l'allocation a échoué. */ @@ -52,7 +52,7 @@ void Push(pile **p, int Val) } /*************************************************************************/ -int Pop(pile **p) +int util_pile_pop(pile **p) { int Val; pile *tmp; @@ -66,7 +66,7 @@ int Pop(pile **p) /*************************************************************************/ -void Clear(pile **p) +void util_pile_clear(pile **p) { pile *tmp; while(*p) @@ -78,7 +78,7 @@ void Clear(pile **p) } /*************************************************************************/ -int Length(pile *p) +int util_pile_length(pile *p) { int n=0; while(p) @@ -91,7 +91,7 @@ int Length(pile *p) /*************************************************************************/ -void View(pile *p) +void util_pile_view(pile *p) { while(p) { diff --git a/src/util/tests.c b/src/util/tests.c index 2fa3024..26b7641 100644 --- a/src/util/tests.c +++ b/src/util/tests.c @@ -36,35 +36,34 @@ void util_pile_test() // https://chgi.developpez.com/liste/ < ^c^v { pile *MaPile = NULL; /* Impératif de l'initialiser à NULL */ - Push(&MaPile, 10); - Push(&MaPile, 25); - Push(&MaPile, 33); - - Push(&MaPile, 12); /* Empile 4 valeurs. */ + util_pile_push(&MaPile, 10); + util_pile_push(&MaPile, 25); + util_pile_push(&MaPile, 33); + util_pile_push(&MaPile, 12); /* Empile 4 valeurs. */ puts("Affichage de la pile :"); - View(MaPile); /* Affiche la totalité de la pile. */ + util_pile_view(MaPile); /* Affiche la totalité de la pile. */ puts("------"); - printf("Nb d'elements : %d\n",Length(MaPile)); + printf("Nb d'elements : %d\n",util_pile_length(MaPile)); puts("------"); puts("Deux valeurs soutirees de la pile :"); - printf("%d\n",Pop(&MaPile)); /* Affiche deux valeurs */ - printf("%d\n",Pop(&MaPile)); /* soutirées de la pile. */ + printf("%d\n",util_pile_pop(&MaPile)); /* Affiche deux valeurs */ + printf("%d\n",util_pile_pop(&MaPile)); /* soutirées de la pile. */ puts("------"); puts("Affichage de la pile :"); - View(MaPile); /* Affiche la totalité de la pile. */ + util_pile_view(MaPile); /* Affiche la totalité de la pile. */ puts("------"); - Clear(&MaPile); /* Vide la pile. */ + util_pile_clear(&MaPile); /* Vide la pile. */ - Push(&MaPile, 18); /* Empile une valeur. */ + util_pile_push(&MaPile, 18); /* Empile une valeur. */ puts("Affichage de la pile apres vidage et ajout d'une valeur :"); - View(MaPile); /* Affiche la totalité de la pile. */ + util_pile_view(MaPile); /* Affiche la totalité de la pile. */ puts("------\n"); - Clear(&MaPile); /* Vider la pile avant de quitter. */ + util_pile_clear(&MaPile); /* Vider la pile avant de quitter. */ } diff --git a/src/widget/topbar/polytext.c b/src/widget/topbar/polytext.c index 3c082f3..cd1d444 100644 --- a/src/widget/topbar/polytext.c +++ b/src/widget/topbar/polytext.c @@ -59,7 +59,7 @@ void widget_design_text_window (GtkWindow *main_window, GtkWindow *text_window) void *widget_get_text_from_address (gchar *text_address) { GtkWidget *view = gtk_text_view_new (); GtkTextBuffer *buffer = gtk_text_view_get_buffer (GTK_TEXT_VIEW (view)); - gtk_text_buffer_set_text (buffer, read_file (text_address), -1); + gtk_text_buffer_set_text (buffer, util_read_file (text_address), -1); gtk_text_buffer_set_modified (buffer, FALSE); GtkScrolledWindow *scrolled_window = GTK_SCROLLED_WINDOW (gtk_scrolled_window_new());