C Wrangler. More...
#include "c_wrangler.h"#include <util/cprover_prefix.h>#include <util/exception_utils.h>#include <util/json.h>#include <util/run.h>#include <util/string_utils.h>#include "c_defines.h"#include "ctokenit.h"#include "mini_c_parser.h"#include <fstream>#include <iostream>#include <list>#include <map>#include <regex>#include <sstream>
Include dependency graph for c_wrangler.cpp:Go to the source code of this file.
Classes | |
| struct | c_wranglert |
| struct | c_wranglert::function_contract_clauset |
| struct | c_wranglert::loop_contract_clauset |
| struct | c_wranglert::assertiont |
| struct | c_wranglert::functiont |
| struct | c_wranglert::objectt |
Functions | |
| static std::string | preprocess (const std::string &source_file, const c_wranglert &c_wrangler) |
| static c_definest | get_defines (const std::string &source_file, const c_wranglert &config) |
| static void | mangle_function (const c_declarationt &declaration, const c_definest &defines, const c_wranglert::functiont &function_config, std::ostream &out) |
| static void | mangle_object (const c_declarationt &declaration, const c_definest &defines, const c_wranglert::objectt &object_config, std::ostream &out) |
| static void | mangle (const c_declarationt &declaration, const c_definest &defines, const c_wranglert &config, std::ostream &out) |
| static std::string | mangle (const std::string &in, const c_definest &defines, const c_wranglert &config) |
| void | c_wrangler (const jsont &config) |
Detailed Description
C Wrangler.
Definition in file c_wrangler.cpp.
Function Documentation
◆ c_wrangler()
| void c_wrangler | ( | const jsont & | config | ) |
Definition at line 596 of file c_wrangler.cpp.
◆ get_defines()
|
static |
Definition at line 344 of file c_wrangler.cpp.
◆ mangle() [1/2]
|
static |
Definition at line 542 of file c_wrangler.cpp.
◆ mangle() [2/2]
|
static |
Definition at line 580 of file c_wrangler.cpp.
◆ mangle_function()
|
static |
Definition at line 365 of file c_wrangler.cpp.
◆ mangle_object()
|
static |
Definition at line 509 of file c_wrangler.cpp.
◆ preprocess()
|
static |
Definition at line 321 of file c_wrangler.cpp.
