![]()  | 
  
    P4C
    
   The P4 Compiler 
   | 
 
Represents a stack of namespaces. More...
#include <namespace_context.h>
Public Member Functions | |
| const IR::IDeclaration * | findDecl (const IR::Path *path) const | 
| Looks up a declaration in this context. A BUG occurs if the declaration cannot be found.  | |
| const std::set< cstring > & | getUsedNames () const | 
| const NamespaceContext * | pop () const | 
| const NamespaceContext * | push (const IR::INamespace *ns) const | 
and @sep are passed to  | |
  | |
| cstring | genName (cstring name, char sep) const | 
Static Public Attributes | |
| static const NamespaceContext * | Empty = new NamespaceContext(nullptr, nullptr) | 
| Represents the empty namespace context.  | |
Represents a stack of namespaces.
| const std::set< cstring > & P4Tools::NamespaceContext::getUsedNames | ( | ) | const | 
| const NamespaceContext * P4Tools::NamespaceContext::pop | ( | ) | const | 
| const NamespaceContext * P4Tools::NamespaceContext::push | ( | const IR::INamespace * | ns | ) | const |