equal
deleted
inserted
replaced
180 |
180 |
181 @Override |
181 @Override |
182 public int compareTo(SafePath that) { |
182 public int compareTo(SafePath that) { |
183 return that.text.compareTo(this.text); |
183 return that.text.compareTo(this.text); |
184 } |
184 } |
|
185 |
|
186 @Override |
|
187 public boolean equals(Object other) { |
|
188 if(other != null && other instanceof SafePath){ |
|
189 return this.toPath().equals(((SafePath) other).toPath()); |
|
190 } |
|
191 return false; |
|
192 } |
|
193 |
|
194 @Override |
|
195 public int hashCode() { |
|
196 return this.toPath().hashCode(); |
|
197 } |
185 } |
198 } |
186 |
199 |
187 private interface RunnableWithCheckedException { |
200 private interface RunnableWithCheckedException { |
188 public void run() throws Exception; |
201 public void run() throws Exception; |
189 } |
202 } |