P4C
The P4 Compiler
 
Loading...
Searching...
No Matches
P4::ValidateTableProperties Class Reference
Inheritance diagram for P4::ValidateTableProperties:

Public Member Functions

 ValidateTableProperties (const std::initializer_list< cstring > legal)
 
void postorder (const IR::Property *property) override
 
bool preorder (const IR::Declaration_Instance *) override
 

Detailed Description

Checks to see if there are any unknown properties.

Precondition
none
Postcondition
raise an error if there are invalid table properties in P4 program.