/*!< if a different file had already been opened, it is closed. */
void close();
//!< shuts down the open file, if any.
/*!< open() will have to be invoked before this object can be used again. */
/*!< if a different file had already been opened, it is closed. */
void close();
//!< shuts down the open file, if any.
/*!< open() will have to be invoked before this object can be used again. */