summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKeri Harris <keri@gentoo.org>2009-02-28 21:41:14 +0000
committerKeri Harris <keri@gentoo.org>2009-02-28 21:41:14 +0000
commitc308c0fa681f1d47659016f8482d006f3ab6e227 (patch)
tree1e2f3f856e0049400eda85fe2c7a112fbebacf9e /dev-lang/tuprolog/files
parentMore documentation building fixes: added graphviz dependency, and applied pat... (diff)
downloadgentoo-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.patch12
-rw-r--r--dev-lang/tuprolog/files/tuprolog-2.1-java1.4.patch180
-rw-r--r--dev-lang/tuprolog/files/tuprolog-2.1-javadocs.patch165
-rw-r--r--dev-lang/tuprolog/files/tuprolog-2.1-junit.patch13
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));
- }