Extracts information from the @testSpec to emit a PTF test case. More...

#include <ptf.h>

Inheritance diagram for P4::P4Tools::P4Testgen::Pna::PTF:

Public Member Functions
	PTF (const PTF &)=delete

	PTF (const TestBackendConfiguration &testBackendConfiguration)

	PTF (PTF &&)=delete

PTF &	operator= (const PTF &)=delete

PTF &	operator= (PTF &&)=delete

void	writeTestToFile (const TestSpec *spec, cstring selectedBranches, size_t testId, float currentCoverage) override
	Produce a PTF test.

Public Member Functions inherited from P4::P4Tools::P4Testgen::TestFramework
bool	isInFileMode () const
	@Returns true if the test framework is configured to write to a file.

virtual AbstractTestReferenceOrError	produceTest (const TestSpec *spec, cstring selectedBranches, size_t testIdx, float currentCoverage)

Additional Inherited Members
Protected Member Functions inherited from P4::P4Tools::P4Testgen::TestFramework
	TestFramework (const TestBackendConfiguration &testBackendConfiguration)
	Creates a generic test framework.

const TestBackendConfiguration &	getTestBackendConfiguration () const
	Returns the configuration options for the test back end.

Static Protected Member Functions inherited from P4::P4Tools::P4Testgen::TestFramework
static void	checkForDefaultActionOverride (inja::json &tblJson, const TableConfig *tblConfig)

template<class ProfileType , class SelectorType >
static void	checkForTableActionProfile (inja::json &tblJson, std::map< cstring, cstring > &apAsMap, const TableConfig *tblConfig)

template<class ProfileType >
static void	collectActionProfileDeclarations (const TestSpec *testSpec, inja::json &controlPlaneJson, const std::map< cstring, cstring > &apAsMap)
	Collect all the action profile objects. These will have to be declared in the test.

static inja::json	getTrace (const TestSpec *testSpec)
	Converts the traces of this test into a string representation and Inja object.

Detailed Description

Extracts information from the @testSpec to emit a PTF test case.

Member Function Documentation

void P4::P4Tools::P4Testgen::Pna::PTF::writeTestToFile	(	const TestSpec *	spec,
		cstring	selectedBranches,
		size_t	testId,
		float	currentCoverage )

overridevirtual

Produce a PTF test.