| 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 10a4f45e9746cdbb2b6b5ed01f12f8016dc06162..fd620125746d9ff39d3f3c3a660ffcdbd1cf9526 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
|
| @@ -74,6 +74,10 @@ public class Outline {
|
| this.children = children;
|
| }
|
|
|
| + public boolean containsInclusive(int x) {
|
| + return offset <= x && x <= offset + length;
|
| + }
|
| +
|
| @Override
|
| public boolean equals(Object obj) {
|
| if (obj instanceof Outline) {
|
|
|