![]() |
P4C
The P4 Compiler
|
Extracts information from the @testSpec to emit a Metadata test case. More...
Public Member Functions | |
| Metadata (const Metadata &)=delete | |
| Metadata (const TestBackendConfiguration &testBackendConfiguration) | |
| Metadata (Metadata &&)=delete | |
| Metadata & | operator= (const Metadata &)=delete |
| Metadata & | operator= (Metadata &&)=delete |
| void | writeTestToFile (const TestSpec *spec, cstring selectedBranches, size_t testId, float currentCoverage) override |
| Produce a Metadata test. | |
Public Member Functions inherited from 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 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 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. | |
Extracts information from the @testSpec to emit a Metadata test case.