| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/index/LocationWithData.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/index/LocationWithData.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/index/LocationWithData.java
|
| index db126b1ec4ff907b4af1044ca05a6eb0ac4745d4..c945d3e0a73383d3be78c2ceae0902a53b0e0150 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/index/LocationWithData.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/index/LocationWithData.java
|
| @@ -32,15 +32,15 @@ public class LocationWithData<D> extends Location {
|
| this.data = data;
|
| }
|
|
|
| - @Override
|
| - public Location clone() {
|
| - return new LocationWithData<D>(getElement(), getOffset(), getLength(), data);
|
| - }
|
| -
|
| /**
|
| * @return the attached data.
|
| */
|
| public D getData() {
|
| return data;
|
| }
|
| +
|
| + @Override
|
| + public Location newClone() {
|
| + return new LocationWithData<D>(getElement(), getOffset(), getLength(), data);
|
| + }
|
| }
|
|
|