bug fixing

[IRC.git] / Robust / src / ClassLibrary / Integer.java

diff --git a/Robust/src/ClassLibrary/Integer.java b/Robust/src/ClassLibrary/Integer.java
index b287800fd6c1a0ac9f6fbc31837e02fe3d32ce2b..523acb2b2e7abf876834da943cb7e126f45f4061 100644 (file)
--- a/Robust/src/ClassLibrary/Integer.java
+++ b/Robust/src/ClassLibrary/Integer.java
@@ -57,4 +57,17 @@ public class Integer {
   public String toString() {
     return String.valueOf(value);
   }
+  
+  public int hashCode() {
+      return value;
+  }
+
+  public boolean equals(Object o) {
+      if (o.getType()!=getType())
+         return false;
+      Integer s=(Integer)o;
+      if (s.intValue()!=this.value)
+         return false;
+      return true;
+  }
 }