eof                52 data/sphere/2014paperALE_sphere/improve_sphere.cpp 		if( !(line >> d1 >> d2 >> d3) || !(line >> ws).eof() )
eof               123 data/sphere/level_set_test.cpp   if(!(iss >> d1 >> d2 >> d3) || !(iss >> std::ws).eof() )
eof                75 include/io_dof.h       if(!(ifs >> std::ws).eof()) throw std::runtime_error
eof               143 old_code/2015linfty/dune_bdf.hpp 		if(!(interpreter >> std::ws).eof())	// stuff left in stream?
eof               164 old_code/tumor_growth/tumor_bdf.h     if(!(interpreter >> std::ws).eof())	// stuff left in stream?
eof               192 src/grid_GridAndTime_impl.cpp   if( !(interpreter >> std::ws).eof()) // stuff left in stream
eof               253 src/grid_GridAndTime_impl.cpp       if(!(iss >> ws).eof()) throw bad {"Too many entries."};