helper to select harness type by name. More...

Collaboration diagram for goto_harness_generator_factoryt:

Public Types
using	build_generatort = std::function< std::unique_ptr< goto_harness_generatort >()>
	the type of a function that produces a goto-harness generator. More...

using	generator_optionst = std::map< std::string, std::list< std::string > >

Public Member Functions
void	register_generator (std::string generator_name, build_generatort build_generator)
	register a new goto-harness generator with the given name. More...

std::unique_ptr< goto_harness_generatort >	factory (const std::string &generator_name, const generator_optionst &generator_options, const goto_modelt &goto_model)
	return a generator matching the generator name. More...

Private Attributes
std::map< std::string, build_generatort >	generators

Detailed Description

helper to select harness type by name.

Member Typedef Documentation

the type of a function that produces a goto-harness generator.

using goto_harness_generator_factoryt::generator_optionst = std::map<std::string, std::list<std::string> >

std::unique_ptr< goto_harness_generatort > goto_harness_generator_factoryt::factory	(	const std::string &	generator_name,
		const generator_optionst &	generator_options,
		const goto_modelt &	goto_model
	)

return a generator matching the generator name.

throws if no generator with the supplied name is registered.

void goto_harness_generator_factoryt::register_generator	(	std::string	generator_name,
		build_generatort	build_generator
	)

register a new goto-harness generator with the given name.

Parameters

generator_name	name of newly registered generator
build_generator	the function that builds the generator

std::map<std::string, build_generatort> goto_harness_generator_factoryt::generators

private

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

/home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-harness/goto_harness_generator_factory.h
/home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-harness/goto_harness_generator_factory.cpp