cdo/regex-engine
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Support wildcards in construct

Browse Source
This commit is contained in:
Camden Dixie O'Brien 2024-11-03 11:59:56 +00:00
parent 892ff89a66
commit 77e1a77e02
2 changed files with 34 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
lib/construct.c
View File

@ -164,6 +164,13 @@ static void construct_class(fsa_t *out, const regex_class_t *class)
}
}
static void construct_wildcard(fsa_t *out)
{
construct_base(out);
for (int i = 0; i < CHAR_COUNT; ++i)
fsa_add_rule(out, out->initial, 0, i);
}
static void construct_term(const regex_term_t *term, fsa_t *out)
{
switch (term->type) {
@ -179,9 +186,8 @@ static void construct_term(const regex_term_t *term, fsa_t *out)
case REGEX_TERM_CLASS:
construct_class(out, &term->class);
break;
case REGEX_TERM_WILDCARD:
assert(false);
construct_wildcard(out);
break;
}

26
tests/construct_tests.c
View File

@ -53,6 +53,31 @@ static void test_empty_expression(void)
fsa_free(&fsa);
}
static void test_wildcard(void)
{
regex_term_t *terms = malloc(1 * sizeof(regex_term_t));
terms[0].quantifier = REGEX_QUANTIFIER_NONE;
terms[0].type = REGEX_TERM_WILDCARD;
regex_sequence_t *alternatives = malloc(1 * sizeof(regex_sequence_t));
alternatives[0].count = alternatives[0].capacity = 1;
alternatives[0].contents = terms;
const regex_t regex
= { .count = 1, .capacity = 1, .contents = alternatives };
fsa_t fsa;
construct_nfa(&regex, &fsa);
ASSERT_TRUE(accepts(&fsa, "a"));
ASSERT_TRUE(accepts(&fsa, "b"));
ASSERT_TRUE(accepts(&fsa, "c"));
ASSERT_TRUE(accepts(&fsa, "d"));
ASSERT_FALSE(accepts(&fsa, ""));
ASSERT_FALSE(accepts(&fsa, "aa"));
regex_free(&regex);
fsa_free(&fsa);
}
static void test_literal_expression(void)
{
regex_term_t *terms = malloc(1 * sizeof(regex_term_t));
@ -386,6 +411,7 @@ int main(void)
// Base cases
test_empty_expression();
test_literal_expression();
test_wildcard();
test_sequence();
test_union();
test_star();