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
121
122
123
124
125
126
127
128
129
130
131
132
|
package org.eclipse.help.internal.webapp.data;
/*
* (c) Copyright IBM Corp. 2002.
* All Rights Reserved.
*/
import java.util.StringTokenizer;
import javax.servlet.ServletContext;
import javax.servlet.http.HttpServletRequest;
import org.eclipse.core.runtime.Preferences;
import org.eclipse.help.internal.*;
import org.eclipse.help.internal.util.*;
/**
* This class manages bookmarks.
*/
public class BookmarksData extends RequestData {
public final static int NONE = 0;
public final static int ADD = 1;
public final static int REMOVE = 2;
public BookmarksData(ServletContext context, HttpServletRequest request) {
super(context, request);
switch (getOperation()) {
case ADD :
addBookmark();
break;
case REMOVE :
removeBookmark();
break;
default :
break;
}
}
public void addBookmark() {
String bookmarkURL = request.getParameter("bookmark");
if (bookmarkURL != null
&& bookmarkURL.length() > 0
&& !bookmarkURL.equals("about:blank")) {
String title = getDBCSParameter("title");
Preferences prefs = HelpPlugin.getDefault().getPluginPreferences();
String bookmarks = prefs.getString(HelpSystem.BOOKMARKS);
// separate the url and title by vertical bar
// check for duplicates
if (bookmarks.indexOf("," + encode(bookmarkURL) + "|") != -1)
return;
bookmarks =
bookmarks + "," + encode(bookmarkURL) + "|" + encode(title);
prefs.setValue(HelpSystem.BOOKMARKS, bookmarks);
HelpPlugin.getDefault().savePluginPreferences();
}
}
public void removeBookmark() {
String bookmarkURL = request.getParameter("bookmark");
if (bookmarkURL != null
&& bookmarkURL.length() > 0
&& !bookmarkURL.equals("about:blank")) {
String title = getDBCSParameter("title");
Preferences prefs = HelpPlugin.getDefault().getPluginPreferences();
String bookmarks = prefs.getString(HelpSystem.BOOKMARKS);
String removeString =
"," + encode(bookmarkURL) + "|" + encode(title);
int i = bookmarks.indexOf(removeString);
if (i == -1)
return;
bookmarks =
bookmarks.substring(0, i)
+ bookmarks.substring(i + removeString.length());
prefs.setValue(HelpSystem.BOOKMARKS, bookmarks);
HelpPlugin.getDefault().savePluginPreferences();
}
}
public Topic[] getBookmarks() {
// sanity test for infocenter, but this could not work anyway...
if (HelpSystem.getMode() != HelpSystem.MODE_INFOCENTER) {
// this is workbench
Preferences prefs = HelpPlugin.getDefault().getPluginPreferences();
String bookmarks = prefs.getString(HelpSystem.BOOKMARKS);
StringTokenizer tokenizer = new StringTokenizer(bookmarks, ",");
Topic[] topics = new Topic[tokenizer.countTokens()];
for (int i = 0; tokenizer.hasMoreTokens(); i++) {
String bookmark = tokenizer.nextToken();
// url and title are separated by vertical bar
int separator = bookmark.indexOf('|');
String label = decode(bookmark.substring(separator + 1));
String href =
separator < 0
? ""
: decode(bookmark.substring(0, separator));
topics[i] = new Topic(label, href);
}
return topics;
}
return new Topic[0];
}
private int getOperation() {
String op = request.getParameter("operation");
if ("add".equals(op))
return ADD;
else if ("remove".equals(op))
return REMOVE;
else
return NONE;
}
/**
* Ensures that string does not contains
* ',' or '|' characters.
* @param s
* @return String
*/
private static String encode(String s) {
s = TString.change(s, "\\", "\\escape");
s = TString.change(s, ",", "\\comma");
return TString.change(s, "|", "\\pipe");
}
private static String decode(String s) {
s = TString.change(s, "\\pipe", "|");
s = TString.change(s, "\\comma", ",");
return TString.change(s, "\\escape", "\\");
}
}
|
