symbol_generator.h

Go to the documentation of this file.

#ifndef ESBMC_UTIL_SYMBOL_GENERATOR_H
#define ESBMC_UTIL_SYMBOL_GENERATOR_H
 
#include <util/symtab/context.h>
 
class symbol_generator
{
public:
  std::string prefix;
  unsigned counter;

  symbol_generator(std::string prefix, unsigned counter = 0)
    : prefix(std::move(prefix)), counter(counter)
  {
  }

  symbolt &new_symbol(
    contextt &context,
    const typet &type,
    const std::string &name_prefix = "");
 
  // irep2 overload mirroring the above. Stores the type via
  // symbolt::set_type(type2tc) so the IREP2 form is the authoritative one.
  symbolt &new_symbol(
    contextt &context,
    const type2tc &type,
    const std::string &name_prefix = "");
};
 
#endif