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

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 : Sun May 17 12:07:59 2015
-// Update Count     : 2
+// Last Modified On : Wed Mar  2 17:36:32 2016
+// Update Count     : 5
 //
 
-#include <strstream>
+#include <sstream>
 
 #include "RenameVars.h"
@@ -86 +86 @@
         }
 
-        void RenameVars::visit( ContextInstType *aggregateUseType ) {
+        void RenameVars::visit( TraitInstType *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() ) {
@@ -122 +127 @@
                         // 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::ostrstream output;
+                                std::ostringstream output;
                                 output << "_" << level << "_" << (*i)->get_name();
-                                std::string newname( output.str(), output.pcount() );
+                                std::string newname( output.str() );
                                 mapStack.front()[ (*i)->get_name() ] = newname;
                                 (*i)->set_name( newname );