cprover
Loading...
Searching...
No Matches
c_wranglert Struct Reference
Collaboration diagram for c_wranglert:

Classes

struct  assertiont
struct  function_contract_clauset
struct  functiont
struct  loop_contract_clauset
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 31 of file c_wrangler.cpp.

Member Typedef Documentation

◆ functionst

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

Definition at line 88 of file c_wrangler.cpp.

◆ objectst

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

Definition at line 96 of file c_wrangler.cpp.

Member Function Documentation

◆ configure_functions()

void c_wranglert::configure_functions ( const jsont & config)

Definition at line 159 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 108 of file c_wrangler.cpp.

Member Data Documentation

◆ defines

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

Definition at line 36 of file c_wrangler.cpp.

◆ functions

functionst c_wranglert::functions

Definition at line 89 of file c_wrangler.cpp.

◆ includes

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

Definition at line 35 of file c_wrangler.cpp.

◆ objects

objectst c_wranglert::objects

Definition at line 97 of file c_wrangler.cpp.

◆ output

std::string c_wranglert::output

Definition at line 100 of file c_wrangler.cpp.

◆ source_files

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

Definition at line 34 of file c_wrangler.cpp.


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