2003-11-11 18:31:50 +00:00
|
|
|
<?php
|
|
|
|
|
2003-12-06 19:03:17 +00:00
|
|
|
/** \brief seekable iterator
|
|
|
|
*
|
|
|
|
* Turns a normal iterator ino a seekable iterator. When there is a way
|
|
|
|
* to seek on an iterator LimitIterator can use this to efficiently rewind
|
|
|
|
* to offset.
|
|
|
|
*/
|
2003-11-17 00:55:37 +00:00
|
|
|
interface SeekableIterator implements Iterator
|
2003-11-11 18:31:50 +00:00
|
|
|
{
|
2003-12-06 19:03:17 +00:00
|
|
|
/** Seek to an absolute position
|
|
|
|
*
|
|
|
|
* \param $index position to seek to
|
|
|
|
* \return void
|
|
|
|
*
|
|
|
|
* \note The method should throw an exception if it is not possible to
|
|
|
|
* seek to the given position.
|
|
|
|
*/
|
2003-11-17 00:55:37 +00:00
|
|
|
function seek($index);
|
|
|
|
/* $this->rewind();
|
2003-11-11 18:31:50 +00:00
|
|
|
$position = 0;
|
2004-03-08 17:33:31 +00:00
|
|
|
while($position < $index && $this->valid()) {
|
2003-11-11 18:31:50 +00:00
|
|
|
$this->next();
|
|
|
|
$position++;
|
|
|
|
}
|
2003-11-17 00:55:37 +00:00
|
|
|
}*/
|
2003-11-11 18:31:50 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
?>
|