diff options
author | Maximilian Szengel <gnunet@maxsz.de> | 2012-06-11 15:10:21 +0000 |
---|---|---|
committer | Maximilian Szengel <gnunet@maxsz.de> | 2012-06-11 15:10:21 +0000 |
commit | 16cf819a0feb38c36b046c59febae5bc511a3d1b (patch) | |
tree | 5a2add323bee9c5646cd56a0e37eb6a29c5de034 /src/regex/test_regex_iterate_api.c | |
parent | 300a9b12a902e6af2b763910fb372020a857ae7c (diff) | |
download | gnunet-16cf819a0feb38c36b046c59febae5bc511a3d1b.tar.gz gnunet-16cf819a0feb38c36b046c59febae5bc511a3d1b.zip |
simplified regex/proof generation
Diffstat (limited to 'src/regex/test_regex_iterate_api.c')
-rw-r--r-- | src/regex/test_regex_iterate_api.c | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/src/regex/test_regex_iterate_api.c b/src/regex/test_regex_iterate_api.c index 6c5b0e55b..90907baee 100644 --- a/src/regex/test_regex_iterate_api.c +++ b/src/regex/test_regex_iterate_api.c | |||
@@ -60,7 +60,10 @@ main (int argc, char *argv[]) | |||
60 | struct GNUNET_REGEX_Automaton *dfa; | 60 | struct GNUNET_REGEX_Automaton *dfa; |
61 | 61 | ||
62 | error = 0; | 62 | error = 0; |
63 | /*regex = "ab(c|d)+c*(a(b|c)+d)+(bla)+"; */ | 63 | regex = "ab(c|d)+c*(a(b|c)+d)+(bla)+"; |
64 | /*regex = "(bla)+"; */ | ||
65 | /*regex = "b(lab)*la"; */ | ||
66 | /*regex = "(bla)*"; */ | ||
64 | /*regex = "ab(c|d)+c*(a(b|c)+d)+(bla)(bla)*"; */ | 67 | /*regex = "ab(c|d)+c*(a(b|c)+d)+(bla)(bla)*"; */ |
65 | /*regex = "z(abc|def)?xyz"; */ | 68 | /*regex = "z(abc|def)?xyz"; */ |
66 | /*regex = "1*0(0|1)*"; */ | 69 | /*regex = "1*0(0|1)*"; */ |
@@ -68,7 +71,15 @@ main (int argc, char *argv[]) | |||
68 | /*regex = "abcd:(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)"; */ | 71 | /*regex = "abcd:(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)"; */ |
69 | /*regex = "abc(1|0)*def"; */ | 72 | /*regex = "abc(1|0)*def"; */ |
70 | /*regex = "ab|ac"; */ | 73 | /*regex = "ab|ac"; */ |
71 | regex = "(ab)(ab)*"; | 74 | /*regex = "(ab)(ab)*"; */ |
75 | /*regex = "ab|cd|ef|gh"; */ | ||
76 | /*regex = "a|b|c|d|e|f|g"; */ | ||
77 | /*regex = "(ab)|(ac)"; */ | ||
78 | /*regex = "a(b|c)"; */ | ||
79 | /*regex = "a*a"; */ | ||
80 | /*regex = "ab?(abcd)?"; */ | ||
81 | /*regex = "(ab)+"; */ | ||
82 | /*regex = "(abcsdfsdf)+"; */ | ||
72 | dfa = GNUNET_REGEX_construct_dfa (regex, strlen (regex)); | 83 | dfa = GNUNET_REGEX_construct_dfa (regex, strlen (regex)); |
73 | GNUNET_REGEX_automaton_save_graph (dfa, "dfa.dot"); | 84 | GNUNET_REGEX_automaton_save_graph (dfa, "dfa.dot"); |
74 | GNUNET_REGEX_iterate_all_edges (dfa, key_iterator, NULL); | 85 | GNUNET_REGEX_iterate_all_edges (dfa, key_iterator, NULL); |