Changeset ad51cc2 for src/ResolvExpr/RenameVars.h

Timestamp:

Jan 16, 2018, 1:37:40 PM (7 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

d7d9a60

Parents:

f07c1e6

Message:

Convert RenameVars? to PassVisitor?

File:

• src/ResolvExpr/RenameVars.h (modified) (1 diff)

src/ResolvExpr/RenameVars.h

@@ -24 +24 @@
 
 namespace ResolvExpr {
+        /// Provides a consistent renaming of forall type names in a hierarchy by prefixing them with a unique "level" ID
+        void renameTyVars( Type * );
 
-        /// Provides a consistent renaming of forall type names in a hierarchy by prefixing them with a unique "level" ID
-        class RenameVars : public Visitor {
-          public:
-                RenameVars();
-                void reset();
-          private:
-                virtual void visit( VoidType *basicType );
-                virtual void visit( BasicType *basicType );
-                virtual void visit( PointerType *pointerType );
-                virtual void visit( ArrayType *arrayType );
-                virtual void visit( FunctionType *functionType );
-                virtual void visit( StructInstType *aggregateUseType );
-                virtual void visit( UnionInstType *aggregateUseType );
-                virtual void visit( EnumInstType *aggregateUseType );
-                virtual void visit( TraitInstType *aggregateUseType );
-                virtual void visit( TypeInstType *aggregateUseType );
-                virtual void visit( TupleType *tupleType );
-                virtual void visit( VarArgsType *varArgsType );
-                virtual void visit( ZeroType *zeroType );
-                virtual void visit( OneType *oneType );
-
-                void typeBefore( Type *type );
-                void typeAfter( Type *type );
-                int level, resetCount;
-                std::list< std::map< std::string, std::string > > mapStack;
-        };
-
-        extern RenameVars global_renamer;
+        /// resets internal state of renamer to avoid overflow
+        void resetTyVarRenaming();
 } // namespace ResolvExpr