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 struct GNUNET_HashCode *key, const char *proof,
  32               int accepting, unsigned int num_edges,
  33               const struct GNUNET_REGEX_Edge *edges)
  34 {
  35   unsigned int i;
  36   int *error = cls;
  37
  38   GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Iterating... (accepting: %i)\n",
  39               accepting);
  40
  41   if (NULL != proof)
  42     GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Proof: %s\n", proof);
  43
  44   if (NULL != key)
  45     GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Hash: %s\n", GNUNET_h2s (key));
  46
  47   for (i = 0; i < num_edges; i++)
  48   {
  49     GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Edge %i: Label: %s Destination: %s\n",
  50                 i, edges[i].label, GNUNET_h2s (&edges[i].destination));
  51   }
  52
  53   *error += (GNUNET_OK == GNUNET_REGEX_check_proof (proof, key)) ? 0 : 1;
  54 }
  55
  56 int
  57 main (int argc, char *argv[])
  58 {
  59   GNUNET_log_setup ("test-regex",
  60 #if VERBOSE
  61                     "DEBUG",
  62 #else
  63                     "WARNING",
  64 #endif
  65                     NULL);
  66
  67   int error;
  68   int i;
  69   struct GNUNET_REGEX_Automaton *dfa;
  70
  71   error = 0;
  72
  73   const char *regex[17] = {
  74     "ab(c|d)+c*(a(b|c)+d)+(bla)+",
  75     "(bla)*",
  76     "b(lab)*la",
  77     "(ab)*",
  78     "ab(c|d)+c*(a(b|c)+d)+(bla)(bla)*",
  79     "z(abc|def)?xyz",
  80     "1*0(0|1)*",
  81     "a*b*",
  82     "a+X*y+c|p|R|Z*K*y*R+w|Y*6+n+h*k*w+V*F|W*B*e*",
  83     "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)",
  84     "abc(1|0)*def",
  85     "ab|ac",
  86     "(ab)(ab)*",
  87     "ab|cd|ef|gh",
  88     "a|b|c|d|e|f|g",
  89     "(ab)|(ac)",
  90     "x*|(0|1|2)(a|b|c|d)"
  91   };
  92
  93   for (i = 0; i < 17; i++)
  94   {
  95     dfa = GNUNET_REGEX_construct_dfa (regex[i], strlen (regex[i]));
  96     GNUNET_REGEX_iterate_all_edges (dfa, key_iterator, &error);
  97     GNUNET_REGEX_automaton_destroy (dfa);
  98   }
  99
 100   return error;
 101 }