From: jjenista <jjenista>
Date: Mon, 23 Feb 2009 23:10:35 +0000 (+0000)
Subject: Add a doubleValue() method
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=de620450f46f578a673d77fdac479467d41946c2;p=IRC.git

Add a doubleValue() method
---

diff --git a/Robust/src/ClassLibrary/Integer.java b/Robust/src/ClassLibrary/Integer.java
index 0cc1bd90..c0439a9f 100644
--- a/Robust/src/ClassLibrary/Integer.java
+++ b/Robust/src/ClassLibrary/Integer.java
@@ -13,6 +13,10 @@ public class Integer {
     return value;
   }
 
+  public double doubleValue() {
+    return (double)value;
+  }
+
   public static int parseInt(String str) {
     return Integer.parseInt(str, 10);
   }