(final Object obj)
| 212 | } |
| 213 | |
| 214 | @Override |
| 215 | public boolean equals(final Object obj) { |
| 216 | if(this == obj) return true; |
| 217 | if(!(obj instanceof final TokenSet ts)) return false; |
| 218 | if(size != ts.size) return false; |
| 219 | for(int k = 1; k <= size; k++) { |
| 220 | if(!Token.eq(keys[k], ts.keys[k])) return false; |
| 221 | } |
| 222 | return true; |
| 223 | } |
| 224 | |
| 225 | @Override |
| 226 | public String toString() { |
no test coverage detected