src/regex/test_regex_iterate_api.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_iterate_api.c
  22  * @brief test for regex.c
  23  * @author Maximilian Szengel
  24  */
  25 #include <regex.h>
  26 #include <time.h>
  27 #include "platform.h"
  28 #include "gnunet_regex_lib.h"
  29
  30 void
  31 key_iterator (void *cls, const GNUNET_HashCode * key, const char *proof,
  32               int accepting, unsigned int num_edges,
  33               const struct GNUNET_REGEX_Edge *edges)
  34 {
  35   int i;
  36
  37   GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Iterating...\n");
  38   for (i = 0; i < num_edges; i++)
  39   {
  40     GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Edge %i: %s\n", i, edges[i].label);
  41   }
  42
  43   if (NULL != proof)
  44     GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Proof: %s\n", proof);
  45 }
  46
  47 int
  48 main (int argc, char *argv[])
  49 {
  50   GNUNET_log_setup ("test-regex",
  51 #if VERBOSE
  52                     "DEBUG",
  53 #else
  54                     "WARNING",
  55 #endif
  56                     NULL);
  57
  58   int error;
  59   const char *regex;
  60   struct GNUNET_REGEX_Automaton *dfa;
  61   struct GNUNET_REGEX_Automaton *nfa;
  62
  63   error = 0;
  64   /*regex = "ab?|xy|(abcd)?"; */
  65   /*regex = "(ab|cd|ef)xy"; */
  66   /*regex = "(ac|bc)de"; */
  67   /*regex = "((a|b)c)de"; */
  68   /*regex = "a+X*y+c|p|R|Z*K*y*R+w|Y*6+n+h*k*w+V*F|W*B*e*"; */
  69   regex = "ab(c|d)+c*(a(b|c)d)+";
  70   /*regex = "ab?(abcd)?"; */
  71   const char *regex1 = "(ac|bc)de";
  72   const char *regex2 = "((a|b)c)de";
  73
  74   /*nfa = GNUNET_REGEX_construct_nfa (regex, strlen (regex)); */
  75   /*GNUNET_REGEX_automaton_save_graph (nfa, "nfa.dot"); */
  76   dfa = GNUNET_REGEX_construct_dfa (regex, strlen (regex));
  77   GNUNET_REGEX_automaton_save_graph (dfa, "dfa.dot");
  78   GNUNET_REGEX_iterate_all_edges (dfa, key_iterator, NULL);
  79   GNUNET_REGEX_automaton_destroy (dfa);
  80   dfa = GNUNET_REGEX_construct_dfa (regex1, strlen (regex1));
  81   GNUNET_REGEX_automaton_save_graph (dfa, "dfa1.dot");
  82   GNUNET_REGEX_automaton_destroy (dfa);
  83   dfa = GNUNET_REGEX_construct_dfa (regex2, strlen (regex2));
  84   GNUNET_REGEX_automaton_save_graph (dfa, "dfa2.dot");
  85   GNUNET_REGEX_automaton_destroy (dfa);
  86
  87   return error;
  88 }