CBMC
Classes | Public Types | Public Member Functions | Public Attributes | List of all members
c_definest Class Reference

This class maintains a representation of one assignment to the preprocessor macros in a C program. More...

#include <c_defines.h>

+ Collaboration diagram for c_definest:

Classes

struct  definet
 

Public Types

using mapt = std::unordered_map< std::string, definet >
 

Public Member Functions

void parse (const std::string &)
 
std::string operator() (const std::string &) const
 

Public Attributes

mapt map
 

Detailed Description

This class maintains a representation of one assignment to the preprocessor macros in a C program.

Definition at line 23 of file c_defines.h.

Member Typedef Documentation

◆ mapt

using c_definest::mapt = std::unordered_map<std::string, definet>

Definition at line 32 of file c_defines.h.

Member Function Documentation

◆ operator()()

std::string c_definest::operator() ( const std::string &  src) const

Definition at line 41 of file c_defines.cpp.

◆ parse()

void c_definest::parse ( const std::string &  src)

Definition at line 21 of file c_defines.cpp.

Member Data Documentation

◆ map

mapt c_definest::map

Definition at line 33 of file c_defines.h.

The documentation for this class was generated from the following files: