| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/processor/SearchIdProcessor.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/processor/SearchIdProcessor.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/processor/SearchIdProcessor.java
|
| deleted file mode 100644
|
| index 6f1ffe554730313a3be61a442424a333d1bfe893..0000000000000000000000000000000000000000
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/remote/processor/SearchIdProcessor.java
|
| +++ /dev/null
|
| @@ -1,38 +0,0 @@
|
| -/*
|
| - * Copyright (c) 2014, the Dart project authors.
|
| - *
|
| - * Licensed under the Eclipse Public License v1.0 (the "License"); you may not use this file except
|
| - * in compliance with the License. You may obtain a copy of the License at
|
| - *
|
| - * http://www.eclipse.org/legal/epl-v10.html
|
| - *
|
| - * Unless required by applicable law or agreed to in writing, software distributed under the License
|
| - * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
|
| - * or implied. See the License for the specific language governing permissions and limitations under
|
| - * the License.
|
| - */
|
| -package com.google.dart.server.internal.remote.processor;
|
| -
|
| -import com.google.dart.server.SearchIdConsumer;
|
| -import com.google.gson.JsonElement;
|
| -import com.google.gson.JsonObject;
|
| -
|
| -/**
|
| - * Instances of {@code SearchIdProcessor} translate JSON result objects for a given
|
| - * {@link SearchIdConsumer}.
|
| - *
|
| - * @coverage dart.server.remote
|
| - */
|
| -public class SearchIdProcessor extends ResultProcessor {
|
| -
|
| - private final SearchIdConsumer consumer;
|
| -
|
| - public SearchIdProcessor(SearchIdConsumer consumer) {
|
| - this.consumer = consumer;
|
| - }
|
| -
|
| - public void process(JsonObject resultObject) {
|
| - JsonElement jsonElement = resultObject.get("id");
|
| - consumer.computedSearchId(jsonElement != null ? jsonElement.getAsString() : null);
|
| - }
|
| -}
|
|
|