diff options
Diffstat (limited to 'third_party/checker_framework_javacutil/java/org/checkerframework/javacutil/Pair.java')
-rw-r--r-- | third_party/checker_framework_javacutil/java/org/checkerframework/javacutil/Pair.java | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/third_party/checker_framework_javacutil/java/org/checkerframework/javacutil/Pair.java b/third_party/checker_framework_javacutil/java/org/checkerframework/javacutil/Pair.java index 0d8a862f08..779c9b34ec 100644 --- a/third_party/checker_framework_javacutil/java/org/checkerframework/javacutil/Pair.java +++ b/third_party/checker_framework_javacutil/java/org/checkerframework/javacutil/Pair.java @@ -36,21 +36,18 @@ public class Pair<V1, V2> { public int hashCode() { if (hashCode == -1) { hashCode = 31; - if (first != null) { + if (first != null) hashCode += 17 * first.hashCode(); - } - if (second != null) { + if (second != null) hashCode += 17 * second.hashCode(); - } } return hashCode; } @Override public boolean equals(Object o) { - if (!(o instanceof Pair)) { + if (!(o instanceof Pair)) return false; - } @SuppressWarnings("unchecked") Pair<V1, V2> other = (Pair<V1, V2>) o; if (this.first == null) { |