KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > com > caucho > xtpdoc > Def


1 /*
2  * Copyright (c) 1998-2000 Caucho Technology -- all rights reserved
3  *
4  * This file is part of Resin(R) Open Source
5  *
6  * Each copy or derived work must preserve the copyright notice and this
7  * notice unmodified.
8  *
9  * 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 JavaDoc;
35 import java.io.PrintWriter JavaDoc;
36
37 public class Def extends VerboseFormattedTextWithAnchors {
38   private String JavaDoc _title;
39
40   public Def(Document document)
41   {
42     super(document);
43   }
44
45   public void setTitle(String JavaDoc title)
46   {
47     _title = title;
48   }
49
50   public void writeHtml(XMLStreamWriter out)
51     throws XMLStreamException
52   {
53     out.writeStartElement("table");
54     out.writeAttribute("class", "egpad");
55     out.writeAttribute("cellspacing", "0");
56     out.writeAttribute("width", "90%");
57
58     if (_title != null) {
59       out.writeStartElement("caption");
60       out.writeStartElement("font");
61       out.writeAttribute("size", "+1");
62       out.writeCharacters(_title);
63       out.writeEndElement();
64       out.writeEndElement();
65     }
66
67     out.writeStartElement("tr");
68     out.writeStartElement("td");
69     out.writeAttribute("class", "def");
70     out.writeAttribute("bgcolor", "#cccccc");
71     out.writeStartElement("pre");
72     out.writeStartElement("div");
73     out.writeAttribute("class", "def");
74
75     super.writeHtml(out);
76
77     out.writeEndElement();
78     out.writeEndElement();
79     out.writeEndElement();
80     out.writeEndElement();
81     out.writeEndElement();
82   }
83
84   public void writeLaTeX(PrintWriter JavaDoc out)
85     throws IOException JavaDoc
86   {
87     out.println("\\begin{center}");
88     out.println("\\begin{Verbatim}[fontfamily=courier,");
89     out.println(" fontsize=\\footnotesize,");
90
91     if (_title != null) {
92       out.println(" label=" + _title + ",");
93       out.println(" labelposition=bottomline,");
94     }
95
96     out.println(" samepage=true]");
97
98     super.writeLaTeX(out);
99
100     out.println();
101     out.println("\\end{Verbatim}");
102     out.println("\\end{center}");
103   }
104 }
105
Popular Tags