harness_options_parser Namespace Reference

Functions
std::string	require_exactly_one_value (const std::string &option, const std::list< std::string > &values)
	Returns the only value of a single element list, throws an exception if not passed a single element list. More...
void	assert_no_values (const std::string &option, const std::list< std::string > &values)
	Asserts that the list of values to an option passed is empty. More...
std::size_t	require_one_size_value (const std::string &option, const std::list< std::string > &values)
	Returns the only Nat value of a single element list, throws an exception if not passed a single element list (or not Nat) More...

Function Documentation

assert_no_values()

void harness_options_parser::assert_no_values	(	const std::string &	option,
		const std::list< std::string > &	values
	)

Asserts that the list of values to an option passed is empty.

Definition at line 34 of file goto_harness_generator.cpp.

require_exactly_one_value()

std::string harness_options_parser::require_exactly_one_value	(	const std::string &	option,
		const std::list< std::string > &	values
	)

Returns the only value of a single element list, throws an exception if not passed a single element list.

Definition at line 21 of file goto_harness_generator.cpp.

require_one_size_value()

std::size_t harness_options_parser::require_one_size_value	(	const std::string &	option,
		const std::list< std::string > &	values
	)

Returns the only Nat value of a single element list, throws an exception if not passed a single element list (or not Nat)

Definition at line 41 of file goto_harness_generator.cpp.