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); |