externs.h

#ifndef BACKENDS_P4TOOLS_MODULES_TESTGEN_CORE_EXTERNS_H_
#define BACKENDS_P4TOOLS_MODULES_TESTGEN_CORE_EXTERNS_H_
 
#include <sys/types.h>
 
#include <functional>
#include <list>
#include <map>
#include <tuple>
#include <utility>
#include <vector>
 
#include "ir/id.h"
#include "ir/ir.h"
#include "ir/vector.h"
#include "lib/cstring.h"
 
#include "backends/p4tools/modules/testgen/core/small_step/small_step.h"
#include "backends/p4tools/modules/testgen/lib/execution_state.h"
 
namespace P4Tools::P4Testgen {
 
class ExternMethodImpls {
 public:
    bool exec(const IR::MethodCallExpression *call, const IR::Expression *receiver, IR::ID &name,
              const IR::Vector<IR::Argument> *args, const ExecutionState &state,
              SmallStepEvaluator::Result &result) const;
 
    using MethodImpl = std::function<void(const IR::MethodCallExpression *, const IR::Expression *,
                                          IR::ID &, const IR::Vector<IR::Argument> *,
                                          const ExecutionState &, SmallStepEvaluator::Result &)>;
 
 private:
    std::map<cstring, std::map<uint, std::list<std::pair<std::vector<cstring>, MethodImpl>>>> impls;
 
    static bool matches(const std::vector<cstring> &paramNames,
                        const IR::Vector<IR::Argument> *args);
 
 public:
    using ImplList = std::list<std::tuple<cstring, std::vector<cstring>, MethodImpl>>;
 
    explicit ExternMethodImpls(const ImplList &implList);
};
 
}  // namespace P4Tools::P4Testgen
 
#endif /* BACKENDS_P4TOOLS_MODULES_TESTGEN_CORE_EXTERNS_H_ */