Chris@14: xmlns = $xmlns; Chris@14: } Chris@14: Chris@14: /** Chris@14: * @param TokenCollection $tokens Chris@14: * Chris@14: * @return DOMDocument Chris@14: */ Chris@14: public function toDom(TokenCollection $tokens): DOMDocument { Chris@14: $dom = new DOMDocument(); Chris@14: $dom->preserveWhiteSpace = false; Chris@14: $dom->loadXML($this->toXML($tokens)); Chris@14: Chris@14: return $dom; Chris@14: } Chris@14: Chris@14: /** Chris@14: * @param TokenCollection $tokens Chris@14: * Chris@14: * @return string Chris@14: */ Chris@14: public function toXML(TokenCollection $tokens): string { Chris@14: $this->writer = new \XMLWriter(); Chris@14: $this->writer->openMemory(); Chris@14: $this->writer->setIndent(true); Chris@14: $this->writer->startDocument(); Chris@14: $this->writer->startElement('source'); Chris@14: $this->writer->writeAttribute('xmlns', $this->xmlns->asString()); Chris@14: $this->writer->startElement('line'); Chris@14: $this->writer->writeAttribute('no', '1'); Chris@14: Chris@14: $this->previousToken = $tokens[0]; Chris@14: foreach ($tokens as $token) { Chris@14: $this->addToken($token); Chris@14: } Chris@14: Chris@14: $this->writer->endElement(); Chris@14: $this->writer->endElement(); Chris@14: $this->writer->endDocument(); Chris@14: Chris@14: return $this->writer->outputMemory(); Chris@14: } Chris@14: Chris@14: /** Chris@14: * @param Token $token Chris@14: */ Chris@14: private function addToken(Token $token) { Chris@14: if ($this->previousToken->getLine() < $token->getLine()) { Chris@14: $this->writer->endElement(); Chris@14: Chris@14: $this->writer->startElement('line'); Chris@14: $this->writer->writeAttribute('no', (string)$token->getLine()); Chris@14: $this->previousToken = $token; Chris@14: } Chris@14: Chris@14: if ($token->getValue() !== '') { Chris@14: $this->writer->startElement('token'); Chris@14: $this->writer->writeAttribute('name', $token->getName()); Chris@14: $this->writer->writeRaw(htmlspecialchars($token->getValue(), ENT_NOQUOTES | ENT_DISALLOWED | ENT_XML1)); Chris@14: $this->writer->endElement(); Chris@14: } Chris@14: } Chris@14: }