More cleanups of public closeFile() method as it is private now and shall only
[core.git] / inc / classes / interfaces / io / class_FilePointer.php
index a12d74279e2ba11d8023d83b0a08d94b97aec1d2..20a3c375b5539743125cfaeb12c032894f773b5c 100644 (file)
  * along with this program. If not, see <http://www.gnu.org/licenses/>.
  */
 interface FilePointer extends FrameworkInterface {
-       /**
-        * 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 ();
-
        /**
         * Getter for the file pointer
         *