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

Unified Diff: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Outline.java

Issue 813353003: Update existing Outline objects with new location information. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 6 years 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.tools.ui/src/com/google/dart/tools/ui/internal/text/editor/DartOutlinePage_NEW.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.server/src/com/google/dart/server/generated/types/Outline.java
diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Outline.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Outline.java
index c811e38ad6bd0dde5c6759683a4015cf36d20e4c..5a6576fd82aa96e9ccf013105e2b444b67a35946 100644
--- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Outline.java
+++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Outline.java
@@ -46,19 +46,19 @@ public class Outline {
/**
* A description of the element represented by this node.
*/
- private final Element element;
+ private Element element;
/**
* The offset of the first character of the element. This is different than the offset in the
* Element, which if the offset of the name of the element. It can be used, for example, to map
* locations in the file back to an outline.
*/
- private final int offset;
+ private int offset;
/**
* The length of the element.
*/
- private final int length;
+ private int length;
private final Outline parent;
@@ -158,10 +158,36 @@ public class Outline {
return builder.toHashCode();
}
+ /**
+ * The children of the node. The field will be omitted if the node has no children.
+ */
public void setChildren(List<Outline> children) {
this.children = children;
}
+ /**
+ * A description of the element represented by this node.
+ */
+ public void setElement(Element element) {
+ this.element = element;
+ }
+
+ /**
+ * The length of the element.
+ */
+ public void setLength(int length) {
+ this.length = length;
+ }
+
+ /**
+ * The offset of the first character of the element. This is different than the offset in the
+ * Element, which if the offset of the name of the element. It can be used, for example, to map
+ * locations in the file back to an outline.
+ */
+ public void setOffset(int offset) {
+ this.offset = offset;
+ }
+
@Override
public String toString() {
StringBuilder builder = new StringBuilder();
« no previous file with comments | « no previous file | editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/editor/DartOutlinePage_NEW.java » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698