summaryrefslogtreecommitdiff
path: root/src/fjbg
diff options
context:
space:
mode:
authorPaul Phillips <paulp@improving.org>2011-01-02 17:40:25 +0000
committerPaul Phillips <paulp@improving.org>2011-01-02 17:40:25 +0000
commit635bc9c17b0d35e9cf8029cf24aee8d3594a143f (patch)
tree7b7ca9282bd2c009f9c0e1c4c00ffb7eedf94802 /src/fjbg
parent533ffe9482c530489ad4f6670831b8d87f78193a (diff)
downloadscala-635bc9c17b0d35e9cf8029cf24aee8d3594a143f.tar.gz
scala-635bc9c17b0d35e9cf8029cf24aee8d3594a143f.tar.bz2
scala-635bc9c17b0d35e9cf8029cf24aee8d3594a143f.zip
Misc uninteresting tidbits to take some weight ...
Misc uninteresting tidbits to take some weight off overly large patches in progress. No review.
Diffstat (limited to 'src/fjbg')
-rw-r--r--src/fjbg/ch/epfl/lamp/fjbg/JMethodType.java12
-rw-r--r--src/fjbg/ch/epfl/lamp/fjbg/JObjectType.java9
2 files changed, 21 insertions, 0 deletions
diff --git a/src/fjbg/ch/epfl/lamp/fjbg/JMethodType.java b/src/fjbg/ch/epfl/lamp/fjbg/JMethodType.java
index 1d2952b84e..a0197de972 100644
--- a/src/fjbg/ch/epfl/lamp/fjbg/JMethodType.java
+++ b/src/fjbg/ch/epfl/lamp/fjbg/JMethodType.java
@@ -72,4 +72,16 @@ public class JMethodType extends JType {
public boolean isCompatibleWith(JType other) {
return false;
}
+ public boolean equals(Object o) {
+ if (o instanceof JMethodType)
+ return ((JMethodType)o).getSignature().equals(this.getSignature());
+ else
+ return false;
+ }
+ public int hashCode() {
+ if (signature == null)
+ return 0;
+ else
+ return signature.hashCode();
+ }
}
diff --git a/src/fjbg/ch/epfl/lamp/fjbg/JObjectType.java b/src/fjbg/ch/epfl/lamp/fjbg/JObjectType.java
index b8567e8d30..50ccae79c0 100644
--- a/src/fjbg/ch/epfl/lamp/fjbg/JObjectType.java
+++ b/src/fjbg/ch/epfl/lamp/fjbg/JObjectType.java
@@ -53,4 +53,13 @@ public class JObjectType extends JReferenceType {
return other instanceof JObjectType
|| other == JType.REFERENCE;
}
+ public boolean equals(Object o) {
+ if (o instanceof JObjectType)
+ return ((JObjectType)o).getSignature().equals(this.getSignature());
+ else
+ return false;
+ }
+ public int hashCode() {
+ return name.hashCode();
+ }
}