| OLD | NEW |
| (Empty) | |
| 1 // Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. |
| 4 |
| 5 import 'package:analysis_server/plugin/protocol/protocol.dart' as server; |
| 6 import 'package:analysis_server/src/protocol/protocol_internal.dart' as server; |
| 7 import 'package:analyzer_plugin/protocol/protocol_generated.dart' as plugin; |
| 8 |
| 9 /** |
| 10 * An object used to convert between similar objects defined by both the plugin |
| 11 * protocol and the server protocol. |
| 12 */ |
| 13 class RequestConverter { |
| 14 plugin.AnalysisService convertAnalysisService( |
| 15 server.AnalysisService service) { |
| 16 return new plugin.AnalysisService(service.name); |
| 17 } |
| 18 |
| 19 Object convertFileOverlay(Object overlay) { |
| 20 if (overlay is server.AddContentOverlay) { |
| 21 return new plugin.AddContentOverlay(overlay.content); |
| 22 } else if (overlay is server.ChangeContentOverlay) { |
| 23 return new plugin.ChangeContentOverlay( |
| 24 overlay.edits.map(convertSourceEdit).toList()); |
| 25 } else if (overlay is server.RemoveContentOverlay) { |
| 26 return new plugin.RemoveContentOverlay(); |
| 27 } |
| 28 return null; |
| 29 } |
| 30 |
| 31 plugin.SourceEdit convertSourceEdit(server.SourceEdit edit) { |
| 32 return new plugin.SourceEdit(edit.offset, edit.length, edit.replacement); |
| 33 } |
| 34 } |
| OLD | NEW |