diff -r 5b37998e522e -r 162c1de6545a web/lib/Zend/Markup/TokenList.php --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/web/lib/Zend/Markup/TokenList.php Fri Mar 11 15:05:35 2011 +0100 @@ -0,0 +1,124 @@ +_tokens); + } + + /** + * Get the children of the current token + * + * @return Zend_Markup_TokenList + */ + public function getChildren() + { + return current($this->_tokens)->getChildren(); + } + + /** + * Add a new child token + * + * @param Zend_Markup_Token $child + * + * @return void + */ + public function addChild(Zend_Markup_Token $child) + { + $this->_tokens[] = $child; + } + + /** + * Check if the current token has children + * + * @return bool + */ + public function hasChildren() + { + return current($this->_tokens)->hasChildren(); + } + + /** + * Get the key of the current token + * + * @return int + */ + public function key() + { + return key($this->_tokens); + } + + /** + * Go to the next token + * + * @return Zend_Markup_Token + */ + public function next() + { + return next($this->_tokens); + } + + /** + * Rewind the iterator + * + * @return void + */ + public function rewind() + { + reset($this->_tokens); + } + + /** + * Check if the element is valid + * + * @return void + */ + public function valid() + { + return $this->current() !== false; + } +}