gtest_utils.h

#ifndef BACKENDS_P4TOOLS_MODULES_TESTGEN_TEST_GTEST_UTILS_H_
#define BACKENDS_P4TOOLS_MODULES_TESTGEN_TEST_GTEST_UTILS_H_
 
#include <gtest/gtest.h>
 
#include <functional>
#include <optional>
#include <string>
 
#include "backends/p4tools/common/compiler/compiler_target.h"
#include "frontends/common/options.h"
#include "ir/ir.h"
 
namespace P4::Test {

class P4ToolsTestCase {
 public:
    static std::optional<const P4ToolsTestCase> create(std::string deviceName, std::string archName,
                                                       CompilerOptions::FrontendVersion langVersion,
                                                       const std::string &source);

    static std::optional<const P4ToolsTestCase> create_14(std::string deviceName,
                                                          std::string archName,
                                                          const std::string &source);

    static std::optional<const P4ToolsTestCase> create_16(std::string deviceName,
                                                          std::string archName,
                                                          const std::string &source);
 
    explicit P4ToolsTestCase(const P4Tools::CompilerResult &compilerResults);

    [[nodiscard]] const IR::P4Program &getProgram() const;

    [[nodiscard]] const P4Tools::CompilerResult &getCompilerResult() const;
 
 private:
    std::reference_wrapper<const P4Tools::CompilerResult> compilerResults;

    static void ensureInit();
};

class P4ToolsTest : public ::testing::Test {};

class SymbolicConverter : public Transform {
 public:
    const IR::SymbolicVariable *preorder(IR::Member *member) override;
};
 
}  // namespace P4::Test
 
#endif /* BACKENDS_P4TOOLS_MODULES_TESTGEN_TEST_GTEST_UTILS_H_ */