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 Results extends FormattedTextWithAnchors { 38 private String _title; 39 private String _language = null; 40 41 public Results(Document document) 42 { 43 super(document); 44 } 45 46 public void setTitle(String title) 47 { 48 _title = title; 49 } 50 51 public void setLanguage(String language) 52 { 53 _language = language; 54 } 55 56 public void writeHtml(XMLStreamWriter out) 57 throws XMLStreamException 58 { 59 out.writeStartElement("div"); 60 out.writeAttribute("class", "example"); 61 62 super.writeHtml(out); 63 64 out.writeEndElement(); } 66 67 public void writeLaTeX(PrintWriter out) 68 throws IOException 69 { 70 out.println("\\begin{center}"); 71 out.println("\\begin{Verbatim}[frame=single,fontfamily=courier,"); 72 out.println(" fillcolor=\\color{results-gray},"); 73 out.println(" fontsize=\\footnotesize,"); 74 out.println(" samepage=true]"); 75 76 super.writeLaTeX(out); 77 78 out.println(); 79 out.println("\\end{Verbatim}"); 80 81 if (_title != null) 82 out.println(LaTeXUtil.escapeForLaTeX(_title)); 83 84 out.println("\\end{center}"); 85 } 86 } 87 | Popular Tags |