//================================================================================  
// Handle conflicts between input data type and expected data type like this.
// A. Fischer, April 2001                                         file: getnum.cpp
//--------------------------------------------------------------------------------
#include "tools.hpp"

void use_nums( istream& instr )  
{   
    cout <<"\nReading numbers.\n";
    int number;  
    for(;;) {
        instr >> number;    
        cout <<instr.good() <<":" <<instr.eof()<<":"<<instr.fail()<<":"<<instr.bad()<<": "; 
        if (instr.good()) cout << number << endl;
        else if (instr.eof() ) break;   
        else if (instr.fail()) {        // Without these three lines
           instr.clear();               // an alphabetic character in the input 
           instr.ignore(1);             // stream causes an infinite loop.
        }
        else if (instr.bad())           // Abort after an unrecoverable stream error.
            fatal( "Bad error while reading input stream." );
    }
    cout << "-----------------------------------\n" ;              
}