KickJava   Java API By Example, From Geeks To Geeks.

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


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 Example extends VerboseFormattedTextWithAnchors {
38   private String JavaDoc _title;
39   private String JavaDoc _file;
40   private String JavaDoc _language;
41
42   public Example(Document document)
43   {
44     super(document);
45   }
46
47   public void setTitle(String JavaDoc title)
48   {
49     _title = title;
50   }
51
52   public void setLanguage(String JavaDoc language)
53   {
54     _language = language;
55   }
56
57   public void setFile(String JavaDoc file)
58   {
59     _file = file;
60   }
61
62   public void writeHtml(XMLStreamWriter out)
63     throws XMLStreamException
64   {
65     if (_title != null) {
66       out.writeStartElement("center");
67       out.writeStartElement("b");
68       out.writeCharacters(_title);
69       out.writeEndElement();
70       out.writeEndElement();
71     }
72
73     if (_file != null) {
74       out.writeEmptyElement("br");
75       out.writeCharacters("See it in: ");
76       out.writeStartElement("a");
77       out.writeAttribute("href", _file);
78       out.writeCharacters(_file);
79       out.writeEndElement();
80     }
81     
82     out.writeStartElement("div");
83     out.writeAttribute("class", "example");
84     out.writeStartElement("pre");
85
86     super.writeHtml(out);
87
88     out.writeEndElement();
89     out.writeEndElement();
90   }
91
92   public void writeLaTeX(PrintWriter JavaDoc out)
93     throws IOException JavaDoc
94   {
95     if (_language != null) {
96       out.println("\\lstset{fancyvrb,language=" + _language + ",");
97       out.println(" showstringspaces=false,basicstyle=\\small,");
98       out.println(" stringstyle=\\color[gray]{0.6}}");
99     }
100
101     out.println("\\begin{center}");
102     out.println("\\begin{Verbatim}[frame=single,fontfamily=courier,");
103     out.println(" framerule=1pt,");
104     out.println(" fontsize=\\footnotesize,");
105
106     if (_title != null) {
107       out.print(" labelposition=bottomline,label=\\fbox{");
108       out.println(LaTeXUtil.escapeForLaTeX(_title) + "},");
109     }
110
111     out.println(" samepage=true]");
112
113     super.writeLaTeX(out);
114
115     // make room for the title box
116 if (_title != null)
117       out.println();
118
119     out.println();
120     out.println("\\end{Verbatim}");
121
122     out.println("\\end{center}");
123
124     if (_language != null)
125       out.println("\\lstset{fancyvrb=false}");
126   }
127 }
128
Popular Tags