From 234452e8d6d756fe242046b52961dce5e8107fd9 Mon Sep 17 00:00:00 2001 From: Roland Haeder Date: Sat, 24 May 2014 15:40:12 +0200 Subject: [PATCH] Again interface satisfaction ... ;-) MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Signed-off-by: Roland Häder --- inc/classes/main/index/class_BaseIndex.php | 31 ++++++++++++++++++++++ 1 file changed, 31 insertions(+) diff --git a/inc/classes/main/index/class_BaseIndex.php b/inc/classes/main/index/class_BaseIndex.php index df3e758f..2f0130b6 100644 --- a/inc/classes/main/index/class_BaseIndex.php +++ b/inc/classes/main/index/class_BaseIndex.php @@ -190,6 +190,37 @@ class BaseIndex extends BaseFrameworkSystem { // Return it return $length; } + + /** + * Close a file source and set it's instance to null and the file name + * to empty. + * + * @return void + * @throws UnsupportedOperationException If this method is called + */ + public function closeFile () { + throw new UnsupportedOperationException(array($this, __FUNCTION__), self::EXCEPTION_UNSPPORTED_OPERATION); + } + + /** + * Determines whether the EOF has been reached + * + * @return $isEndOfFileReached Whether the EOF has been reached + * @throws UnsupportedOperationException If this method is called + */ + public function isEndOfFileReached () { + throw new UnsupportedOperationException(array($this, __FUNCTION__), self::EXCEPTION_UNSPPORTED_OPERATION); + } + + /** + * Getter for file name + * + * @return $fileName The current file name + * @throws UnsupportedOperationException If this method is called + */ + public function getFileName () { + throw new UnsupportedOperationException(array($this, __FUNCTION__), self::EXCEPTION_UNSPPORTED_OPERATION); + } } // [EOF] -- 2.39.5