Changes in src/ResolvExpr/RenameVars.cc [4040425:0f19d763]

File:

• src/ResolvExpr/RenameVars.cc (modified) (4 diffs)

src/ResolvExpr/RenameVars.cc

@@ -10 +10 @@
 // Created On       : Sun May 17 12:05:18 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Mar  2 17:36:32 2016
-// Update Count     : 5
+// Last Modified On : Sun May 17 12:07:59 2015
+// Update Count     : 2
 //
 
-#include <sstream>
+#include <strstream>
 
 #include "RenameVars.h"
@@ -86 +86 @@
         }
 
-        void RenameVars::visit( TraitInstType *aggregateUseType ) {
+        void RenameVars::visit( ContextInstType *aggregateUseType ) {
                 typeBefore( aggregateUseType );
                 acceptAll( aggregateUseType->get_parameters(), *this );
@@ -113 +113 @@
         }
 
-        void RenameVars::visit( VarArgsType *varArgsType ) {
-                typeBefore( varArgsType );
-                typeAfter( varArgsType );
-        }
-
         void RenameVars::typeBefore( Type *type ) {
                 if ( ! type->get_forall().empty() ) {
@@ -127 +122 @@
                         // renames all "forall" type names to `_${level}_${name}'
                         for ( std::list< TypeDecl* >::iterator i = type->get_forall().begin(); i != type->get_forall().end(); ++i ) {
-                                std::ostringstream output;
+                                std::ostrstream output;
                                 output << "_" << level << "_" << (*i)->get_name();
-                                std::string newname( output.str() );
+                                std::string newname( output.str(), output.pcount() );
                                 mapStack.front()[ (*i)->get_name() ] = newname;
                                 (*i)->set_name( newname );