test-dfa.cpp File Reference

#include <sstream>
#include <string>
#include <utility>
#include <vector>
#include <log_surgeon/finite_automata/Dfa.hpp>
#include <log_surgeon/finite_automata/DfaState.hpp>
#include <log_surgeon/finite_automata/Nfa.hpp>
#include <log_surgeon/finite_automata/NfaState.hpp>
#include <log_surgeon/LexicalRule.hpp>
#include <log_surgeon/Schema.hpp>
#include <log_surgeon/SchemaParser.hpp>
#include <catch2/catch_test_macros.hpp>

Typedefs
using	ByteDfa = log_surgeon::finite_automata::Dfa<ByteDfaState, ByteNfaState>
using	ByteLexicalRule = log_surgeon::LexicalRule<ByteNfaState>
using	ByteNfa = log_surgeon::finite_automata::Nfa<ByteNfaState>

Functions
void	no_capture_0 ()
	Create a DFA for matching a simple variable with no capture group.
void	no_capture_1 ()
	Create a DFA for matching a complex variable with no capture group.
void	capture ()
	Create a DFA for matching a simple variable with a capture group.
void	capture_containing_repetition ()
	Create a DFA for matching a complex capture group containing repetition.
void	multi_valued_capture_containing_repetition ()
	Create a DFA for matching a multi-valued (repeated) capture group containing repetition.
void	int_var ()
	Create a DFA for matching an integer.
void	kv_pair_var ()
	Create a DFA for matching a key-value pair.
void	two_overlapping_vars ()
	Create a DFA for matching two overlapping variables.

Typedef Documentation

ByteDfa

using ByteDfa = log_surgeon::finite_automata::Dfa<ByteDfaState, ByteNfaState>

ByteLexicalRule

using ByteLexicalRule = log_surgeon::LexicalRule<ByteNfaState>

ByteNfa

using ByteNfa = log_surgeon::finite_automata::Nfa<ByteNfaState>