compiler_target.h

#ifndef BACKENDS_P4TOOLS_MODULES_TESTGEN_CORE_COMPILER_TARGET_H_
#define BACKENDS_P4TOOLS_MODULES_TESTGEN_CORE_COMPILER_TARGET_H_
 
#include "backends/p4tools/common/compiler/compiler_target.h"
#include "backends/p4tools/common/compiler/reachability.h"
#include "midend/coverage.h"
 
namespace P4Tools::P4Testgen {
 
class TestgenCompilerResult : public CompilerResult {
 private:
    P4::Coverage::CoverageSet coverableNodes;
 
    const NodesCallGraph *callGraph;
 
 public:
    explicit TestgenCompilerResult(CompilerResult compilerResult,
                                   P4::Coverage::CoverageSet coverableNodes,
                                   const NodesCallGraph *callGraph = nullptr);
 
    [[nodiscard]] const NodesCallGraph &getCallGraph() const;
 
    [[nodiscard]] const P4::Coverage::CoverageSet &getCoverableNodes() const;
 
    DECLARE_TYPEINFO(TestgenCompilerResult, CompilerResult);
};
 
class TestgenCompilerTarget : public CompilerTarget {
 protected:
    explicit TestgenCompilerTarget(std::string deviceName, std::string archName);
 
 private:
    CompilerResultOrError runCompilerImpl(const IR::P4Program *program) const override;
};
 
}  // namespace P4Tools::P4Testgen
 
#endif /* BACKENDS_P4TOOLS_MODULES_TESTGEN_CORE_COMPILER_TARGET_H_ */