( Object o )
| 110 | int hash() { return _type; } |
| 111 | |
| 112 | @Override |
| 113 | public final boolean equals( Object o ) { |
| 114 | if( o==this ) return true; |
| 115 | if( !(o instanceof Type t)) return false; |
| 116 | if( _type != t._type ) return false; |
| 117 | return eq(t); |
| 118 | } |
| 119 | // Overridden in subclasses; subclass can assume "this!=t" and java classes are same |
| 120 | boolean eq(Type t) { return true; } |
| 121 |