type_checker.h

 
#ifndef BF_P4C_MIDEND_TYPE_CHECKER_H_
#define BF_P4C_MIDEND_TYPE_CHECKER_H_
 
#include "frontends/common/resolveReferences/resolveReferences.h"
#include "frontends/p4/evaluator/evaluator.h"
#include "frontends/p4/typeChecking/typeChecker.h"
 
namespace BFN {
 
class TypeInference : public P4::TypeInference {
    P4::TypeMap *typeMap;
 
 public:
    explicit TypeInference(P4::TypeMap *typeMap, bool readOnly = false)
        : P4::TypeInference(typeMap, readOnly), typeMap(typeMap) {}
 
    const IR::Node *postorder(IR::BFN::ReinterpretCast *) override;
    const IR::Node *postorder(IR::BFN::SignExtend *) override;
    const IR::Node *postorder(IR::Member *) override;
    TypeInference *clone() const override;
 
 protected:
    const IR::Type *setTypeType(const IR::Type *type, bool learn = true) override;
};
 
class TypeChecking : public P4::TypeChecking {
 public:
    TypeChecking(P4::ReferenceMap *refMap, P4::TypeMap *typeMap, bool updateExpressions = false);
};
 
class EvaluatorPass final : public PassManager, public P4::IHasBlock {
    P4::Evaluator *evaluator;
 
 public:
    IR::ToplevelBlock *getToplevelBlock() const override { return evaluator->getToplevelBlock(); }
    EvaluatorPass(P4::ReferenceMap *refMap, P4::TypeMap *typeMap);
};
 
}  // namespace BFN
 
#endif /* BF_P4C_MIDEND_TYPE_CHECKER_H_ */