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