 |
P4C
The P4 Compiler
|
|
|
P4C
The P4 Compiler
|
|
Public Member Functions | |
| TypeSubstitutionVisitor (TypeMap *typeMap, TypeVariableSubstitution *ts) | |
| const IR::Node * | postorder (IR::PathExpression *path) override |
| const IR::Node * | postorder (IR::Type_Name *type) override |
 Public Member Functions inherited from P4::TypeVariableSubstitutionVisitor | |
| TypeVariableSubstitutionVisitor (const TypeVariableSubstitution *bindings, bool replace=false) | |
| const IR::Node * | preorder (IR::Type_Any *tv) override |
| const IR::Node * | preorder (IR::Type_InfInt *ti) override |
| const IR::Node * | preorder (IR::Type_Var *tv) override |
| const IR::Node * | preorder (IR::TypeParameters *tps) override |
Additional Inherited Members | |
| Protected Member Functions inherited from P4::TypeVariableSubstitutionVisitor | |
| const IR::Node * | replacement (const IR::ITypeVar *original, const IR::Node *node) |
| Protected Attributes inherited from P4::TypeVariableSubstitutionVisitor | |
| const TypeVariableSubstitution * | bindings |
| bool | replace |