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
 
 
 
 
 
 

Functions

 
 
 
 
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)
 
 

Detailed Description

C Wrangler.

Definition in file c_wrangler.cpp.

Function Documentation

◆  c_wrangler()

void c_wrangler ( const jsontconfig )

Definition at line 596 of file c_wrangler.cpp.

◆  get_defines()

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

Definition at line 344 of file c_wrangler.cpp.

◆  mangle() [1/2]

static void mangle ( const c_declarationtdeclaration,
const c_definestdefines,
const c_wranglertconfig,
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_definestdefines,
const c_wranglertconfig 
)
static

Definition at line 580 of file c_wrangler.cpp.

◆  mangle_function()

static void mangle_function ( const c_declarationtdeclaration,
const c_definestdefines,
const c_wranglert::functiontfunction_config,
std::ostream &  out 
)
static

Definition at line 365 of file c_wrangler.cpp.

◆  mangle_object()

static void mangle_object ( const c_declarationtdeclaration,
const c_definestdefines,
const c_wranglert::objecttobject_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_wranglertc_wrangler 
)
static

Definition at line 321 of file c_wrangler.cpp.

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