duplicateActionControlPlaneNameCheck.h

/*
 * Copyright 2024 Cisco Systems, Inc.
 * SPDX-FileCopyrightText: 2024 Cisco Systems, Inc.
 *
 * SPDX-License-Identifier: Apache-2.0
 */
 
#ifndef FRONTENDS_P4_DUPLICATEACTIONCONTROLPLANENAMECHECK_H_
#define FRONTENDS_P4_DUPLICATEACTIONCONTROLPLANENAMECHECK_H_
 
#include <vector>
 
#include "ir/ir.h"
#include "ir/visitor.h"
 
namespace P4 {

class DuplicateActionControlPlaneNameCheck : public Inspector {
    std::vector<cstring> stack;
    absl::flat_hash_map<cstring, const IR::Node *> actions;
 
 public:
    cstring getName(const IR::IDeclaration *decl);
 
    DuplicateActionControlPlaneNameCheck() {
        setName("DuplicateActionControlPlaneNameCheck");
        visitDagOnce = false;
    }
    bool preorder(const IR::P4Parser *) override {
        // There cannot be any action definitions inside a parser, so
        // do not traverse through its nodes.
        return false;
    }
 
    bool preorder(const IR::P4Control *control) override {
        stack.push_back(getName(control));
        return true;
    }
    void postorder(const IR::P4Control *) override { stack.pop_back(); }
 
    bool preorder(const IR::P4Table *) override {
        // There cannot be any action definitions inside a table, so
        // do not traverse through its nodes.
        return false;
    }
 
    void checkForDuplicateName(cstring name, const IR::Node *node);
 
    void postorder(const IR::P4Action *action) override;
};
 
}  // namespace P4
 
#endif /* FRONTENDS_P4_DUPLICATEACTIONCONTROLPLANENAMECHECK_H_ */