c_defines.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: C Defines
 
Author: Daniel Kroening, dkr@amazon.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_CRANGLER_C_DEFINES_H
#define CPROVER_CRANGLER_C_DEFINES_H
 
#include <optional>
#include <string>
#include <unordered_map>
#include <vector>
 
class c_definest
{
public:
  struct definet
  {
    std::optional<std::vector<std::string>> parameters;
    std::string value;
  };
  struct definet {…};
 
  using mapt = std::unordered_map<std::string, definet>;
  mapt map;
 
  void parse(const std::string &);
  std::string operator()(const std::string &) const;
};
class c_definest {…};
 
#endif // CPROVER_CRANGLER_C_DEFINES_H