test_inputst Class Reference

#include <c_test_input_generator.h>

Public Member Functions
void	output_plain_text (std::ostream &out, const namespacet &ns, const goto_tracet &goto_trace) const
	Outputs the test inputs in plain text format. More...
json_objectt	to_json (const namespacet &ns, const goto_tracet &goto_trace, bool print_trace) const
	Returns the test inputs in JSON format including the trace if desired. More...
xmlt	to_xml (const namespacet &ns, const goto_tracet &goto_trace, bool print_trace) const
	Returns the test inputs in XML format including the trace if desired. More...

Detailed Description

Definition at line 26 of file c_test_input_generator.h.

Member Function Documentation

output_plain_text()

void test_inputst::output_plain_text	(	std::ostream &	out,
		const namespacet &	ns,
		const goto_tracet &	goto_trace
	)		const

Outputs the test inputs in plain text format.

Definition at line 38 of file c_test_input_generator.cpp.

to_json()

json_objectt test_inputst::to_json	(	const namespacet &	ns,
		const goto_tracet &	goto_trace,
		bool	print_trace
	)		const

Returns the test inputs in JSON format including the trace if desired.

Definition at line 54 of file c_test_input_generator.cpp.

to_xml()

xmlt test_inputst::to_xml	(	const namespacet &	ns,
		const goto_tracet &	goto_trace,
		bool	print_trace
	)		const

Returns the test inputs in XML format including the trace if desired.

Definition at line 90 of file c_test_input_generator.cpp.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/cbmc/c_test_input_generator.h
• /home/runner/work/cbmc-documentation/cbmc-documentation/src/cbmc/c_test_input_generator.cpp