| Index: editor/tools/plugins/com.google.dart.engine.services/src/com/google/dart/engine/services/completion/CompletionProposal.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine.services/src/com/google/dart/engine/services/completion/CompletionProposal.java b/editor/tools/plugins/com.google.dart.engine.services/src/com/google/dart/engine/services/completion/CompletionProposal.java
|
| index 52224e7035dc6c8fdd4373694aa6ded004468ecc..a52d33040b12e684914705a39a2a6d78e218b736 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine.services/src/com/google/dart/engine/services/completion/CompletionProposal.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine.services/src/com/google/dart/engine/services/completion/CompletionProposal.java
|
| @@ -13,6 +13,8 @@
|
| */
|
| package com.google.dart.engine.services.completion;
|
|
|
| +import com.google.dart.engine.element.Element;
|
| +
|
| public interface CompletionProposal {
|
|
|
| void applyPartitionOffset(int partitionOffset);
|
| @@ -21,6 +23,8 @@ public interface CompletionProposal {
|
|
|
| String getDeclaringType();
|
|
|
| + Element getElement();
|
| +
|
| ProposalKind getKind();
|
|
|
| int getLocation();
|
| @@ -55,6 +59,8 @@ public interface CompletionProposal {
|
|
|
| CompletionProposal setDeprecated(boolean deprecated);
|
|
|
| + CompletionProposal setElement(Element element);
|
| +
|
| CompletionProposal setKind(ProposalKind x);
|
|
|
| CompletionProposal setLocation(int x);
|
|
|