modules/testgen/targets/bmv2/compiler_result.h

/*
 * SPDX-FileCopyrightText: 2024 The P4 Language Consortium
 *
 * SPDX-License-Identifier: Apache-2.0
 */
 
#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 P4::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 P4::P4Tools::P4Testgen::Bmv2
 
#endif /* BACKENDS_P4TOOLS_MODULES_TESTGEN_TARGETS_BMV2_COMPILER_RESULT_H_ */