getV1ModelVersion.h

#ifndef _FRONTENDS_P4_GETV1MODELVERSION_H_
#define _FRONTENDS_P4_GETV1MODELVERSION_H_
 
#include "ir/ir.h"
#include "ir/visitor.h"
 
namespace P4::P4V1 {
 
class GetV1ModelVersion : public Inspector {
    bool preorder(const IR::Declaration_Constant *dc) override {
        if (dc->name == "__v1model_version") {
            const auto *val = dc->initializer->to<IR::Constant>();
            version = static_cast<unsigned>(val->value);
        }
        return false;
    }
    bool preorder(const IR::Declaration *) override { return false; }
 
 public:
    unsigned version = 0;
};
 
}  // namespace P4::P4V1
 
#endif /* _FRONTENDS_P4_GETV1MODELVERSION_H_ */