P4C
The P4 Compiler
 
Loading...
Searching...
No Matches
Public Member Functions | List of all members
P4::DoCheckConstants Class Reference
Inheritance diagram for P4::DoCheckConstants:
Inheritance graph
[legend]

Public Member Functions

 DoCheckConstants (ReferenceMap *refMap, TypeMap *typeMap)
 
void postorder (const IR::KeyElement *expr) override
 
void postorder (const IR::MethodCallExpression *expr) override
 
void postorder (const IR::P4Table *table) override
 

Detailed Description

Makes sure that some methods that expect constant arguments have constant arguments (e.g., push_front). Checks that table sizes are constant integers.