Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(2524)

Unified Diff: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/index/Location.java

Issue 192363003: Translate Java's @Override into Dart's @override. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 6 years, 9 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « no previous file | editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/index/LocationWithData.java » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
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;
« no previous file with comments | « no previous file | editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/index/LocationWithData.java » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698