P4C
The P4 Compiler
Loading...
Searching...
No Matches
P4::P4Tools::P4Testgen::Pna::Metadata Class Reference

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

#include <metadata.h>

Inheritance diagram for P4::P4Tools::P4Testgen::Pna::Metadata:
[legend]

Public Member Functions

 Metadata (const Metadata &)=delete
 
 Metadata (const TestBackendConfiguration &testBackendConfiguration)
 
 Metadata (Metadata &&)=delete
 
Metadataoperator= (const Metadata &)=delete
 
Metadataoperator= (Metadata &&)=delete
 
void writeTestToFile (const TestSpec *spec, cstring selectedBranches, size_t testId, float currentCoverage) override
 Produce a Metadata 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 TestBackendConfigurationgetTestBackendConfiguration () 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 Metadata test case.

Member Function Documentation

◆ writeTestToFile()

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

Produce a Metadata test.

Implements P4::P4Tools::P4Testgen::TestFramework.