01: /*
02: * Copyright (c) 1998-2000 Caucho Technology -- all rights reserved
03: *
04: * This file is part of Resin(R) Open Source
05: *
06: * Each copy or derived work must preserve the copyright notice and this
07: * notice unmodified.
08: *
09: * Resin Open Source is free software; you can redistribute it and/or modify
10: * it under the terms of the GNU General Public License as published by
11: * the Free Software Foundation; either version 2 of the License, or
12: * (at your option) any later version.
13: *
14: * Resin Open Source is distributed in the hope that it will be useful,
15: * but WITHOUT ANY WARRANTY; without even the implied warranty of
16: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE, or any warranty
17: * of NON-INFRINGEMENT. See the GNU General Public License for more
18: * details.
19: *
20: * You should have received a copy of the GNU General Public License
21: * along with Resin Open Source; if not, write to the
22: *
23: * Free Software Foundation, Inc.
24: * 59 Temple Place, Suite 330
25: * Boston, MA 02111-1307 USA
26: *
27: * @author Emil Ong
28: */
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: super (document);
43: }
44:
45: public void setTitle(String title) {
46: _title = title;
47: }
48:
49: public void setLanguage(String language) {
50: _language = language;
51: }
52:
53: public void writeHtml(XMLStreamWriter out)
54: throws XMLStreamException {
55: if (_title != null) {
56: out.writeStartElement("div");
57: out.writeAttribute("class", "caption");
58: out.writeCharacters(_title);
59: out.writeEndElement();
60: }
61:
62: out.writeStartElement("div");
63: out.writeAttribute("class", "results");
64:
65: super .writeHtml(out);
66:
67: out.writeEndElement(); // div
68: }
69:
70: public void writeLaTeX(PrintWriter out) throws IOException {
71: out.println("\\begin{center}");
72: out
73: .println("\\begin{Verbatim}[frame=single,fontfamily=courier,");
74: out
75: .println(" fillcolor=\\color{results-gray},");
76: out.println(" fontsize=\\footnotesize,");
77: out.println(" samepage=true]");
78:
79: super .writeLaTeX(out);
80:
81: out.println();
82: out.println("\\end{Verbatim}");
83:
84: if (_title != null)
85: out.println(LaTeXUtil.escapeForLaTeX(_title));
86:
87: out.println("\\end{center}");
88: }
89: }
|