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

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, bitvec > | pipeConstraints |
| ReferenceMap * | refMap |
| TypeMap * | typeMap |
Class for checking constraints for invocations of PNA architecture extern methods and functions.