diff options
author | Keri Harris <keri@gentoo.org> | 2009-02-28 21:41:14 +0000 |
---|---|---|
committer | Keri Harris <keri@gentoo.org> | 2009-02-28 21:41:14 +0000 |
commit | c308c0fa681f1d47659016f8482d006f3ab6e227 (patch) | |
tree | 1e2f3f856e0049400eda85fe2c7a112fbebacf9e /dev-lang/tuprolog/files | |
parent | More documentation building fixes: added graphviz dependency, and applied pat... (diff) | |
download | gentoo-2-c308c0fa681f1d47659016f8482d006f3ab6e227.tar.gz gentoo-2-c308c0fa681f1d47659016f8482d006f3ab6e227.tar.bz2 gentoo-2-c308c0fa681f1d47659016f8482d006f3ab6e227.zip |
Remove old version
(Portage version: 2.1.6.7/cvs/Linux x86_64)
Diffstat (limited to 'dev-lang/tuprolog/files')
-rw-r--r-- | dev-lang/tuprolog/files/tuprolog-2.1-DCGLibrary.patch | 12 | ||||
-rw-r--r-- | dev-lang/tuprolog/files/tuprolog-2.1-java1.4.patch | 180 | ||||
-rw-r--r-- | dev-lang/tuprolog/files/tuprolog-2.1-javadocs.patch | 165 | ||||
-rw-r--r-- | dev-lang/tuprolog/files/tuprolog-2.1-junit.patch | 13 |
4 files changed, 0 insertions, 370 deletions
diff --git a/dev-lang/tuprolog/files/tuprolog-2.1-DCGLibrary.patch b/dev-lang/tuprolog/files/tuprolog-2.1-DCGLibrary.patch deleted file mode 100644 index 740d2471b456..000000000000 --- a/dev-lang/tuprolog/files/tuprolog-2.1-DCGLibrary.patch +++ /dev/null @@ -1,12 +0,0 @@ ---- src.orig/alice/tuprolog/lib/DCGLibrary.java 2007-11-10 07:00:33.000000000 +1300 -+++ src/alice/tuprolog/lib/DCGLibrary.java 2007-11-10 07:03:21.000000000 +1300 -@@ -36,7 +36,8 @@ - //
- // operators defined by the BasicLibrary theory
- //
-- ":- op( 1200, xfx, '-->'). \n"+
-+ ":- op(1200, xfx, '-->'). \n" +
-+ ":- op(200, xfx, '\\'). \n" +
- "dcg_nonterminal(X) :- list(X),!,fail. \n"+
- "dcg_nonterminal(_). \n"+
- "dcg_terminals(Xs) :- list(Xs). \n"+
diff --git a/dev-lang/tuprolog/files/tuprolog-2.1-java1.4.patch b/dev-lang/tuprolog/files/tuprolog-2.1-java1.4.patch deleted file mode 100644 index 89324fcb7103..000000000000 --- a/dev-lang/tuprolog/files/tuprolog-2.1-java1.4.patch +++ /dev/null @@ -1,180 +0,0 @@ -diff -ur src.orig/alice/tuprologx/ide/AWTFrameLauncher.java src/alice/tuprologx/ide/AWTFrameLauncher.java ---- src.orig/alice/tuprologx/ide/AWTFrameLauncher.java 2007-04-23 10:10:38.000000000 +1200 -+++ src/alice/tuprologx/ide/AWTFrameLauncher.java 2007-06-08 19:43:27.000000000 +1200 -@@ -88,7 +88,7 @@ - height = Math.min(height, screenSize.height);
- setBounds((screenSize.width - width) / 2, (screenSize.height - height) / 2, width, height);
- }
-- show();
-+ setVisible(true);
- }
-
- public void update(Graphics g) {
-@@ -117,4 +117,4 @@ -
- } // end AWTFrame class
-
--} // end AWTFrameLauncher class -\ No newline at end of file -+} // end AWTFrameLauncher class -diff -ur src.orig/alice/tuprologx/ide/Applet.java src/alice/tuprologx/ide/Applet.java ---- src.orig/alice/tuprologx/ide/Applet.java 2007-04-23 10:10:38.000000000 +1200 -+++ src/alice/tuprologx/ide/Applet.java 2007-06-08 19:47:00.000000000 +1200 -@@ -41,7 +41,7 @@ - ide.removeWindowListener(listeners[i]);
-
- ide.pack();
-- ide.show();
-+ ide.setVisible(true);
- }
-
--} // end Applet class -\ No newline at end of file -+} // end Applet class -diff -ur src.orig/alice/tuprologx/ide/DotNetIOManager.java src/alice/tuprologx/ide/DotNetIOManager.java ---- src.orig/alice/tuprologx/ide/DotNetIOManager.java 2007-04-23 10:10:38.000000000 +1200 -+++ src/alice/tuprologx/ide/DotNetIOManager.java 2007-06-08 19:46:43.000000000 +1200 -@@ -46,7 +46,7 @@ - FileDialog dialog = new FileDialog(parent, "Load Theory", FileDialog.LOAD);
- dialog.setDirectory(currentLoadDirectory);
- dialog.setFile("*.pro");
-- dialog.show();
-+ dialog.setVisible(true);
- String directory = dialog.getDirectory();
- currentLoadDirectory = directory;
- String fileName = dialog.getFile();
-@@ -61,7 +61,7 @@ - public String saveTheoryAs(String theory) throws Exception {
- FileDialog dialog = new FileDialog(parent, "Save Theory As...", FileDialog.SAVE);
- dialog.setDirectory(currentSaveDirectory);
-- dialog.show();
-+ dialog.setVisible(true);
- String directory = dialog.getDirectory();
- currentSaveDirectory = directory;
- String fileName = dialog.getFile();
-@@ -72,4 +72,4 @@ - return "";
- }
-
--} // end DotNetIOManager class -\ No newline at end of file -+} // end DotNetIOManager class -diff -ur src.orig/alice/tuprologx/ide/GUILauncher.java src/alice/tuprologx/ide/GUILauncher.java ---- src.orig/alice/tuprologx/ide/GUILauncher.java 2007-04-23 10:10:38.000000000 +1200 -+++ src/alice/tuprologx/ide/GUILauncher.java 2007-06-08 19:48:08.000000000 +1200 -@@ -74,7 +74,7 @@ - private void launchDotNetGUI() {
- DotNetIDE ide = new DotNetIDE();
- ide.pack();
-- ide.show();
-+ ide.setVisible(true);
- }
-
- /**
-@@ -99,4 +99,4 @@ - launcher.launchJavaGUI();
- }
-
--} // end GUILauncher class -\ No newline at end of file -+} // end GUILauncher class -diff -ur src.orig/alice/util/jedit/JEditTextArea.java src/alice/util/jedit/JEditTextArea.java ---- src.orig/alice/util/jedit/JEditTextArea.java 2007-04-23 10:10:38.000000000 +1200 -+++ src/alice/util/jedit/JEditTextArea.java 2007-06-08 19:41:59.000000000 +1200 -@@ -115,10 +115,10 @@ - * Returns if this component can be traversed by pressing - * the Tab key. This returns false. - */ -- public final boolean isManagingFocus() -+ /*public final boolean isManagingFocus() - { - return true; -- } -+ }*/ - - /** - * Returns the object responsible for painting this text area. -@@ -507,7 +507,7 @@ - if(id == Token.NULL) - fm = painter.getFontMetrics(); - else -- fm = styles[id].getFontMetrics(defaultFont); -+ fm = styles[id].getFontMetrics(painter, defaultFont); - - int length = tokens.length; - -@@ -604,7 +604,7 @@ - if(id == Token.NULL) - fm = painter.getFontMetrics(); - else -- fm = styles[id].getFontMetrics(defaultFont); -+ fm = styles[id].getFontMetrics(painter, defaultFont); - - int length = tokens.length; - -diff -ur src.orig/alice/util/jedit/SyntaxStyle.java src/alice/util/jedit/SyntaxStyle.java ---- src.orig/alice/util/jedit/SyntaxStyle.java 2007-04-23 10:10:40.000000000 +1200 -+++ src/alice/util/jedit/SyntaxStyle.java 2007-06-08 19:32:46.000000000 +1200 -@@ -9,6 +9,7 @@ - package alice.util.jedit; - - import java.awt.*; -+import javax.swing.*; - import java.util.StringTokenizer; - - /** -@@ -86,7 +87,7 @@ - /** - * Returns the font metrics for the styled font. - */ -- public FontMetrics getFontMetrics(Font font) -+ public FontMetrics getFontMetrics(JComponent component, Font font) - { - if(font == null) - throw new NullPointerException("font param must not" -@@ -98,7 +99,7 @@ - (bold ? Font.BOLD : 0) - | (italic ? Font.ITALIC : 0), - font.getSize()); -- fontMetrics = Toolkit.getDefaultToolkit().getFontMetrics( -+ fontMetrics = component.getFontMetrics( - lastStyledFont); - return fontMetrics; - } -diff -ur src.orig/alice/util/jedit/TextAreaPainter.java src/alice/util/jedit/TextAreaPainter.java ---- src.orig/alice/util/jedit/TextAreaPainter.java 2007-04-23 10:10:38.000000000 +1200 -+++ src/alice/util/jedit/TextAreaPainter.java 2007-06-08 19:38:19.000000000 +1200 -@@ -67,10 +67,10 @@ - * Returns if this component can be traversed by pressing the - * Tab key. This returns false. - */ -- public final boolean isManagingFocus() -+ /*public final boolean isManagingFocus() - { - return false; -- } -+ }*/ - - /** - * Returns the syntax styles used to paint colorized text. Entry <i>n</i> -@@ -350,7 +350,7 @@ - public void setFont(Font font) - { - super.setFont(font); -- fm = Toolkit.getDefaultToolkit().getFontMetrics(font); -+ fm = getFontMetrics(font); - textArea.recalculateVisibleLines(); - } - -diff -ur src.orig/alice/util/thinlet/Thinlet.java src/alice/util/thinlet/Thinlet.java ---- src.orig/alice/util/thinlet/Thinlet.java 2007-04-23 10:10:40.000000000 +1200 -+++ src/alice/util/thinlet/Thinlet.java 2007-06-08 19:49:17.000000000 +1200 -@@ -2157,7 +2157,7 @@ - *
- * @return true as focus-transverable component, overwrites the default false value
- */
-- public boolean isFocusTraversable() {
-+ public boolean isFocusable() {
- return true;
- }
-
diff --git a/dev-lang/tuprolog/files/tuprolog-2.1-javadocs.patch b/dev-lang/tuprolog/files/tuprolog-2.1-javadocs.patch deleted file mode 100644 index 65bd7fc48500..000000000000 --- a/dev-lang/tuprolog/files/tuprolog-2.1-javadocs.patch +++ /dev/null @@ -1,165 +0,0 @@ -diff -ur src.orig/alice/tuprolog/ChoicePointStore.java src/alice/tuprolog/ChoicePointStore.java ---- src.orig/alice/tuprolog/ChoicePointStore.java 2007-04-23 10:10:38.000000000 +1200 -+++ src/alice/tuprolog/ChoicePointStore.java 2007-06-08 07:46:21.000000000 +1200 -@@ -35,7 +35,6 @@ -
- /**
- * Return the actual choice-point store
-- * @return
- */
- public ChoicePointContext getPointer() {
- return pointer;
-@@ -44,7 +43,6 @@ - /**
- * Check if a choice point exists in the store.
- * As a side effect, removes choice points which have been already used and are now empty.
-- * @return
- */
- protected boolean existChoicePoint() {
- if (pointer == null) return false;
-diff -ur src.orig/alice/tuprolog/ClauseStore.java src/alice/tuprolog/ClauseStore.java ---- src.orig/alice/tuprolog/ClauseStore.java 2007-04-23 10:10:38.000000000 +1200 -+++ src/alice/tuprolog/ClauseStore.java 2007-06-08 07:45:36.000000000 +1200 -@@ -58,8 +58,6 @@ - - /** - * Verify if there is a term in compatibleGoals compatible with goal. -- * @param goal -- * @param compGoals - * @return true if compatible or false otherwise. - */ - protected boolean existCompatibleClause() { -diff -ur src.orig/alice/tuprolog/EngineManager.java src/alice/tuprolog/EngineManager.java ---- src.orig/alice/tuprolog/EngineManager.java 2007-04-23 10:10:40.000000000 +1200 -+++ src/alice/tuprolog/EngineManager.java 2007-06-08 07:44:50.000000000 +1200 -@@ -85,7 +85,7 @@ - /**
- * Solves a query
- *
-- * @param g the term representing the goal to be demonstrated
-+ * @param query the term representing the goal to be demonstrated
- * @return the result of the demonstration
- * @see SolveInfo
- **/
-diff -ur src.orig/alice/tuprolog/PrimitiveManager.java src/alice/tuprolog/PrimitiveManager.java ---- src.orig/alice/tuprolog/PrimitiveManager.java 2007-04-23 10:10:38.000000000 +1200 -+++ src/alice/tuprolog/PrimitiveManager.java 2007-06-08 07:44:07.000000000 +1200 -@@ -87,7 +87,7 @@ - * This involves identifying structs representing builtin - * predicates and functors, and setting up related structures and links - * -- * @parm term the term to be identified -+ * @param term the term to be identified - * @return term with the identified built-in directive - */ - public Term identifyDirective(Term term) { -diff -ur src.orig/alice/tuprolog/lib/BasicLibrary.java src/alice/tuprolog/lib/BasicLibrary.java ---- src.orig/alice/tuprolog/lib/BasicLibrary.java 2007-04-23 10:10:40.000000000 +1200 -+++ src/alice/tuprolog/lib/BasicLibrary.java 2007-06-08 07:42:23.000000000 +1200 -@@ -96,7 +96,7 @@ - /**
- * Loads a library constructed from a theory.
- *
-- * @param theory theory text
-+ * @param th theory text
- * @param libName name of the library
- * @return true if the library has been succesfully loaded.
- */
-diff -ur src.orig/alice/tuprolog/lib/JavaLibrary.java src/alice/tuprolog/lib/JavaLibrary.java ---- src.orig/alice/tuprolog/lib/JavaLibrary.java 2007-04-23 10:10:38.000000000 +1200 -+++ src/alice/tuprolog/lib/JavaLibrary.java 2007-06-08 07:43:33.000000000 +1200 -@@ -1226,7 +1226,6 @@ - - /** - * Generates a fresh numeric identifier -- * @return - */ - protected Struct generateFreshId() { - return new Struct("$obj_" + id++); -diff -ur src.orig/alice/util/jedit/InputHandler.java src/alice/util/jedit/InputHandler.java ---- src.orig/alice/util/jedit/InputHandler.java 2007-04-23 10:10:38.000000000 +1200 -+++ src/alice/util/jedit/InputHandler.java 2007-06-07 21:20:15.000000000 +1200 -@@ -24,7 +24,7 @@ - * - * @author Slava Pestov - * @version $Id: InputHandler.java,v 1.14 1999/12/13 03:40:30 sp Exp $ -- * @see org.gjt.sp.jedit.textarea.DefaultInputHandler -+ * @see alice.util.jedit.DefaultInputHandler - */ - public abstract class InputHandler extends KeyAdapter - { -@@ -187,7 +187,7 @@ - /** - * Grabs the next key typed event and invokes the specified - * action with the key as a the action command. -- * @param action The action -+ * @param listener The action - */ - public void grabNextKeyStroke(ActionListener listener) - { -diff -ur src.orig/alice/util/jedit/JEditTextArea.java src/alice/util/jedit/JEditTextArea.java ---- src.orig/alice/util/jedit/JEditTextArea.java 2007-04-23 10:10:38.000000000 +1200 -+++ src/alice/util/jedit/JEditTextArea.java 2007-06-07 21:19:06.000000000 +1200 -@@ -1389,7 +1389,7 @@ - - /** - * Sets if the selection should be rectangular. -- * @param overwrite True if the selection should be rectangular, -+ * @param rectSelect True if the selection should be rectangular, - * false otherwise. - */ - public final void setSelectionRectangular(boolean rectSelect) -diff -ur src.orig/alice/util/jedit/KeywordMap.java src/alice/util/jedit/KeywordMap.java ---- src.orig/alice/util/jedit/KeywordMap.java 2007-04-23 10:10:38.000000000 +1200 -+++ src/alice/util/jedit/KeywordMap.java 2007-06-07 21:17:18.000000000 +1200 -@@ -75,7 +75,7 @@ - /** - * Adds a key-value mapping. - * @param keyword The key -- * @Param id The value -+ * @param id The value - */ - public void add(String keyword, byte id) - { -diff -ur src.orig/alice/util/jedit/TextAreaPainter.java src/alice/util/jedit/TextAreaPainter.java ---- src.orig/alice/util/jedit/TextAreaPainter.java 2007-04-23 10:10:38.000000000 +1200 -+++ src/alice/util/jedit/TextAreaPainter.java 2007-06-07 21:18:00.000000000 +1200 -@@ -75,7 +75,7 @@ - /** - * Returns the syntax styles used to paint colorized text. Entry <i>n</i> - * will be used to paint tokens with id = <i>n</i>. -- * @see org.gjt.sp.jedit.syntax.Token -+ * @see alice.util.jedit.Token - */ - public final SyntaxStyle[] getStyles() - { -@@ -86,7 +86,7 @@ - * Sets the syntax styles used to paint colorized text. Entry <i>n</i> - * will be used to paint tokens with id = <i>n</i>. - * @param styles The syntax styles -- * @see org.gjt.sp.jedit.syntax.Token -+ * @see alice.util.jedit.Token - */ - public final void setStyles(SyntaxStyle[] styles) - { -@@ -356,7 +356,7 @@ - - /** - * Repaints the text. -- * @param g The graphics context -+ * @param gfx The graphics context - */ - public void paint(Graphics gfx) - { -diff -ur src.orig/alice/util/jedit/TokenMarker.java src/alice/util/jedit/TokenMarker.java ---- src.orig/alice/util/jedit/TokenMarker.java 2007-04-23 10:10:40.000000000 +1200 -+++ src/alice/util/jedit/TokenMarker.java 2007-06-07 21:15:17.000000000 +1200 -@@ -24,7 +24,7 @@ - * @author Slava Pestov - * @version $Id: TokenMarker.java,v 1.32 1999/12/13 03:40:30 sp Exp $ - * -- * @see org.gjt.sp.jedit.syntax.Token -+ * @see alice.util.jedit.Token - */ - public abstract class TokenMarker - { diff --git a/dev-lang/tuprolog/files/tuprolog-2.1-junit.patch b/dev-lang/tuprolog/files/tuprolog-2.1-junit.patch deleted file mode 100644 index b8650114b725..000000000000 --- a/dev-lang/tuprolog/files/tuprolog-2.1-junit.patch +++ /dev/null @@ -1,13 +0,0 @@ ---- test.orig/unit/alice/tuprolog/ParserTestCase.java 2007-04-23 10:11:04.000000000 +1200 -+++ test/unit/alice/tuprolog/ParserTestCase.java 2007-07-22 14:23:06.000000000 +1200 -@@ -45,8 +45,8 @@ - }
-
- public void testListWithTail() throws InvalidTermException {
-- Parser p = new Parser("[p|Y]");
-- Struct result = new Struct(new Struct("p"), new Var("Y"));
-+ Parser p = new Parser("[p|[q,r,s]]");
-+ Struct result = new Struct(new Struct("p"), new Struct(new Term[] {new Struct("q"), new Struct("r"), new Struct("s")}));
- result.resolveTerm();
- assertEquals(result, p.nextTerm(false));
- }
|