string file_name;
int fp;
+ bool eof_flag;
public:
/** @return the name of the file being manipulated. */
inline string get_file_name() const { return file_name; }
+
+ /** @return true of eof conditions exists */
+ inline bool eof() const { return eof_flag; };
};