P4C
The P4 Compiler
 
Loading...
Searching...
No Matches
DPDK::CheckPNAExternInvocation Class Reference

Class for checking constraints for invocations of PNA architecture extern methods and functions. More...

Inheritance diagram for DPDK::CheckPNAExternInvocation:

Public Member Functions

 CheckPNAExternInvocation (P4::ReferenceMap *refMap, P4::TypeMap *typeMap, DpdkProgramStructure *structure)
 
- Public Member Functions inherited from P4::CheckExternInvocationCommon
bool preorder (const IR::MethodCallExpression *expr) override
 

Additional Inherited Members

- Protected Member Functions inherited from P4::CheckExternInvocationCommon
 CheckExternInvocationCommon (ReferenceMap *refMap, TypeMap *typeMap)
 
void checkPipeConstraints (cstring extType, bitvec bv, const IR::MethodCallExpression *expr, cstring extName, cstring pipe)
 Check if the invocation of extern object method or extern function is valid in the block where it is invoked.
 
cstring extractBlock (bitvec vec)
 Get the name of the block which is represented by bit set in the bitvec.
 
void setPipeConstraints (cstring extType, bitvec vec)
 Set the pipe (parser/control block) constraints.
 
- Protected Attributes inherited from P4::CheckExternInvocationCommon
std::map< cstring, bitvecpipeConstraints
 
ReferenceMaprefMap
 
TypeMaptypeMap
 

Detailed Description

Class for checking constraints for invocations of PNA architecture extern methods and functions.