Changes in src/GenPoly/GenPoly.h [6b0b624:08fc48f]
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/GenPoly/GenPoly.h
r6b0b624 r08fc48f 16 16 #pragma once 17 17 18 #include <string> 19 #include <iostream> 20 #include <utility> 18 #include <iostream> // for ostream 19 #include <string> // for string, allocator, operator+, basic... 21 20 22 #include "ErasableScopedMap.h" 23 24 #include "SymTab/Mangler.h" 25 26 #include "SynTree/Declaration.h" 27 #include "SynTree/Type.h" 28 #include "SynTree/TypeSubstitution.h" 21 #include "ErasableScopedMap.h" // for ErasableScopedMap 22 #include "SymTab/Mangler.h" // for Mangler 23 #include "SynTree/Declaration.h" // for TypeDecl::Data, AggregateDecl, Type... 24 #include "SynTree/SynTree.h" // for Visitor Nodes 29 25 30 26 namespace GenPoly { … … 66 62 Type *hasPolyBase( Type *type, const TyVarMap &tyVars, int *levels = 0, const TypeSubstitution *env = 0 ); 67 63 68 /// true iff this type or some base of this type after dereferencing pointers is either polymorphic or a generic type with at least one 64 /// true iff this type or some base of this type after dereferencing pointers is either polymorphic or a generic type with at least one 69 65 /// polymorphic parameter; will look up substitution in env if provided. 70 66 bool includesPolyType( Type *type, const TypeSubstitution *env = 0 ); 71 67 72 /// true iff this type or some base of this type after dereferencing pointers is either polymorphic in tyVars, or a generic type with 68 /// true iff this type or some base of this type after dereferencing pointers is either polymorphic in tyVars, or a generic type with 73 69 /// at least one polymorphic parameter in tyVars; will look up substitution in env if provided. 74 70 bool includesPolyType( Type *type, const TyVarMap &tyVars, const TypeSubstitution *env = 0 );
Note: See TracChangeset
for help on using the changeset viewer.