| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/index/Location.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/index/Location.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/index/Location.java
|
| index 57e19af994a7ca7e77052db3483716a66944bb67..acd42ddf327a91c343848365098dde11c8b83f93 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/index/Location.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/index/Location.java
|
| @@ -66,11 +66,6 @@ public class Location {
|
| this.length = length;
|
| }
|
|
|
| - @Override
|
| - public Location clone() {
|
| - return new Location(element, offset, length);
|
| - }
|
| -
|
| /**
|
| * @return the {@link Element} containing this location.
|
| */
|
| @@ -96,6 +91,13 @@ public class Location {
|
| return offset;
|
| }
|
|
|
| + /**
|
| + * Returns a clone of this {@link Location}.
|
| + */
|
| + public Location newClone() {
|
| + return new Location(element, offset, length);
|
| + }
|
| +
|
| @Override
|
| public String toString() {
|
| return "[" + offset + " - " + (offset + length) + ") in " + element;
|
|
|