coverage

1 files changed, 157 insertions, 0 deletions

diff --git a/src/regex/test_regex_graph_api.c b/src/regex/test_regex_graph_api.c
new file mode 100644
index 000000000..0f1b72b61
--- /dev/null
+++ b/src/regex/test_regex_graph_api.c
@@ -0,0 +1,157 @@
+/*
+     This file is part of GNUnet
+     (C) 2012 Christian Grothoff (and other contributing authors)
+
+     GNUnet is free software; you can redistribute it and/or modify
+     it under the terms of the GNU General Public License as published
+     by the Free Software Foundation; either version 3, or (at your
+     option) any later version.
+
+     GNUnet is distributed in the hope that it will be useful, but
+     WITHOUT ANY WARRANTY; without even the implied warranty of
+     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+     General Public License for more details.
+
+     You should have received a copy of the GNU General Public License
+     along with GNUnet; see the file COPYING.  If not, write to the
+     Free Software Foundation, Inc., 59 Temple Place - Suite 330,
+     Boston, MA 02111-1307, USA.
+*/
+/**
+ * @file regex/test_regex_graph_api.c
+ * @brief test for regex_graph.c
+ * @author Maximilian Szengel
+ */
+#include <regex.h>
+#include <time.h>
+#include "platform.h"
+#include "gnunet_regex_lib.h"
+
+/**
+ * Check if 'filename' exists and is not empty.
+ *
+ * @param filename name of the file that should be checked
+ *
+ * @return 0 if ok, non 0 on error.
+ */
+int
+filecheck (const char *filename)
+{
+  int error = 0;
+  FILE *fp = NULL;
+
+  // Check if file was created and delete it again
+  fp = fopen (filename, "r");
+
+  if (NULL == fp)
+  {
+    GNUNET_log (GNUNET_ERROR_TYPE_ERROR, "Could not find graph %s\n", filename);
+    error++;
+  }
+
+  fseek (fp, 0L, SEEK_END);
+  if (1 > ftell (fp))
+  {
+    GNUNET_log (GNUNET_ERROR_TYPE_ERROR,
+                "Graph writing failed, got empty file (%s)!\n", filename);
+    error++;
+  }
+
+  return error;
+}
+
+int
+main (int argc, char *argv[])
+{
+  GNUNET_log_setup ("test-regex",
+#if VERBOSE
+                    "DEBUG",
+#else
+                    "WARNING",
+#endif
+                    NULL);
+
+  int error;
+  struct GNUNET_REGEX_Automaton *a;
+  unsigned int i;
+  const char *filename = "test_graph.dot";
+
+  error = 0;
+
+  const char *regex[10] = {
+    "ab(c|d)+c*(a(b|c)+d)+(bla)+",
+    "(bla)*",
+    "b(lab)*la",
+    "(ab)*",
+    "ab(c|d)+c*(a(b|c)+d)+(bla)(bla)*",
+    "z(abc|def)?xyz",
+    "1*0(0|1)*",
+    "a*b*",
+    "a+X*y+c|p|R|Z*K*y*R+w|Y*6+n+h*k*w+V*F|W*B*e*",
+    "a"
+  };
+
+  for (i = 0; i < 10; i++)
+  {
+    // Check NFA graph creation
+    a = GNUNET_REGEX_construct_nfa (regex[i], strlen (regex[i]));
+    GNUNET_REGEX_automaton_save_graph (a, filename, GNUNET_REGEX_GRAPH_DEFAULT);
+    GNUNET_REGEX_automaton_destroy (a);
+    error += filecheck (filename);
+
+    a = GNUNET_REGEX_construct_nfa (regex[i], strlen (regex[i]));
+    GNUNET_REGEX_automaton_save_graph (a, filename,
+                                       GNUNET_REGEX_GRAPH_DEFAULT |
+                                       GNUNET_REGEX_GRAPH_VERBOSE);
+    GNUNET_REGEX_automaton_destroy (a);
+    error += filecheck (filename);
+
+    a = GNUNET_REGEX_construct_nfa (regex[i], strlen (regex[i]));
+    GNUNET_REGEX_automaton_save_graph (a, filename,
+                                       GNUNET_REGEX_GRAPH_DEFAULT |
+                                       GNUNET_REGEX_GRAPH_COLORING);
+    GNUNET_REGEX_automaton_destroy (a);
+    error += filecheck (filename);
+
+    a = GNUNET_REGEX_construct_nfa (regex[i], strlen (regex[i]));
+    GNUNET_REGEX_automaton_save_graph (a, filename,
+                                       GNUNET_REGEX_GRAPH_DEFAULT |
+                                       GNUNET_REGEX_GRAPH_VERBOSE |
+                                       GNUNET_REGEX_GRAPH_COLORING);
+    GNUNET_REGEX_automaton_destroy (a);
+    error += filecheck (filename);
+
+
+    // Check DFA graph creation
+    a = GNUNET_REGEX_construct_dfa (regex[i], strlen (regex[i]));
+    GNUNET_REGEX_automaton_save_graph (a, filename, GNUNET_REGEX_GRAPH_DEFAULT);
+    GNUNET_REGEX_automaton_destroy (a);
+    error += filecheck (filename);
+
+    a = GNUNET_REGEX_construct_dfa (regex[i], strlen (regex[i]));
+    GNUNET_REGEX_automaton_save_graph (a, filename,
+                                       GNUNET_REGEX_GRAPH_DEFAULT |
+                                       GNUNET_REGEX_GRAPH_VERBOSE);
+    GNUNET_REGEX_automaton_destroy (a);
+    error += filecheck (filename);
+
+    a = GNUNET_REGEX_construct_dfa (regex[i], strlen (regex[i]));
+    GNUNET_REGEX_automaton_save_graph (a, filename,
+                                       GNUNET_REGEX_GRAPH_DEFAULT |
+                                       GNUNET_REGEX_GRAPH_COLORING);
+    GNUNET_REGEX_automaton_destroy (a);
+    error += filecheck (filename);
+
+
+    a = GNUNET_REGEX_construct_dfa (regex[i], strlen (regex[i]));
+    GNUNET_REGEX_automaton_save_graph (a, filename,
+                                       GNUNET_REGEX_GRAPH_DEFAULT |
+                                       GNUNET_REGEX_GRAPH_VERBOSE |
+                                       GNUNET_REGEX_GRAPH_COLORING);
+    GNUNET_REGEX_automaton_destroy (a);
+    error += filecheck (filename);
+
+  }
+
+  return error;
+}