/[debian]/libjpf-java/trunk/jdocs/functions.ijxp
ViewVC logotype

Contents of /libjpf-java/trunk/jdocs/functions.ijxp

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1601 - (show annotations)
Sat Feb 28 23:28:19 2009 UTC (12 years, 4 months ago) by gregoa
File size: 5128 byte(s)
[svn-inject] Forking libjpf-java source to Trunk
1 <%
2 // Java Plug-in Framework (JPF)
3 // Copyright (C) 2004 - 2007 Dmitry Olshansky
4 // $Id$
5 %>
6 <%
7 import java.text.*;
8 import java.io.*;
9
10 function void printHeader(String title) {
11 %>
12 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
13 <html lang="en">
14 <head>
15 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
16 <meta name="robots" content="index, follow" />
17 <meta name="description" content="Framework to help development of extensible Java applications or to add plug-in support to existing systems." />
18 <meta name="keywords" content="Java, plugin, plug-in, framework, platform, architecture, engine, runtime, extensible, flexible, reliable, server-side, client-side, development, developer, library, package, open-source, LGPL, free software" />
19 <meta name="revisit-after" content="7 days" />
20 <title>Java Plugin Framework (JPF) - <%= title %></title>
21 <link rel="StyleSheet" type="text/css" href="./resources/css/base.css" />
22 <link rel="icon" href="./resources/images/favicon.ico" />
23 </head>
24
25 <body>
26 <%
27 }
28
29 function void printFooter() {
30 %>
31 <div class="footer">
32 <span style="float:left;">&copy; 2004 - 2007 JPF Team</span>
33 <span style="float:right;">
34 Direct e-mail: <img src="./resources/images/email.png" width="169" height="20" title="Direct email" style="vertical-align:middle;" />
35 Last modified: <%= new SimpleDateFormat("yyyy-MM-dd HH:mm", Locale.US).format(new Date()) %>
36 </span>
37 </div>
38 <br />
39 <% if ("web".equals(System.getProperty("jdocs.mode"))) { %>
40 <!-- Start of StatCounter Code -->
41 <script type="text/javascript" language="javascript">var sc_project=326381; var sc_partition=1; var sc_invisible=1;</script>
42 <script type="text/javascript" language="javascript" src="http://www.statcounter.com/counter/counter.js"></script><noscript><a href="http://www.statcounter.com/free_hit_counter.html" target="_blank"><img src="http://c2.statcounter.com/counter.php?sc_project=326381&amp;java=0&invisible=1" alt="web hit counter" border="0"></a> </noscript>
43 <!-- End of StatCounter Code -->
44 <!-- Start of Google Analytics Code -->
45 <script src="http://www.google-analytics.com/urchin.js" type="text/javascript">
46 </script>
47 <script type="text/javascript">
48 _uacct = "UA-344539-1";
49 urchinTracker();
50 </script>
51 <!-- End of Google Analytics Code -->
52 <% } %>
53 </body>
54 </html>
55 <%
56 }
57
58 function void printMenu(String currPage) {
59 %>
60 <div class="menu">
61 <p align="center"><a href="http://jpf.sourceforge.net"><img src="./resources/images/jpf-logo.png" width="80" height="60" title="Java Plug-in Framework (JPF)" border="0" alt="JPF" /></a></p>
62 <p>
63 <%= getMenuItem("index", "Home", currPage) %>
64 <%= getMenuItem("about", "System Overview", currPage) %>
65 <%= getMenuItem("roadmap", "Project Roadmap", currPage) %>
66 <%= getMenuItem("todo", "TODO List", currPage) %>
67 <%= getMenuItem("qa", "Questions &amp; Answers", currPage) %>
68 <%= getMenuItem("stories", "Success stories", currPage) %>
69 <%= getMenuItem("license", "License", currPage) %>
70 </p>
71 <p>
72 <%= getMenuItem("concepts", "Concepts", currPage) %>
73 <%= getMenuItem("boot", "JPF Boot Library", currPage) %>
74 <%= getMenuItem("tutorial", "Tutorial", currPage) %>
75 <%= getMenuItem("ide", "JPF &amp; Java IDE", currPage) %>
76 <%= getMenuItem("api/index", "API Reference", currPage) %>
77 <%= getMenuItem("dtd", "Plug-in DTD", currPage) %>
78 <%= getMenuItem("tools", "JPF Tools Reference", currPage) %>
79 <%= getMenuItem("config", "Configuration Reference", currPage) %>
80 </p>
81 <p>
82 <a href="http://sourceforge.net/projects/jpf/">Project Summary</a><br/>
83 <a href="http://sourceforge.net/news/?group_id=110394">Project News</a><br/>
84 <a href="http://sourceforge.net/project/showfiles.php?group_id=110394">Download</a><br/>
85 <a href="http://sourceforge.net/forum/forum.php?forum_id=378299">Forum</a><br/>
86 </p>
87 <p lang="de"><a href="./de/tutorial.html">German (de)</a></p>
88 <% if ("web".equals(System.getProperty("jdocs.mode"))) { %>
89 <div align="center"><a href="http://sourceforge.net" title="SourceForge.net"><img src="http://sflogo.sourceforge.net/sflogo.php?group_id=110394&amp;type=2" width="125" height="37" border="0" alt="SourceForge.net" /></a></div>
90 <% } %>
91 </div>
92 <%
93 }
94
95 function String getMenuItem(String page, String title, String currPage) {
96 if (page.startsWith(currPage)) {
97 return title + "<br />";
98 }
99 return "<a href=\"./" + page + ".html\">" + title + "</a><br />";
100 }
101
102 function void includeHtml(String file) {
103 LineNumberReader in = new LineNumberReader(new InputStreamReader(
104 new FileInputStream(file), "UTF-8"));
105 try {
106 String line = in.readLine();
107 while (line != null) {
108 println(escapeHtml(line));
109 line = in.readLine();
110 }
111 } finally {
112 in.close();
113 }
114 }
115
116 function String escapeHtml(String str) {
117 return str.replaceAll("&", "&amp;").replaceAll("<", "&lt;")
118 .replaceAll(">", "&gt;").replaceAll("\\\\t", " ");
119 }
120 %>

  ViewVC Help
Powered by ViewVC 1.1.26