CBMC
Classes | Functions
c_wrangler.cpp File Reference
#include "c_wrangler.h"
#include "c_defines.h"
#include "ctokenit.h"
#include "mini_c_parser.h"
#include <util/cprover_prefix.h>
#include <util/exception_utils.h>
#include <util/file_util.h>
#include <util/json.h>
#include <util/optional.h>
#include <util/prefix.h>
#include <util/run.h>
#include <util/string_utils.h>
#include <util/suffix.h>
#include <util/tempdir.h>
#include <fstream>
#include <iostream>
#include <map>
#include <regex>
#include <sstream>
#include <unordered_map>
+ Include dependency graph for c_wrangler.cpp:

Go to the source code of this file.

Classes

struct  c_wranglert
 
struct  c_wranglert::contract_clauset
 
struct  c_wranglert::loop_invariantt
 
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 561 of file c_wrangler.cpp.

◆ get_defines()

static c_definest get_defines ( const std::string &  source_file,
const c_wranglert &  config 
)
static

Definition at line 344 of file c_wrangler.cpp.

◆ mangle() [1/2]

static void mangle ( const c_declarationt &  declaration,
const c_definest &  defines,
const c_wranglert &  config,
std::ostream &  out 
)
static

Definition at line 507 of file c_wrangler.cpp.

◆ mangle() [2/2]

static std::string mangle ( const std::string &  in,
const c_definest &  defines,
const c_wranglert &  config 
)
static

Definition at line 545 of file c_wrangler.cpp.

◆ mangle_function()

static void mangle_function ( const c_declarationt &  declaration,
const c_definest &  defines,
const c_wranglert::functiont &  function_config,
std::ostream &  out 
)
static

Definition at line 365 of file c_wrangler.cpp.

◆ mangle_object()

static void mangle_object ( const c_declarationt &  declaration,
const c_definest &  defines,
const c_wranglert::objectt &  object_config,
std::ostream &  out 
)
static

Definition at line 474 of file c_wrangler.cpp.

◆ preprocess()

static std::string preprocess ( const std::string &  source_file,
const c_wranglert &  c_wrangler 
)
static

Definition at line 321 of file c_wrangler.cpp.