*/
function flushFileHeader ();
- /**
- * Close a file source and set it's instance to null and the file name
- * to empty.
- *
- * @return void
- * @throws NullPointerException If the file pointer instance is not set by setPointer()
- * @throws InvalidResourceException If there is being set
- */
- function closeFile ();
-
/**
* Determines whether the EOF has been reached
*