CBMC
Classes | Public Types | Public Member Functions | Public Attributes | List of all members
c_wranglert Struct Reference
+ Collaboration diagram for c_wranglert:

Classes

struct  assertiont
 
struct  contract_clauset
 
struct  functiont
 
struct  loop_invariantt
 
struct  objectt
 

Public Types

using functionst = std::list< std::pair< std::regex, functiont > >
 
using objectst = std::list< std::pair< std::regex, objectt > >
 

Public Member Functions

void configure_sources (const jsont &)
 
void configure_functions (const jsont &)
 
void configure_objects (const jsont &)
 
void configure_output (const jsont &)
 

Public Attributes

std::vector< std::string > source_files
 
std::vector< std::string > includes
 
std::vector< std::string > defines
 
functionst functions
 
objectst objects
 
std::string output
 

Detailed Description

Definition at line 36 of file c_wrangler.cpp.

Member Typedef Documentation

◆ functionst

using c_wranglert::functionst = std::list<std::pair<std::regex, functiont> >

Definition at line 90 of file c_wrangler.cpp.

◆ objectst

using c_wranglert::objectst = std::list<std::pair<std::regex, objectt> >

Definition at line 98 of file c_wrangler.cpp.

Member Function Documentation

◆ configure_functions()

void c_wranglert::configure_functions ( const jsont &  config)

Definition at line 161 of file c_wrangler.cpp.

◆ configure_objects()

void c_wranglert::configure_objects ( const jsont &  config)

Definition at line 251 of file c_wrangler.cpp.

◆ configure_output()

void c_wranglert::configure_output ( const jsont &  config)

Definition at line 307 of file c_wrangler.cpp.

◆ configure_sources()

void c_wranglert::configure_sources ( const jsont &  config)

Definition at line 110 of file c_wrangler.cpp.

Member Data Documentation

◆ defines

std::vector<std::string> c_wranglert::defines

Definition at line 41 of file c_wrangler.cpp.

◆ functions

functionst c_wranglert::functions

Definition at line 91 of file c_wrangler.cpp.

◆ includes

std::vector<std::string> c_wranglert::includes

Definition at line 40 of file c_wrangler.cpp.

◆ objects

objectst c_wranglert::objects

Definition at line 99 of file c_wrangler.cpp.

◆ output

std::string c_wranglert::output

Definition at line 102 of file c_wrangler.cpp.

◆ source_files

std::vector<std::string> c_wranglert::source_files

Definition at line 39 of file c_wrangler.cpp.

The documentation for this struct was generated from the following file: