test-nfa.cpp File Reference

#include <sstream>
#include <string>
#include <utility>
#include <vector>
#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	ByteLexicalRule = log_surgeon::LexicalRule<ByteNfaState>
using	ByteNfa = log_surgeon::finite_automata::Nfa<ByteNfaState>

Functions
void	capture ()
	Create a NFA for matching a simple variable with a capture group.
void	capture_containing_repetition ()
	Create a NFA for matching a capture group containing repetition.
void	multi_valued_capture_0 ()
	Create a NFA for matching a multi-valued (repeated) capture group.
void	multi_valued_capture_1 ()
	Create a NFA for matching a multi-valued (repeated) capture group.
void	multi_valued_capture_containing_repetition ()
	Create a NFA for matching a multi-valued (repeated) capture group containing repetition.
void	int_var ()
	Create a NFA for matching an integer.
void	kv_pair_var ()
	Create a NFA for matching a key-value pair.

Typedef Documentation

ByteLexicalRule

using ByteLexicalRule = log_surgeon::LexicalRule<ByteNfaState>

ByteNfa

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