P4Tools::P4Testgen::TestgenTarget Class Reference

Inheritance diagram for P4Tools::P4Testgen::TestgenTarget:

Static Public Member Functions
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 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
	TestgenTarget (std::string deviceName, std::string archName)
virtual CmdStepper *	getCmdStepperImpl (ExecutionState &state, AbstractSolver &solver, const ProgramInfo &programInfo) const =0
virtual ExprStepper *	getExprStepperImpl (ExecutionState &state, AbstractSolver &solver, const ProgramInfo &programInfo) const =0
virtual TestBackEnd *	getTestBackendImpl (const ProgramInfo &programInfo, const TestBackendConfiguration &testBackendConfiguration, SymbolicExecutor &symbex) const =0
const ProgramInfo *	produceProgramInfoImpl (const CompilerResult &compilerResult) const
virtual const ProgramInfo *	produceProgramInfoImpl (const CompilerResult &compilerResult, const IR::Declaration_Instance *mainDecl) const =0
Protected Member Functions inherited from P4Tools::Target
	Target (std::string toolName, std::string deviceName, std::string archName)

Additional Inherited Members
Public Member Functions inherited from P4Tools::Target
virtual const IR::Expression *	createTargetUninitialized (const IR::Type *type, bool forceTaint) const
Public Attributes inherited from 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 P4Tools::Target
template<class TargetImpl >
static const TargetImpl &	get (const std::string &toolName)

Member Function Documentation

get()

const TestgenTarget & P4Tools::P4Testgen::TestgenTarget::get ( )

static

Returns

the singleton instance for the current target.

getCmdStepperImpl()

virtual CmdStepper * P4Tools::P4Testgen::TestgenTarget::getCmdStepperImpl ( ExecutionState & state, AbstractSolver & solver, const ProgramInfo & programInfo ) const

protectedpure virtual

See also

getCmdStepper.

Implemented in P4Tools::P4Testgen::Bmv2::Bmv2V1ModelTestgenTarget, P4Tools::P4Testgen::EBPF::EBPFTestgenTarget, and P4Tools::P4Testgen::Pna::PnaDpdkTestgenTarget.

getExprStepperImpl()

virtual ExprStepper * P4Tools::P4Testgen::TestgenTarget::getExprStepperImpl ( ExecutionState & state, AbstractSolver & solver, const ProgramInfo & programInfo ) const

protectedpure virtual

See also

getExprStepper.

Implemented in P4Tools::P4Testgen::Bmv2::Bmv2V1ModelTestgenTarget, P4Tools::P4Testgen::EBPF::EBPFTestgenTarget, and P4Tools::P4Testgen::Pna::PnaDpdkTestgenTarget.

getTestBackendImpl()

virtual TestBackEnd * P4Tools::P4Testgen::TestgenTarget::getTestBackendImpl ( const ProgramInfo & programInfo, const TestBackendConfiguration & testBackendConfiguration, SymbolicExecutor & symbex ) const

protectedpure virtual

See also

getTestBackend.

Implemented in P4Tools::P4Testgen::Bmv2::Bmv2V1ModelTestgenTarget, P4Tools::P4Testgen::EBPF::EBPFTestgenTarget, and P4Tools::P4Testgen::Pna::PnaDpdkTestgenTarget.

produceProgramInfo()

const ProgramInfo * P4Tools::P4Testgen::TestgenTarget::produceProgramInfo ( const CompilerResult & compilerResult )

static

Produces a @ProgramInfo for the given P4 program.

Returns

nullptr if the program is not supported by this target.

produceProgramInfoImpl() [1/2]

const ProgramInfo * P4Tools::P4Testgen::TestgenTarget::produceProgramInfoImpl ( const CompilerResult & compilerResult ) const

protected

See also

@produceProgramInfo.

produceProgramInfoImpl() [2/2]

virtual const ProgramInfo * P4Tools::P4Testgen::TestgenTarget::produceProgramInfoImpl ( const CompilerResult & compilerResult, const IR::Declaration_Instance * mainDecl ) const

protectedpure virtual

See also

@produceProgramInfo.

Implemented in P4Tools::P4Testgen::Bmv2::Bmv2V1ModelTestgenTarget, P4Tools::P4Testgen::EBPF::EBPFTestgenTarget, and P4Tools::P4Testgen::Pna::PnaDpdkTestgenTarget.