| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/index/IndexFactory.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/index/IndexFactory.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/index/IndexFactory.java
|
| index e6068d42c8d3136109beea3f3a9d918c20a30658..37907814e254820ccc0705362828fa81b261c49f 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/index/IndexFactory.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/index/IndexFactory.java
|
| @@ -17,12 +17,14 @@ import com.google.dart.engine.internal.index.IndexImpl;
|
| import com.google.dart.engine.internal.index.MemoryIndexStoreImpl;
|
| import com.google.dart.engine.internal.index.operation.OperationProcessor;
|
| import com.google.dart.engine.internal.index.operation.OperationQueue;
|
| +import com.google.dart.engine.utilities.translation.DartOmit;
|
|
|
| /**
|
| * Factory for {@link Index} and {@link IndexStore}.
|
| *
|
| * @coverage dart.engine.index
|
| */
|
| +@DartOmit
|
| public class IndexFactory {
|
| /**
|
| * @return the new instance of {@link Index} which uses given {@link IndexStore}.
|
|
|