equal
deleted
inserted
replaced
95 } |
95 } |
96 } |
96 } |
97 |
97 |
98 /** @return true if both type objects refer to the same type |
98 /** @return true if both type objects refer to the same type |
99 */ |
99 */ |
|
100 @Override |
100 public boolean equals(Object type) { |
101 public boolean equals(Object type) { |
101 return (type instanceof BasicType)? |
102 return (type instanceof BasicType)? |
102 ((BasicType)type).type == this.type : false; |
103 ((BasicType)type).type == this.type : false; |
103 } |
104 } |
|
105 |
|
106 @Override |
|
107 public int hashCode() { |
|
108 return type; |
|
109 } |
104 } |
110 } |