- buffer_name << "buffer_" ; // << bufferNb;
-
-// std::cout << " mFile.size() " << mFile.size() << std::endl;
-// std::cout << " mFileName.size() " << mFileName.size() << std::endl;
-// std::cout << " mLine.size() " << mLine.size() << std::endl;
- // std::vector<std::string>::iterator j = mFileName.begin();
- // std::cout << " mFileName.begin() succeeded" << std::endl;
- // std::cout << " mFileName[0] " << mFileName[0] << std::endl;
- //std::cout << " mFileName.begin() " << mFileName.begin() << std::endl;
-/*
- for( std::vector<std::string>::iterator i = mFileName.begin(); i!= mFileName.end(); ++i)
- {
-
- std::cout << "Interpreter::SwitchToStream : mFileName [" << *i << "]" << std::endl;
- }
-*/
- // std::cout << " mLine.back() " << mLine.back() << std::endl;
- // std::cout << " mFileName.back() " << mFileName.back() << std::endl;