changeset 10517 | f92c9ff3a15f |
parent 5547 | f4b087cbb361 |
10516:2797e487c09f | 10517:f92c9ff3a15f |
---|---|
98 } |
98 } |
99 } |
99 } |
100 |
100 |
101 public int hashCode() { |
101 public int hashCode() { |
102 if (type == BasicType.getTObject()) { |
102 if (type == BasicType.getTObject()) { |
103 return handleValue.hashCode(); |
103 return handleValue != null ? handleValue.hashCode() : 5; |
104 } else { |
104 } else { |
105 // Returns 0 for conflict type |
105 // Returns 0 for conflict type |
106 return (int) integerValue; |
106 return (int) integerValue; |
107 } |
107 } |
108 } |
108 } |