equal
deleted
inserted
replaced
169 } |
169 } |
170 |
170 |
171 public String toString() { |
171 public String toString() { |
172 return text; |
172 return text; |
173 } |
173 } |
|
174 |
|
175 @Override |
|
176 public boolean equals(Object other) { |
|
177 if(other != null && other instanceof SafePath){ |
|
178 return this.toPath().equals(((SafePath) other).toPath()); |
|
179 } |
|
180 return false; |
|
181 } |
|
182 |
|
183 @Override |
|
184 public int hashCode() { |
|
185 return this.toPath().hashCode(); |
|
186 } |
174 } |
187 } |
175 |
188 |
176 private interface RunnableWithCheckedException { |
189 private interface RunnableWithCheckedException { |
177 public void run() throws Exception; |
190 public void run() throws Exception; |
178 } |
191 } |