modules/testgen/targets/bmv2/compiler_result.h

#ifndef BACKENDS_P4TOOLS_MODULES_TESTGEN_TARGETS_BMV2_COMPILER_RESULT_H_
#define BACKENDS_P4TOOLS_MODULES_TESTGEN_TARGETS_BMV2_COMPILER_RESULT_H_
 
#include "backends/p4tools/common/compiler/midend.h"
#include "backends/p4tools/common/lib/variables.h"
#include "control-plane/p4RuntimeSerializer.h"
#include "frontends/common/options.h"
 
#include "backends/p4tools/modules/testgen/core/compiler_result.h"
#include "backends/p4tools/modules/testgen/targets/bmv2/map_direct_externs.h"
#include "backends/p4tools/modules/testgen/targets/bmv2/p4_asserts_parser.h"
 
namespace P4Tools::P4Testgen::Bmv2 {
 
class BMv2V1ModelCompilerResult : public TestgenCompilerResult {
 private:
    P4::P4RuntimeAPI p4runtimeApi;
 
    DirectExternMap directExternMap;
 
    // Vector containing vectors of P4Constraints restrictions and nodes to which these restrictions
    // apply.
    ConstraintsVector p4ConstraintsRestrictions;
 
 public:
    explicit BMv2V1ModelCompilerResult(TestgenCompilerResult compilerResult,
                                       P4::P4RuntimeAPI p4runtimeApi,
                                       DirectExternMap directExternMap,
                                       ConstraintsVector p4ConstraintsRestrictions);
 
    [[nodiscard]] const P4::P4RuntimeAPI &getP4RuntimeApi() const;
 
    // apply.
    [[nodiscard]] ConstraintsVector getP4ConstraintsRestrictions() const;
 
    [[nodiscard]] const DirectExternMap &getDirectExternMap() const;
 
    DECLARE_TYPEINFO(BMv2V1ModelCompilerResult, TestgenCompilerResult);
};
 
}  // namespace P4Tools::P4Testgen::Bmv2
 
#endif /* BACKENDS_P4TOOLS_MODULES_TESTGEN_TARGETS_BMV2_COMPILER_RESULT_H_ */