public function _ungetElement($element) { if ($this->_ungetbuffer) { $this->_logger->err('Double unget!'); } $this->_ungetbuffer = $element; }