diff options
author | Maximilian Szengel <gnunet@maxsz.de> | 2012-03-23 17:40:07 +0000 |
---|---|---|
committer | Maximilian Szengel <gnunet@maxsz.de> | 2012-03-23 17:40:07 +0000 |
commit | 5c8de456e32609d834e8ceba0bd55f0eb602ead2 (patch) | |
tree | 454f17448d36cc3eca7a94f29730df700c9d92a8 /src/regex/test_regex.c | |
parent | 73a01de336de530bc74b823561d52ef18b2dbea4 (diff) |
towards dfa
Diffstat (limited to 'src/regex/test_regex.c')
-rw-r--r-- | src/regex/test_regex.c | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/src/regex/test_regex.c b/src/regex/test_regex.c index 288dc28e67..c27b093b42 100644 --- a/src/regex/test_regex.c +++ b/src/regex/test_regex.c @@ -38,19 +38,28 @@ main (int argc, char *argv[]) #endif NULL); - struct GNUNET_REGEX_Nfa *nfa; + struct GNUNET_REGEX_Automaton *nfa; + struct GNUNET_REGEX_Automaton *dfa; char *regex; + nfa = NULL; + dfa = NULL; + regex = "a\\*b(c|d)+c*(a(b|c)d)+"; + /*regex = "a(ab)b";*/ nfa = GNUNET_REGEX_construct_nfa (regex, strlen (regex)); if (nfa) { GNUNET_REGEX_save_nfa_graph (nfa, "nfa_graph.dot"); - GNUNET_REGEX_destroy_nfa (nfa); + GNUNET_REGEX_destroy_automaton (nfa); } else err = 1; + dfa = GNUNET_REGEX_construct_dfa (regex, strlen (regex)); + if (dfa) + GNUNET_REGEX_destroy_automaton (dfa); + return err; } |