Extends the CompilerResult with the associated P4RuntimeApi. More...

Inheritance diagram for P4::P4Tools::P4Testgen::TestgenCompilerResult:

Public Member Functions
	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 the associated P4RuntimeApi.

Member Function Documentation

const NodesCallGraph & P4::P4Tools::P4Testgen::TestgenCompilerResult::getCallGraph ( ) const

nodiscard

Returns: the call graph of the analyzed P4 program, if flag –dcg is set. If this function is called when the call graph is not set, if will throw an exception. TODO: Replace this with std::nullopt?

const P4::Coverage::CoverageSet & P4::P4Tools::P4Testgen::TestgenCompilerResult::getCoverableNodes ( ) const

nodiscard