CBMC
Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
c_test_input_generatort Class Reference

#include <c_test_input_generator.h>

+ Collaboration diagram for c_test_input_generatort:

Public Member Functions

 c_test_input_generatort (ui_message_handlert &ui_message_handler, const optionst &options)
 
void operator() (const goto_trace_storaget &)
 Extracts test inputs for all traces and outputs them. More...
 

Protected Member Functions

test_inputst operator() (const goto_tracet &goto_trace, const namespacet &ns)
 Extracts test inputs from the given goto_trace. More...
 

Protected Attributes

ui_message_handlert & ui_message_handler
 
const optionst & options
 

Detailed Description

Definition at line 50 of file c_test_input_generator.h.

Constructor & Destructor Documentation

◆ c_test_input_generatort()

c_test_input_generatort::c_test_input_generatort ( ui_message_handlert &  ui_message_handler,
const optionst &  options 
)

Definition at line 31 of file c_test_input_generator.cpp.

Member Function Documentation

◆ operator()() [1/2]

void c_test_input_generatort::operator() ( const goto_trace_storaget &  traces)

Extracts test inputs for all traces and outputs them.

Definition at line 132 of file c_test_input_generator.cpp.

◆ operator()() [2/2]

test_inputst c_test_input_generatort::operator() ( const goto_tracet &  goto_trace,
const namespacet &  ns 
)
protected

Extracts test inputs from the given goto_trace.

Definition at line 126 of file c_test_input_generator.cpp.

Member Data Documentation

◆ options

const optionst& c_test_input_generatort::options
protected

Definition at line 62 of file c_test_input_generator.h.

◆ ui_message_handler

ui_message_handlert& c_test_input_generatort::ui_message_handler
protected

Definition at line 61 of file c_test_input_generator.h.

The documentation for this class was generated from the following files: