diff options
author | Paul Phillips <paulp@improving.org> | 2011-01-02 17:40:25 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-01-02 17:40:25 +0000 |
commit | 635bc9c17b0d35e9cf8029cf24aee8d3594a143f (patch) | |
tree | 7b7ca9282bd2c009f9c0e1c4c00ffb7eedf94802 /src/fjbg | |
parent | 533ffe9482c530489ad4f6670831b8d87f78193a (diff) | |
download | scala-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.java | 12 | ||||
-rw-r--r-- | src/fjbg/ch/epfl/lamp/fjbg/JObjectType.java | 9 |
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(); + } } |