namespace_context.h

#ifndef BACKENDS_P4TOOLS_COMMON_LIB_NAMESPACE_CONTEXT_H_
#define BACKENDS_P4TOOLS_COMMON_LIB_NAMESPACE_CONTEXT_H_
 
#include <optional>
#include <set>
 
#include "ir/declaration.h"
#include "ir/ir.h"
#include "lib/cstring.h"
 
namespace P4::P4Tools {

class NamespaceContext {
 private:
    const IR::INamespace *curNamespace;
    const NamespaceContext *outer;

    mutable std::optional<std::set<cstring>> usedNames;
 
    NamespaceContext(const IR::INamespace *ns, const NamespaceContext *outer)
        : curNamespace(ns), outer(outer) {}

    const IR::IDeclaration *findNestedDecl(const IR::INestedNamespace *nestedNameSpace,
                                           const IR::Path *path) const;
 
 public:
    static const NamespaceContext *Empty;

    const NamespaceContext *push(const IR::INamespace *ns) const;

    const NamespaceContext *pop() const;

    const IR::IDeclaration *findDecl(const IR::Path *path) const;

    const std::set<cstring> &getUsedNames() const;

    cstring genName(cstring name, char sep) const;
};
 
}  // namespace P4::P4Tools
 
#endif /* BACKENDS_P4TOOLS_COMMON_LIB_NAMESPACE_CONTEXT_H_ */