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 Transform {
    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;
    }
    const IR::Node *preorder(IR::P4Parser *parser) override {
        // There cannot be any action definitions inside a parser, so
        // do not traverse through its nodes.
        prune();
        return parser;
    }
 
    const IR::Node *preorder(IR::P4Control *control) override {
        stack.push_back(getName(control));
        return control;
    }
    const IR::Node *postorder(IR::P4Control *control) override {
        stack.pop_back();
        return control;
    }
 
    const IR::Node *preorder(IR::P4Table *table) override {
        // There cannot be any action definitions inside a table, so
        // do not traverse through its nodes.
        prune();
        return table;
    }
 
    void checkForDuplicateName(cstring name, const IR::Node *node);
 
    const IR::Node *postorder(IR::P4Action *action) override;
};
 
}  // namespace P4
 
#endif /* FRONTENDS_P4_DUPLICATEACTIONCONTROLPLANENAMECHECK_H_ */