diff options
Diffstat (limited to 'gfsm/gfsm/src/libgfsm/tests/test-stateset.c')
-rw-r--r-- | gfsm/gfsm/src/libgfsm/tests/test-stateset.c | 61 |
1 files changed, 0 insertions, 61 deletions
diff --git a/gfsm/gfsm/src/libgfsm/tests/test-stateset.c b/gfsm/gfsm/src/libgfsm/tests/test-stateset.c deleted file mode 100644 index 4e56112..0000000 --- a/gfsm/gfsm/src/libgfsm/tests/test-stateset.c +++ /dev/null @@ -1,61 +0,0 @@ -#include <gfsm.h> -#include <stdio.h> -#include <stdlib.h> - -const char *progname = "test-stateset"; -const char *infilename = "statetest.tfst"; - -gfsmAutomaton *fsm; -gfsmError *err = NULL; - -gboolean stateset_print_func(gfsmStateId id, gpointer data) -{ - printf(" %u", id); - return FALSE; -} - -void stateset_print(const char *label, gfsmStateSet *sset) -{ - gfsmStateSetIter ssi; - gfsmStateId ssid; - - printf("%s: {", label); - - //gfsm_stateset_foreach(sset, stateset_print_func, NULL); - for (ssi = gfsm_stateset_iter_begin(sset); - (ssid=gfsm_stateset_iter_id(ssi)) != gfsmNoState; - ssi = gfsm_stateset_iter_next(sset,ssi)) - { - printf(" %u", ssid); - } - - printf(" }\n"); -} - -int main (int argc, char **argv) { - int i; - gfsmStateId id; - gfsmStateSet *sset; - - fsm = gfsm_automaton_new(); - sset = gfsm_stateset_new(); - - if (!gfsm_automaton_compile_filename(fsm,infilename,&err)) { - g_printerr("%s: compile failed for '%s': %s\n", progname, infilename, err->message); - exit(255); - } - printf("%s: compiled test automaton from '%s'\n", *argv, infilename); - - for (i=0; i < argc; i++) { - id = strtol(argv[i],NULL,10); - gfsm_stateset_clear(sset); - gfsm_stateset_populate(sset,fsm,id, gfsmEpsilon, gfsmEpsilon); - - printf("--\nseed=%u\n", id); - stateset_print("equiv", sset); - } - - gfsm_stateset_free(sset); - gfsm_automaton_free(fsm); - return 0; -} |