|
|
| SubstituteParameters (ReferenceMap *refMap, const ParameterSubstitution *subst, const TypeVariableSubstitution *tvs) |
| |
|
const IR::Node * | postorder (IR::PathExpression *expr) override |
| |
|
const IR::Node * | postorder (IR::This *t) override |
| |
|
const IR::Node * | postorder (IR::Type_Name *type) override |
| |
|
| 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 |
| |