1 29 30 package com.caucho.xtpdoc; 31 32 import javax.xml.stream.XMLStreamException; 33 import javax.xml.stream.XMLStreamWriter; 34 import java.io.IOException ; 35 import java.io.PrintWriter ; 36 37 public class Code extends FormattedText { 38 public Code(Document document) 39 { 40 super(document); 41 } 42 43 public void writeHtml(XMLStreamWriter out) 44 throws XMLStreamException 45 { 46 out.writeStartElement("code"); 47 48 super.writeHtml(out); 49 50 out.writeEndElement(); 51 } 52 53 public void writeLaTeX(PrintWriter out) 54 throws IOException 55 { 56 out.print(" \\texttt{"); 58 59 super.writeLaTeX(out); 60 61 out.print("} "); 62 } 63 } 64 | Popular Tags |