equal
deleted
inserted
replaced
313 * A location identifying a class. |
313 * A location identifying a class. |
314 */ |
314 */ |
315 static class SimpleLocation implements Location { |
315 static class SimpleLocation implements Location { |
316 public SimpleLocation(String name) { |
316 public SimpleLocation(String name) { |
317 this.name = name; |
317 this.name = name; |
318 this.className = name.replace('/', '.').replace('$', '.'); |
318 this.className = name.replace('/', '.'); |
319 } |
319 } |
320 |
320 |
321 public String getName() { |
321 public String getName() { |
322 return name; |
322 return name; |
323 } |
323 } |