empty_namespace.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Unit test utilities
 
Author: Michael Tautschnig
 
\*******************************************************************/
 
 
#ifndef CPROVER_TESTING_UTILS_EMPTY_NAMESPACE_H
#define CPROVER_TESTING_UTILS_EMPTY_NAMESPACE_H
 
#include <util/namespace.h>
#include <util/symbol_table.h>
 
class empty_namespacet : private symbol_tablet, public namespacet
{
public:
  empty_namespacet() : namespacet{static_cast<symbol_tablet &>(*this)}
  {
  }
 
  empty_namespacet(const empty_namespacet &) = delete;
  empty_namespacet(empty_namespacet &&) = delete;
  empty_namespacet &operator=(const empty_namespacet &) = delete;
  empty_namespacet &operator=(empty_namespacet &&) = delete;
};
 
extern const empty_namespacet empty_namespace;
 
#endif // CPROVER_TESTING_UTILS_EMPTY_NAMESPACE_H