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 Def extends VerboseFormattedTextWithAnchors {
38: private String _title;
39:
40: public Def(Document document) {
41: super (document);
42: }
43:
44: public void setTitle(String title) {
45: _title = title;
46: }
47:
48: public void writeHtml(XMLStreamWriter out)
49: throws XMLStreamException {
50: if (_title != null) {
51: out.writeStartElement("div");
52: out.writeAttribute("class", "def-caption");
53: out.writeCharacters(_title);
54: out.writeEndElement();
55: }
56:
57: out.writeStartElement("div");
58: out.writeAttribute("class", "definition");
59: out.writeStartElement("pre");
60:
61: super .writeHtml(out);
62:
63: out.writeEndElement();
64: out.writeEndElement();
65: }
66:
67: public void writeLaTeX(PrintWriter out) throws IOException {
68: out.println("\\begin{center}");
69: out.println("\\begin{Verbatim}[fontfamily=courier,");
70: out.println(" fontsize=\\footnotesize,");
71:
72: if (_title != null) {
73: out.println(" label=" + _title + ",");
74: out.println(" labelposition=bottomline,");
75: }
76:
77: out.println(" samepage=true]");
78:
79: super .writeLaTeX(out);
80:
81: out.println();
82: out.println("\\end{Verbatim}");
83: out.println("\\end{center}");
84: }
85: }
|