goto_harness_generator_factory.h File Reference

#include <functional>
#include <list>
#include <map>
#include <memory>
#include <string>

Include dependency graph for goto_harness_generator_factory.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	goto_harness_generator_factoryt
	helper to select harness type by name. More...

Macros
#define	GOTO_HARNESS_GENERATOR_TYPE_OPT   "harness-type"
#define	GOTO_HARNESS_GENERATOR_HARNESS_FUNCTION_NAME_OPT   "harness-function-name"
#define	GOTO_HARNESS_FACTORY_OPTIONS

Macro Definition Documentation

GOTO_HARNESS_FACTORY_OPTIONS

#define GOTO_HARNESS_FACTORY_OPTIONS

Value:

  "(" GOTO_HARNESS_GENERATOR_TYPE_OPT "):"                                     \
  "(" GOTO_HARNESS_GENERATOR_HARNESS_FUNCTION_NAME_OPT "):"                    \

Definition at line 25 of file goto_harness_generator_factory.h.

GOTO_HARNESS_GENERATOR_HARNESS_FUNCTION_NAME_OPT

#define GOTO_HARNESS_GENERATOR_HARNESS_FUNCTION_NAME_OPT   "harness-function-name"

Definition at line 22 of file goto_harness_generator_factory.h.

GOTO_HARNESS_GENERATOR_TYPE_OPT

#define GOTO_HARNESS_GENERATOR_TYPE_OPT   "harness-type"

Definition at line 21 of file goto_harness_generator_factory.h.