validateParsedProgram.h

/*
 * SPDX-FileCopyrightText: 2013 Barefoot Networks, Inc.
 * Copyright 2013-present Barefoot Networks, Inc.
 *
 * SPDX-License-Identifier: Apache-2.0
 */
 
#ifndef FRONTENDS_P4_VALIDATEPARSEDPROGRAM_H_
#define FRONTENDS_P4_VALIDATEPARSEDPROGRAM_H_
 
#include "ir/ir.h"
#include "ir/visitor.h"
 
namespace P4 {
 
using namespace literals;

class ValidateParsedProgram final : public Inspector {
    std::unordered_map<std::pair<const IR::Node *, cstring>, bool> annNames;
 
    void container(const IR::IContainer *type);
    // Make sure that type, apply and constructor parameters are distinct
    void distinctParameters(const IR::TypeParameters *typeParams, const IR::ParameterList *apply,
                            const IR::ParameterList *constr);
 
 public:
    ValidateParsedProgram() { setName("ValidateParsedProgram"); }
    void end_apply(const IR::Node *) override { annNames.clear(); }
    void postorder(const IR::Annotation *annotations) override;
    void postorder(const IR::P4Program *program) override;
    void postorder(const IR::Constant *c) override;
    void postorder(const IR::SwitchStatement *statement) override;
    void postorder(const IR::Method *t) override;
    void postorder(const IR::StructField *f) override;
    void postorder(const IR::ParserState *s) override;
    void postorder(const IR::P4Table *t) override;
    void postorder(const IR::Type_Bits *type) override;
    void postorder(const IR::Type_Varbits *type) override;
    void postorder(const IR::ConstructorCallExpression *expression) override;
    void postorder(const IR::Declaration_Variable *decl) override;
    void postorder(const IR::Declaration_Instance *inst) override;
    void postorder(const IR::Declaration_Constant *decl) override;
    void postorder(const IR::EntriesList *l) override;
    void postorder(const IR::ReturnStatement *statement) override;
    void postorder(const IR::ExitStatement *statement) override;
    void postorder(const IR::Type_Package *package) override { container(package); }
    void postorder(const IR::P4Control *control) override {
        container(control);
        distinctParameters(control->getTypeParameters(), control->getApplyParameters(),
                           control->getConstructorParameters());
    }
    void postorder(const IR::P4Parser *parser) override {
        auto start = parser->states.getDeclaration(IR::ParserState::start);
        if (!start) {
            error(ErrorType::ERR_INVALID, "Parser %1% has no 'start' state", parser->name);
        }
        container(parser);
        distinctParameters(parser->getTypeParameters(), parser->getApplyParameters(),
                           parser->getConstructorParameters());
    }
    void postorder(const IR::Dots *dots) override;
    void postorder(const IR::BreakStatement *s) override;
    void postorder(const IR::ContinueStatement *s) override;
};
 
}  // namespace P4
 
#endif /* FRONTENDS_P4_VALIDATEPARSEDPROGRAM_H_ */