| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/index/IndexImpl.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/index/IndexImpl.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/index/IndexImpl.java
|
| index 61acae0973949bbd31faa26445c977f62e5a2883..3985f0b3b5892ed7f62f9f588a2e1cd12e407b4f 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/index/IndexImpl.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/index/IndexImpl.java
|
| @@ -31,12 +31,14 @@ import com.google.dart.engine.internal.index.operation.RemoveSourceOperation;
|
| import com.google.dart.engine.internal.index.operation.RemoveSourcesOperation;
|
| import com.google.dart.engine.source.Source;
|
| import com.google.dart.engine.source.SourceContainer;
|
| +import com.google.dart.engine.utilities.translation.DartOmit;
|
|
|
| /**
|
| * Implementation of {@link Index}.
|
| *
|
| * @coverage dart.engine.index
|
| */
|
| +@DartOmit
|
| public class IndexImpl implements Index {
|
| private final IndexStore store;
|
| private final OperationQueue queue;
|
|
|