Use autoboxing when converting Integer, Double to Java

2 files changed, 2 insertions, 16 deletions

diff --git a/src/lang/DoubleTerm.java b/src/lang/DoubleTerm.java
index bede317..337f5dd 100644
--- a/src/lang/DoubleTerm.java
+++ b/src/lang/DoubleTerm.java
@@ -53,7 +53,7 @@ public class DoubleTerm extends NumberTerm {
      * @return a <code>java.lang.Double</code> object equivalent to
      * this <code>DoubleTerm</code>.
      */
-    public Object toJava() { return new Double(this.val); }
+    public Object toJava() { return Double.valueOf(val); }
 
     /* Object */
     /** Returns a string representation of this <code>DoubleTerm</code>. */
diff --git a/src/lang/IntegerTerm.java b/src/lang/IntegerTerm.java
index b3a09f2..f79899f 100644
--- a/src/lang/IntegerTerm.java
+++ b/src/lang/IntegerTerm.java
@@ -20,20 +20,6 @@ public class IntegerTerm extends NumberTerm {
     public IntegerTerm(int i) {	val = i; }
 
     /**
-     * Constructs a new Prolog integer that represents integer value 
-     * of specified <code>String</code> parameter.
-     * @exception NumberFormatException
-     * if the <code>String</code> does not contain a parsable integer.
-     */
-    public IntegerTerm(String i) {
-	try {
-	    val = Integer.parseInt(i);
-	} catch (NumberFormatException e) {
-	    throw e;
-	}
-    }
-
-    /**
      * Returns the value of <code>val</code>.
      * @see #val
      */
@@ -64,7 +50,7 @@ public class IntegerTerm extends NumberTerm {
      * @return a <code>java.lang.Integer</code> object equivalent to
      * this <code>IntegerTerm</code>.
      */
-    public Object toJava() { return new Integer(this.val); }
+    public Object toJava() { return Integer.valueOf(val); }
 
     /* Object */
     /** Returns a string representation of this <code>IntegerTerm</code>. */