DFA evaluation
[oweals/gnunet.git] / src / regex / test_regex.c
1 /*
2      This file is part of GNUnet
3      (C) 2012 Christian Grothoff (and other contributing authors)
4
5      GNUnet is free software; you can redistribute it and/or modify
6      it under the terms of the GNU General Public License as published
7      by the Free Software Foundation; either version 3, or (at your
8      option) any later version.
9
10      GNUnet is distributed in the hope that it will be useful, but
11      WITHOUT ANY WARRANTY; without even the implied warranty of
12      MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
13      General Public License for more details.
14
15      You should have received a copy of the GNU General Public License
16      along with GNUnet; see the file COPYING.  If not, write to the
17      Free Software Foundation, Inc., 59 Temple Place - Suite 330,
18      Boston, MA 02111-1307, USA.
19 */
20 /**
21  * @file regex/test_regex.c
22  * @brief test for regex.c
23  * @author Maximilian Szengel
24  */
25 #include "platform.h"
26 #include "gnunet_regex_lib.h"
27
28 static int err = 0;
29
30 int
31 main (int argc, char *argv[])
32 {
33   GNUNET_log_setup ("test-regex",
34 #if VERBOSE
35                     "DEBUG",
36 #else
37                     "WARNING",
38 #endif
39                     NULL);
40
41   struct GNUNET_REGEX_Automaton *nfa;
42   struct GNUNET_REGEX_Automaton *dfa;
43   char *regex;
44   char *string;
45   int eval;
46
47   nfa = NULL;
48   dfa = NULL;
49
50   regex = "a\\*b(c|d)+c*(a(b|c)d)+";
51   string = "a*bcabd";
52   /*regex = "\\*a(a|b)b"; */
53   /*regex = "a(a|b)c"; */
54   /*regex = "(a|aa)+"; */
55   nfa = GNUNET_REGEX_construct_nfa (regex, strlen (regex));
56
57   if (nfa)
58   {
59     GNUNET_REGEX_automaton_save_graph (nfa, "nfa_graph.dot");
60     eval = GNUNET_REGEX_eval (nfa, string);
61     GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Evaluating %s result: %i\n", string,
62                 eval);
63     if (GNUNET_YES != eval)
64       err = 1;
65     GNUNET_REGEX_automaton_destroy (nfa);
66   }
67   else
68     err = 1;
69
70   dfa = GNUNET_REGEX_construct_dfa (regex, strlen (regex));
71   if (dfa)
72   {
73     GNUNET_REGEX_automaton_save_graph (dfa, "dfa_graph.dot");
74     eval = GNUNET_REGEX_eval (dfa, string);
75     GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Evaluating %s result: %i\n", string,
76                 eval);
77     if (GNUNET_YES != eval)
78       err = 1;
79     GNUNET_REGEX_automaton_destroy (dfa);
80   }
81   return err;
82 }