CBMC
Loading...
Searching...
No Matches
Classes | Functions
c_wrangler.cpp File Reference

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 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 542 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 580 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 509 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.

AltStyle によって変換されたページ (->オリジナル) /