Inheritance diagram for P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelTestgenTarget:

[legend]

Static Public Member Functions
static void	make ()
	Registers this target.

Static Public Member Functions inherited from P4::P4Tools::P4Testgen::TestgenTarget
static const TestgenTarget &	get ()

static CmdStepper *	getCmdStepper (ExecutionState &state, AbstractSolver &solver, const ProgramInfo &programInfo)
	Provides a CmdStepper implementation for this target.

static ExprStepper *	getExprStepper (ExecutionState &state, AbstractSolver &solver, const ProgramInfo &programInfo)
	Provides a ExprStepper implementation for this target.

static TestBackEnd *	getTestBackend (const ProgramInfo &programInfo, const TestBackendConfiguration &testBackendConfiguration, SymbolicExecutor &symbex)
	Returns the test back end associated with this P4Testgen target.

static const ProgramInfo *	produceProgramInfo (const CompilerResult &compilerResult)

Static Public Member Functions inherited from P4::P4Tools::CompilerTarget
static std::vector< const char * > *	initCompiler (std::string_view toolName, int argc, char **argv)

static ICompileContext *	makeContext (std::string_view toolName)

static CompilerResultOrError	runCompiler (const CompilerOptions &options, std::string_view toolName)

static CompilerResultOrError	runCompiler (const CompilerOptions &options, std::string_view toolName, const std::string &source)

Static Public Member Functions inherited from P4::P4Tools::Target
static bool	init (std::string deviceName, std::string archName)

static bool	setArch (std::string archName)

static bool	setDevice (std::string deviceName)

Protected Member Functions
Bmv2V1ModelCmdStepper *	getCmdStepperImpl (ExecutionState &state, AbstractSolver &solver, const ProgramInfo &programInfo) const override

Bmv2V1ModelExprStepper *	getExprStepperImpl (ExecutionState &state, AbstractSolver &solver, const ProgramInfo &programInfo) const override

Bmv2TestBackend *	getTestBackendImpl (const ProgramInfo &programInfo, const TestBackendConfiguration &testBackendConfiguration, SymbolicExecutor &symbex) const override

const Bmv2V1ModelProgramInfo *	produceProgramInfoImpl (const CompilerResult &compilerResult, const IR::Declaration_Instance *mainDecl) const override

Protected Member Functions inherited from P4::P4Tools::P4Testgen::TestgenTarget
	TestgenTarget (const std::string &deviceName, const std::string &archName)

const ProgramInfo *	produceProgramInfoImpl (const CompilerResult &compilerResult) const

CompilerResultOrError	runCompilerImpl (const CompilerOptions &options, const IR::P4Program *program) const override

Protected Member Functions inherited from P4::P4Tools::CompilerTarget
	CompilerTarget (std::string_view toolName, const std::string &deviceName, const std::string &archName)

virtual std::vector< const char * > *	initCompilerImpl (int argc, char **argv) const

virtual ICompileContext *	makeContextImpl () const

virtual P4::FrontEnd	mkFrontEnd () const
	A factory method for providing a target-specific front end implementation.

const IR::P4Program *	runFrontend (const CompilerOptions &options, const IR::P4Program *program) const

const IR::P4Program *	runMidEnd (const CompilerOptions &options, const IR::P4Program *program) const

Protected Member Functions inherited from P4::P4Tools::Target
	Target (std::string_view toolName, const std::string &deviceName, const std::string &archName)

Additional Inherited Members
Public Member Functions inherited from P4::P4Tools::Target
virtual const IR::Expression *	createTargetUninitialized (const IR::Type *type, bool forceTaint) const

Public Attributes inherited from P4::P4Tools::Target
Spec	spec
	The device and architecture supported by this instance.

std::string	toolName
	The name of the tool supported by this instance.

Static Protected Member Functions inherited from P4::P4Tools::CompilerTarget
static const IR::P4Program *	runParser (const ParserOptions &options)

Static Protected Member Functions inherited from P4::P4Tools::Target
template<class TargetImpl >
static const TargetImpl &	get (std::string_view toolName)

Member Function Documentation

◆ getCmdStepperImpl()

Bmv2V1ModelCmdStepper * P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelTestgenTarget::getCmdStepperImpl	(	ExecutionState &	state,
		AbstractSolver &	solver,
		const ProgramInfo &	programInfo ) const

overrideprotectedvirtual

See also: getCmdStepper.

Implements P4::P4Tools::P4Testgen::TestgenTarget.

◆ getExprStepperImpl()

Bmv2V1ModelExprStepper * P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelTestgenTarget::getExprStepperImpl	(	ExecutionState &	state,
		AbstractSolver &	solver,
		const ProgramInfo &	programInfo ) const

overrideprotectedvirtual

See also: getExprStepper.

Implements P4::P4Tools::P4Testgen::TestgenTarget.

◆ getTestBackendImpl()

Bmv2TestBackend * P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelTestgenTarget::getTestBackendImpl	(	const ProgramInfo &	programInfo,
		const TestBackendConfiguration &	testBackendConfiguration,
		SymbolicExecutor &	symbex ) const

overrideprotectedvirtual

See also: getTestBackend.

Implements P4::P4Tools::P4Testgen::TestgenTarget.

◆ produceProgramInfoImpl()

const Bmv2V1ModelProgramInfo * P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelTestgenTarget::produceProgramInfoImpl	(	const CompilerResult &	compilerResult,
		const IR::Declaration_Instance *	mainDecl ) const

overrideprotectedvirtual

See also: @produceProgramInfo.

Implements P4::P4Tools::P4Testgen::TestgenTarget.

Static Public Member Functions

Protected Member Functions

Additional Inherited Members

Member Function Documentation

◆ getCmdStepperImpl()

◆ getExprStepperImpl()

◆ getTestBackendImpl()

◆ produceProgramInfoImpl()