modules/testgen/core/compiler_result.h

/*
 * SPDX-FileCopyrightText: 2024 The P4 Language Consortium
 *
 * SPDX-License-Identifier: Apache-2.0
 */
 
#ifndef BACKENDS_P4TOOLS_MODULES_TESTGEN_CORE_COMPILER_RESULT_H_
#define BACKENDS_P4TOOLS_MODULES_TESTGEN_CORE_COMPILER_RESULT_H_
 
#include "backends/p4tools/common/compiler/compiler_result.h"
#include "backends/p4tools/common/compiler/reachability.h"
#include "midend/coverage.h"
 
namespace P4::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);
};
 
}  // namespace P4::P4Tools::P4Testgen
 
#endif /* BACKENDS_P4TOOLS_MODULES_TESTGEN_CORE_COMPILER_RESULT_H_ */