P4::P4Tools::P4Testgen::Bmv2::BMv2V1ModelCompilerResult Class Reference

Extends the CompilerResult with information specific to the V1Model running on BMv2. More...

#include <compiler_result.h>

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

Public Member Functions
	BMv2V1ModelCompilerResult (TestgenCompilerResult compilerResult, P4::P4RuntimeAPI p4runtimeApi, DirectExternMap directExternMap, ConstraintsVector p4ConstraintsRestrictions)
	DECLARE_TYPEINFO (BMv2V1ModelCompilerResult, TestgenCompilerResult)
const DirectExternMap &	getDirectExternMap () const
ConstraintsVector	getP4ConstraintsRestrictions () const
const P4::P4RuntimeAPI &	getP4RuntimeApi () const
Public Member Functions inherited from P4::P4Tools::P4Testgen::TestgenCompilerResult
	TestgenCompilerResult (CompilerResult compilerResult, P4::Coverage::CoverageSet coverableNodes, const NodesCallGraph *callGraph=nullptr)
	DECLARE_TYPEINFO (TestgenCompilerResult, CompilerResult)
const NodesCallGraph &	getCallGraph () const
const P4::Coverage::CoverageSet &	getCoverableNodes () const
Public Member Functions inherited from P4::P4Tools::CompilerResult
	CompilerResult (const IR::P4Program &program)
	DECLARE_TYPEINFO (CompilerResult)
const IR::P4Program &	getProgram () const
Public Member Functions inherited from P4::ICastable
template<typename T >
T &	as ()
	Tries to convert the class to type T. A BUG occurs if the cast fails.
template<typename T >
const T &	as () const
	Tries to convert the class to type T. A BUG occurs if the cast fails.
template<typename T >
T *	checkedTo ()
	Performs a checked cast. A BUG occurs if the cast fails.
template<typename T >
const T *	checkedTo () const
	Performs a checked cast. A BUG occurs if the cast fails.
Public Member Functions inherited from P4::RTTI::Base
template<typename T >
bool	is () const noexcept
virtual bool	isA (TypeId typeId) const noexcept=0
template<typename T >
const T *	to () const noexcept
	Same as to, but returns const pointer to T.
template<typename T >
T *	to () noexcept
virtual TypeId	typeId () const noexcept=0

Additional Inherited Members
Protected Member Functions inherited from P4::RTTI::Base
virtual const void *	toImpl (TypeId typeId) const noexcept=0

Detailed Description

Extends the CompilerResult with information specific to the V1Model running on BMv2.

Member Function Documentation

getDirectExternMap()

const DirectExternMap & P4::P4Tools::P4Testgen::Bmv2::BMv2V1ModelCompilerResult::getDirectExternMap ( ) const

nodiscard

Returns

the map of direct extern declarations which are attached to a table.

getP4ConstraintsRestrictions()

ConstraintsVector P4::P4Tools::P4Testgen::Bmv2::BMv2V1ModelCompilerResult::getP4ConstraintsRestrictions ( ) const

nodiscard

Returns

the vector of pairs of P4Constraints restrictions and nodes to which these

getP4RuntimeApi()

const P4::P4RuntimeAPI & P4::P4Tools::P4Testgen::Bmv2::BMv2V1ModelCompilerResult::getP4RuntimeApi ( ) const

nodiscard

Returns

the P4RuntimeAPI inferred from this particular BMv2 V1Model P4 program.