| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/SearchResult.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/SearchResult.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/SearchResult.java
|
| index 0cae181e838a1cc642a3e91e6365c51ee3f84181..d94101dc2d0784916493d6156ac3b7ea9fcaa205 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/SearchResult.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/SearchResult.java
|
| @@ -16,6 +16,8 @@ package com.google.dart.server;
|
| import com.google.dart.server.generated.types.Element;
|
| import com.google.dart.server.generated.types.Location;
|
|
|
| +import java.util.List;
|
| +
|
| /**
|
| * The interface {@code SearchResult} defines the behavior of objects that represent a search
|
| * result.
|
| @@ -48,7 +50,7 @@ public interface SearchResult {
|
| *
|
| * @return the path to this result
|
| */
|
| - public Element[] getPath();
|
| + public List<Element> getPath();
|
|
|
| /**
|
| * Return {@code true} is this search result is a potential reference to a class member.
|
|
|