Changeset 937e51d for src/ResolvExpr/RenameVars.cc
- Timestamp:
- Jun 26, 2015, 4:00:26 PM (9 years ago)
- Branches:
- ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, string, with_gc
- Children:
- 0df292b, e0ff3e6
- Parents:
- eb50842 (diff), 1869adf (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ResolvExpr/RenameVars.cc
reb50842 r937e51d 10 10 // Created On : Sun May 17 12:05:18 2015 11 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : Sun May 17 12:07:59201513 // Update Count : 212 // Last Modified On : Mon Jun 8 14:51:35 2015 13 // Update Count : 4 14 14 // 15 15 16 #include <s trstream>16 #include <sstream> 17 17 18 18 #include "RenameVars.h" … … 122 122 // renames all "forall" type names to `_${level}_${name}' 123 123 for ( std::list< TypeDecl* >::iterator i = type->get_forall().begin(); i != type->get_forall().end(); ++i ) { 124 std::ostr stream output;124 std::ostringstream output; 125 125 output << "_" << level << "_" << (*i)->get_name(); 126 std::string newname( output.str() , output.pcount());126 std::string newname( output.str() ); 127 127 mapStack.front()[ (*i)->get_name() ] = newname; 128 128 (*i)->set_name( newname );
Note: See TracChangeset
for help on using the changeset viewer.