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

Inheritance diagram for 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 P4Tools::CompilerResult
	CompilerResult (const IR::P4Program &program)

	DECLARE_TYPEINFO (CompilerResult)

const IR::P4Program &	getProgram () const

Public Member Functions inherited from 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 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 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 & P4Tools::P4Testgen::TestgenCompilerResult::getCallGraph ( ) const

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 & P4Tools::P4Testgen::TestgenCompilerResult::getCoverableNodes ( ) const