/*
This file is part of GNUnet
Copyright (C) 2012 GNUnet e.V.
GNUnet is free software: you can redistribute it and/or modify it
under the terms of the GNU Affero General Public License as published
by the Free Software Foundation, either version 3 of the License,
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
Affero General Public License for more details.
You should have received a copy of the GNU Affero General Public License
along with this program. If not, see .
SPDX-License-Identifier: AGPL3.0-or-later
*/
/**
* @file regex/test_regex_graph_api.c
* @brief test for regex_graph.c
* @author Maximilian Szengel
*/
#include
#include
#include "platform.h"
#include "regex_internal_lib.h"
#include "regex_test_lib.h"
#include "regex_internal.h"
#define KEEP_FILES 1
/**
* 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.
*/
static int
filecheck (const char *filename)
{
int error = 0;
FILE *fp;
/* Check if file was created and delete it again */
if (NULL == (fp = fopen (filename, "r")))
{
GNUNET_log (GNUNET_ERROR_TYPE_ERROR, "Could not find graph %s\n", filename);
return 1;
}
GNUNET_break (0 == 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 = 2;
}
GNUNET_assert (0 == fclose (fp));
if (! KEEP_FILES)
{
if (0 != unlink (filename))
GNUNET_log_strerror_file (GNUNET_ERROR_TYPE_ERROR, "unlink", filename);
}
return error;
}
int
main (int argc, char *argv[])
{
int error;
struct REGEX_INTERNAL_Automaton *a;
unsigned int i;
const char *filename = "test_graph.dot";
const char *regex[12] = {
"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",
"a|b",
"PADPADPADPADPADPabcdefghixxxxxxxxxxxxxjklmnop*qstoisdjfguisdfguihsdfgbdsuivggsd"
};
GNUNET_log_setup ("test-regex", "WARNING", NULL);
error = 0;
for (i = 0; i < 12; i++)
{
/* Check NFA graph creation */
a = REGEX_INTERNAL_construct_nfa (regex[i], strlen (regex[i]));
REGEX_TEST_automaton_save_graph (a, filename, REGEX_TEST_GRAPH_DEFAULT);
REGEX_INTERNAL_automaton_destroy (a);
error += filecheck (filename);
a = REGEX_INTERNAL_construct_nfa (regex[i], strlen (regex[i]));
REGEX_TEST_automaton_save_graph (a, filename,
REGEX_TEST_GRAPH_DEFAULT
| REGEX_TEST_GRAPH_VERBOSE);
REGEX_INTERNAL_automaton_destroy (a);
error += filecheck (filename);
a = REGEX_INTERNAL_construct_nfa (regex[i], strlen (regex[i]));
REGEX_TEST_automaton_save_graph (a, filename,
REGEX_TEST_GRAPH_DEFAULT
| REGEX_TEST_GRAPH_COLORING);
REGEX_INTERNAL_automaton_destroy (a);
error += filecheck (filename);
a = REGEX_INTERNAL_construct_nfa (regex[i], strlen (regex[i]));
REGEX_TEST_automaton_save_graph (a, filename,
REGEX_TEST_GRAPH_DEFAULT
| REGEX_TEST_GRAPH_VERBOSE
| REGEX_TEST_GRAPH_COLORING);
REGEX_INTERNAL_automaton_destroy (a);
error += filecheck (filename);
/* Check DFA graph creation */
a = REGEX_INTERNAL_construct_dfa (regex[i], strlen (regex[i]), 0);
REGEX_TEST_automaton_save_graph (a, filename, REGEX_TEST_GRAPH_DEFAULT);
REGEX_INTERNAL_automaton_destroy (a);
error += filecheck (filename);
a = REGEX_INTERNAL_construct_dfa (regex[i], strlen (regex[i]), 0);
REGEX_TEST_automaton_save_graph (a, filename,
REGEX_TEST_GRAPH_DEFAULT
| REGEX_TEST_GRAPH_VERBOSE);
REGEX_INTERNAL_automaton_destroy (a);
error += filecheck (filename);
a = REGEX_INTERNAL_construct_dfa (regex[i], strlen (regex[i]), 0);
REGEX_TEST_automaton_save_graph (a, filename,
REGEX_TEST_GRAPH_DEFAULT
| REGEX_TEST_GRAPH_COLORING);
REGEX_INTERNAL_automaton_destroy (a);
error += filecheck (filename);
a = REGEX_INTERNAL_construct_dfa (regex[i], strlen (regex[i]), 4);
REGEX_TEST_automaton_save_graph (a, filename, REGEX_TEST_GRAPH_DEFAULT);
REGEX_INTERNAL_automaton_destroy (a);
error += filecheck (filename);
}
return error;
}