1 |
keri 08/12/30 04:40:21 |
2 |
|
3 |
Added: tuprolog-2.1.1-java1.4.patch |
4 |
tuprolog-2.1.1-javadocs.patch |
5 |
Log: |
6 |
Version bump |
7 |
(Portage version: 2.1.6.4/cvs/Linux 2.6.26-gentoo-r3 x86_64) |
8 |
|
9 |
Revision Changes Path |
10 |
1.1 dev-lang/tuprolog/files/tuprolog-2.1.1-java1.4.patch |
11 |
|
12 |
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-lang/tuprolog/files/tuprolog-2.1.1-java1.4.patch?rev=1.1&view=markup |
13 |
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-lang/tuprolog/files/tuprolog-2.1.1-java1.4.patch?rev=1.1&content-type=text/plain |
14 |
|
15 |
Index: tuprolog-2.1.1-java1.4.patch |
16 |
=================================================================== |
17 |
diff -ur src.orig/alice/tuprologx/ide/AWTFrameLauncher.java src/alice/tuprologx/ide/AWTFrameLauncher.java |
18 |
--- src.orig/alice/tuprologx/ide/AWTFrameLauncher.java 2007-04-23 10:10:38.000000000 +1200 |
19 |
+++ src/alice/tuprologx/ide/AWTFrameLauncher.java 2007-06-08 19:43:27.000000000 +1200 |
20 |
@@ -88,7 +88,7 @@ |
21 |
height = Math.min(height, screenSize.height); |
22 |
setBounds((screenSize.width - width) / 2, (screenSize.height - height) / 2, width, height); |
23 |
} |
24 |
- show(); |
25 |
+ setVisible(true); |
26 |
} |
27 |
|
28 |
public void update(Graphics g) { |
29 |
@@ -117,4 +117,4 @@ |
30 |
|
31 |
} // end AWTFrame class |
32 |
|
33 |
-} // end AWTFrameLauncher class |
34 |
\ No newline at end of file |
35 |
+} // end AWTFrameLauncher class |
36 |
diff -ur src.orig/alice/tuprologx/ide/Applet.java src/alice/tuprologx/ide/Applet.java |
37 |
--- src.orig/alice/tuprologx/ide/Applet.java 2007-04-23 10:10:38.000000000 +1200 |
38 |
+++ src/alice/tuprologx/ide/Applet.java 2007-06-08 19:47:00.000000000 +1200 |
39 |
@@ -41,7 +41,7 @@ |
40 |
ide.removeWindowListener(listeners[i]); |
41 |
|
42 |
ide.pack(); |
43 |
- ide.show(); |
44 |
+ ide.setVisible(true); |
45 |
} |
46 |
|
47 |
-} // end Applet class |
48 |
\ No newline at end of file |
49 |
+} // end Applet class |
50 |
diff -ur src.orig/alice/tuprologx/ide/DotNetIOManager.java src/alice/tuprologx/ide/DotNetIOManager.java |
51 |
--- src.orig/alice/tuprologx/ide/DotNetIOManager.java 2007-04-23 10:10:38.000000000 +1200 |
52 |
+++ src/alice/tuprologx/ide/DotNetIOManager.java 2007-06-08 19:46:43.000000000 +1200 |
53 |
@@ -46,7 +46,7 @@ |
54 |
FileDialog dialog = new FileDialog(parent, "Load Theory", FileDialog.LOAD); |
55 |
dialog.setDirectory(currentLoadDirectory); |
56 |
dialog.setFile("*.pro"); |
57 |
- dialog.show(); |
58 |
+ dialog.setVisible(true); |
59 |
String directory = dialog.getDirectory(); |
60 |
currentLoadDirectory = directory; |
61 |
String fileName = dialog.getFile(); |
62 |
@@ -61,7 +61,7 @@ |
63 |
public String saveTheoryAs(String theory) throws Exception { |
64 |
FileDialog dialog = new FileDialog(parent, "Save Theory As...", FileDialog.SAVE); |
65 |
dialog.setDirectory(currentSaveDirectory); |
66 |
- dialog.show(); |
67 |
+ dialog.setVisible(true); |
68 |
String directory = dialog.getDirectory(); |
69 |
currentSaveDirectory = directory; |
70 |
String fileName = dialog.getFile(); |
71 |
@@ -72,4 +72,4 @@ |
72 |
return ""; |
73 |
} |
74 |
|
75 |
-} // end DotNetIOManager class |
76 |
\ No newline at end of file |
77 |
+} // end DotNetIOManager class |
78 |
diff -ur src.orig/alice/tuprologx/ide/GUILauncher.java src/alice/tuprologx/ide/GUILauncher.java |
79 |
--- src.orig/alice/tuprologx/ide/GUILauncher.java 2007-04-23 10:10:38.000000000 +1200 |
80 |
+++ src/alice/tuprologx/ide/GUILauncher.java 2007-06-08 19:48:08.000000000 +1200 |
81 |
@@ -74,7 +74,7 @@ |
82 |
private void launchDotNetGUI() { |
83 |
DotNetIDE ide = new DotNetIDE(); |
84 |
ide.pack(); |
85 |
- ide.show(); |
86 |
+ ide.setVisible(true); |
87 |
} |
88 |
|
89 |
/** |
90 |
@@ -99,4 +99,4 @@ |
91 |
launcher.launchJavaGUI(); |
92 |
} |
93 |
|
94 |
-} // end GUILauncher class |
95 |
\ No newline at end of file |
96 |
+} // end GUILauncher class |
97 |
diff -ur src.orig/alice/util/jedit/JEditTextArea.java src/alice/util/jedit/JEditTextArea.java |
98 |
--- src.orig/alice/util/jedit/JEditTextArea.java 2007-04-23 10:10:38.000000000 +1200 |
99 |
+++ src/alice/util/jedit/JEditTextArea.java 2007-06-08 19:41:59.000000000 +1200 |
100 |
@@ -115,10 +115,10 @@ |
101 |
* Returns if this component can be traversed by pressing |
102 |
* the Tab key. This returns false. |
103 |
*/ |
104 |
- public final boolean isManagingFocus() |
105 |
+ /*public final boolean isManagingFocus() |
106 |
{ |
107 |
return true; |
108 |
- } |
109 |
+ }*/ |
110 |
|
111 |
/** |
112 |
* Returns the object responsible for painting this text area. |
113 |
@@ -507,7 +507,7 @@ |
114 |
if(id == Token.NULL) |
115 |
fm = painter.getFontMetrics(); |
116 |
else |
117 |
- fm = styles[id].getFontMetrics(defaultFont); |
118 |
+ fm = styles[id].getFontMetrics(painter, defaultFont); |
119 |
|
120 |
int length = tokens.length; |
121 |
|
122 |
@@ -604,7 +604,7 @@ |
123 |
if(id == Token.NULL) |
124 |
fm = painter.getFontMetrics(); |
125 |
else |
126 |
- fm = styles[id].getFontMetrics(defaultFont); |
127 |
+ fm = styles[id].getFontMetrics(painter, defaultFont); |
128 |
|
129 |
int length = tokens.length; |
130 |
|
131 |
diff -ur src.orig/alice/util/jedit/SyntaxStyle.java src/alice/util/jedit/SyntaxStyle.java |
132 |
--- src.orig/alice/util/jedit/SyntaxStyle.java 2007-04-23 10:10:40.000000000 +1200 |
133 |
+++ src/alice/util/jedit/SyntaxStyle.java 2007-06-08 19:32:46.000000000 +1200 |
134 |
@@ -9,6 +9,7 @@ |
135 |
package alice.util.jedit; |
136 |
|
137 |
import java.awt.*; |
138 |
+import javax.swing.*; |
139 |
import java.util.StringTokenizer; |
140 |
|
141 |
/** |
142 |
@@ -86,7 +87,7 @@ |
143 |
/** |
144 |
* Returns the font metrics for the styled font. |
145 |
*/ |
146 |
- public FontMetrics getFontMetrics(Font font) |
147 |
+ public FontMetrics getFontMetrics(JComponent component, Font font) |
148 |
{ |
149 |
if(font == null) |
150 |
throw new NullPointerException("font param must not" |
151 |
@@ -98,7 +99,7 @@ |
152 |
(bold ? Font.BOLD : 0) |
153 |
| (italic ? Font.ITALIC : 0), |
154 |
font.getSize()); |
155 |
- fontMetrics = Toolkit.getDefaultToolkit().getFontMetrics( |
156 |
+ fontMetrics = component.getFontMetrics( |
157 |
lastStyledFont); |
158 |
return fontMetrics; |
159 |
} |
160 |
diff -ur src.orig/alice/util/jedit/TextAreaPainter.java src/alice/util/jedit/TextAreaPainter.java |
161 |
--- src.orig/alice/util/jedit/TextAreaPainter.java 2007-04-23 10:10:38.000000000 +1200 |
162 |
+++ src/alice/util/jedit/TextAreaPainter.java 2007-06-08 19:38:19.000000000 +1200 |
163 |
@@ -67,10 +67,10 @@ |
164 |
* Returns if this component can be traversed by pressing the |
165 |
* Tab key. This returns false. |
166 |
*/ |
167 |
- public final boolean isManagingFocus() |
168 |
+ /*public final boolean isManagingFocus() |
169 |
{ |
170 |
return false; |
171 |
- } |
172 |
+ }*/ |
173 |
|
174 |
/** |
175 |
* Returns the syntax styles used to paint colorized text. Entry <i>n</i> |
176 |
@@ -350,7 +350,7 @@ |
177 |
public void setFont(Font font) |
178 |
{ |
179 |
super.setFont(font); |
180 |
- fm = Toolkit.getDefaultToolkit().getFontMetrics(font); |
181 |
+ fm = getFontMetrics(font); |
182 |
textArea.recalculateVisibleLines(); |
183 |
} |
184 |
|
185 |
diff -ur src.orig/alice/util/thinlet/Thinlet.java src/alice/util/thinlet/Thinlet.java |
186 |
--- src.orig/alice/util/thinlet/Thinlet.java 2007-04-23 10:10:40.000000000 +1200 |
187 |
+++ src/alice/util/thinlet/Thinlet.java 2007-06-08 19:49:17.000000000 +1200 |
188 |
@@ -2157,7 +2157,7 @@ |
189 |
* |
190 |
* @return true as focus-transverable component, overwrites the default false value |
191 |
*/ |
192 |
- public boolean isFocusTraversable() { |
193 |
+ public boolean isFocusable() { |
194 |
return true; |
195 |
} |
196 |
|
197 |
|
198 |
|
199 |
|
200 |
1.1 dev-lang/tuprolog/files/tuprolog-2.1.1-javadocs.patch |
201 |
|
202 |
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-lang/tuprolog/files/tuprolog-2.1.1-javadocs.patch?rev=1.1&view=markup |
203 |
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-lang/tuprolog/files/tuprolog-2.1.1-javadocs.patch?rev=1.1&content-type=text/plain |
204 |
|
205 |
Index: tuprolog-2.1.1-javadocs.patch |
206 |
=================================================================== |
207 |
diff -ur src.orig/alice/tuprolog/ChoicePointStore.java src/alice/tuprolog/ChoicePointStore.java |
208 |
--- src.orig/alice/tuprolog/ChoicePointStore.java 2007-04-23 10:10:38.000000000 +1200 |
209 |
+++ src/alice/tuprolog/ChoicePointStore.java 2007-06-08 07:46:21.000000000 +1200 |
210 |
@@ -35,7 +35,6 @@ |
211 |
|
212 |
/** |
213 |
* Return the actual choice-point store |
214 |
- * @return |
215 |
*/ |
216 |
public ChoicePointContext getPointer() { |
217 |
return pointer; |
218 |
@@ -44,7 +43,6 @@ |
219 |
/** |
220 |
* Check if a choice point exists in the store. |
221 |
* As a side effect, removes choice points which have been already used and are now empty. |
222 |
- * @return |
223 |
*/ |
224 |
protected boolean existChoicePoint() { |
225 |
if (pointer == null) return false; |
226 |
diff -ur src.orig/alice/tuprolog/ClauseStore.java src/alice/tuprolog/ClauseStore.java |
227 |
--- src.orig/alice/tuprolog/ClauseStore.java 2007-04-23 10:10:38.000000000 +1200 |
228 |
+++ src/alice/tuprolog/ClauseStore.java 2007-06-08 07:45:36.000000000 +1200 |
229 |
@@ -58,8 +58,6 @@ |
230 |
|
231 |
/** |
232 |
* Verify if there is a term in compatibleGoals compatible with goal. |
233 |
- * @param goal |
234 |
- * @param compGoals |
235 |
* @return true if compatible or false otherwise. |
236 |
*/ |
237 |
protected boolean existCompatibleClause() { |
238 |
diff -ur src.orig/alice/tuprolog/EngineManager.java src/alice/tuprolog/EngineManager.java |
239 |
--- src.orig/alice/tuprolog/EngineManager.java 2007-04-23 10:10:40.000000000 +1200 |
240 |
+++ src/alice/tuprolog/EngineManager.java 2007-06-08 07:44:50.000000000 +1200 |
241 |
@@ -85,7 +85,7 @@ |
242 |
/** |
243 |
* Solves a query |
244 |
* |
245 |
- * @param g the term representing the goal to be demonstrated |
246 |
+ * @param query the term representing the goal to be demonstrated |
247 |
* @return the result of the demonstration |
248 |
* @see SolveInfo |
249 |
**/ |
250 |
diff -ur src.orig/alice/tuprolog/PrimitiveManager.java src/alice/tuprolog/PrimitiveManager.java |
251 |
--- src.orig/alice/tuprolog/PrimitiveManager.java 2007-04-23 10:10:38.000000000 +1200 |
252 |
+++ src/alice/tuprolog/PrimitiveManager.java 2007-06-08 07:44:07.000000000 +1200 |
253 |
@@ -87,7 +87,7 @@ |
254 |
* This involves identifying structs representing builtin |
255 |
* predicates and functors, and setting up related structures and links |
256 |
* |
257 |
- * @parm term the term to be identified |
258 |
+ * @param term the term to be identified |
259 |
* @return term with the identified built-in directive |
260 |
*/ |
261 |
public Term identifyDirective(Term term) { |
262 |
diff -ur src.orig/alice/tuprolog/lib/BasicLibrary.java src/alice/tuprolog/lib/BasicLibrary.java |
263 |
--- src.orig/alice/tuprolog/lib/BasicLibrary.java 2007-04-23 10:10:40.000000000 +1200 |
264 |
+++ src/alice/tuprolog/lib/BasicLibrary.java 2007-06-08 07:42:23.000000000 +1200 |
265 |
@@ -96,7 +96,7 @@ |
266 |
/** |
267 |
* Loads a library constructed from a theory. |
268 |
* |
269 |
- * @param theory theory text |
270 |
+ * @param th theory text |
271 |
* @param libName name of the library |
272 |
* @return true if the library has been succesfully loaded. |
273 |
*/ |
274 |
diff -ur src.orig/alice/tuprolog/lib/JavaLibrary.java src/alice/tuprolog/lib/JavaLibrary.java |
275 |
--- src.orig/alice/tuprolog/lib/JavaLibrary.java 2007-04-23 10:10:38.000000000 +1200 |
276 |
+++ src/alice/tuprolog/lib/JavaLibrary.java 2007-06-08 07:43:33.000000000 +1200 |
277 |
@@ -1226,7 +1226,6 @@ |
278 |
|
279 |
/** |
280 |
* Generates a fresh numeric identifier |
281 |
- * @return |
282 |
*/ |
283 |
protected Struct generateFreshId() { |
284 |
return new Struct("$obj_" + id++); |
285 |
diff -ur src.orig/alice/util/jedit/InputHandler.java src/alice/util/jedit/InputHandler.java |
286 |
--- src.orig/alice/util/jedit/InputHandler.java 2007-04-23 10:10:38.000000000 +1200 |
287 |
+++ src/alice/util/jedit/InputHandler.java 2007-06-07 21:20:15.000000000 +1200 |
288 |
@@ -24,7 +24,7 @@ |
289 |
* |
290 |
* @author Slava Pestov |
291 |
* @version $Id: tuprolog-2.1.1-javadocs.patch,v 1.1 2008/12/30 04:40:21 keri Exp $ |
292 |
- * @see org.gjt.sp.jedit.textarea.DefaultInputHandler |
293 |
+ * @see alice.util.jedit.DefaultInputHandler |
294 |
*/ |
295 |
public abstract class InputHandler extends KeyAdapter |
296 |
{ |
297 |
@@ -187,7 +187,7 @@ |
298 |
/** |
299 |
* Grabs the next key typed event and invokes the specified |
300 |
* action with the key as a the action command. |
301 |
- * @param action The action |
302 |
+ * @param listener The action |
303 |
*/ |
304 |
public void grabNextKeyStroke(ActionListener listener) |
305 |
{ |
306 |
diff -ur src.orig/alice/util/jedit/JEditTextArea.java src/alice/util/jedit/JEditTextArea.java |
307 |
--- src.orig/alice/util/jedit/JEditTextArea.java 2007-04-23 10:10:38.000000000 +1200 |
308 |
+++ src/alice/util/jedit/JEditTextArea.java 2007-06-07 21:19:06.000000000 +1200 |
309 |
@@ -1389,7 +1389,7 @@ |
310 |
|
311 |
/** |
312 |
* Sets if the selection should be rectangular. |
313 |
- * @param overwrite True if the selection should be rectangular, |
314 |
+ * @param rectSelect True if the selection should be rectangular, |
315 |
* false otherwise. |
316 |
*/ |
317 |
public final void setSelectionRectangular(boolean rectSelect) |
318 |
diff -ur src.orig/alice/util/jedit/KeywordMap.java src/alice/util/jedit/KeywordMap.java |
319 |
--- src.orig/alice/util/jedit/KeywordMap.java 2007-04-23 10:10:38.000000000 +1200 |
320 |
+++ src/alice/util/jedit/KeywordMap.java 2007-06-07 21:17:18.000000000 +1200 |
321 |
@@ -75,7 +75,7 @@ |
322 |
/** |
323 |
* Adds a key-value mapping. |
324 |
* @param keyword The key |
325 |
- * @Param id The value |
326 |
+ * @param id The value |
327 |
*/ |
328 |
public void add(String keyword, byte id) |
329 |
{ |
330 |
diff -ur src.orig/alice/util/jedit/TextAreaPainter.java src/alice/util/jedit/TextAreaPainter.java |
331 |
--- src.orig/alice/util/jedit/TextAreaPainter.java 2007-04-23 10:10:38.000000000 +1200 |
332 |
+++ src/alice/util/jedit/TextAreaPainter.java 2007-06-07 21:18:00.000000000 +1200 |
333 |
@@ -75,7 +75,7 @@ |
334 |
/** |
335 |
* Returns the syntax styles used to paint colorized text. Entry <i>n</i> |
336 |
* will be used to paint tokens with id = <i>n</i>. |
337 |
- * @see org.gjt.sp.jedit.syntax.Token |
338 |
+ * @see alice.util.jedit.Token |
339 |
*/ |
340 |
public final SyntaxStyle[] getStyles() |
341 |
{ |
342 |
@@ -86,7 +86,7 @@ |
343 |
* Sets the syntax styles used to paint colorized text. Entry <i>n</i> |
344 |
* will be used to paint tokens with id = <i>n</i>. |
345 |
* @param styles The syntax styles |
346 |
- * @see org.gjt.sp.jedit.syntax.Token |
347 |
+ * @see alice.util.jedit.Token |
348 |
*/ |
349 |
public final void setStyles(SyntaxStyle[] styles) |
350 |
{ |
351 |
@@ -356,7 +356,7 @@ |
352 |
|
353 |
/** |
354 |
* Repaints the text. |
355 |
- * @param g The graphics context |
356 |
+ * @param gfx The graphics context |
357 |
*/ |
358 |
public void paint(Graphics gfx) |
359 |
{ |
360 |
diff -ur src.orig/alice/util/jedit/TokenMarker.java src/alice/util/jedit/TokenMarker.java |
361 |
--- src.orig/alice/util/jedit/TokenMarker.java 2007-04-23 10:10:40.000000000 +1200 |
362 |
+++ src/alice/util/jedit/TokenMarker.java 2007-06-07 21:15:17.000000000 +1200 |
363 |
@@ -24,7 +24,7 @@ |
364 |
* @author Slava Pestov |
365 |
* @version $Id: tuprolog-2.1.1-javadocs.patch,v 1.1 2008/12/30 04:40:21 keri Exp $ |
366 |
* |
367 |
- * @see org.gjt.sp.jedit.syntax.Token |
368 |
+ * @see alice.util.jedit.Token |
369 |
*/ |
370 |
public abstract class TokenMarker |
371 |
{ |