OLD | NEW |
1 // Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file | 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 | 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. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 import 'package:analysis_server/plugin/protocol/protocol.dart' as server; | 5 import 'package:analysis_server/protocol/protocol_generated.dart' as server; |
6 import 'package:analysis_server/src/protocol/protocol_internal.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; | 7 import 'package:analyzer_plugin/protocol/protocol_generated.dart' as plugin; |
8 | 8 |
9 /** | 9 /** |
10 * An object used to convert between similar objects defined by both the plugin | 10 * An object used to convert between similar objects defined by both the plugin |
11 * protocol and the server protocol. | 11 * protocol and the server protocol. |
12 */ | 12 */ |
13 class RequestConverter { | 13 class RequestConverter { |
14 plugin.AnalysisReanalyzeParams convertAnalysisReanalyzeParams( | 14 plugin.AnalysisReanalyzeParams convertAnalysisReanalyzeParams( |
15 server.AnalysisReanalyzeParams params) { | 15 server.AnalysisReanalyzeParams params) { |
(...skipping 47 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
63 } else if (overlay is server.RemoveContentOverlay) { | 63 } else if (overlay is server.RemoveContentOverlay) { |
64 return new plugin.RemoveContentOverlay(); | 64 return new plugin.RemoveContentOverlay(); |
65 } | 65 } |
66 return null; | 66 return null; |
67 } | 67 } |
68 | 68 |
69 plugin.SourceEdit convertSourceEdit(server.SourceEdit edit) { | 69 plugin.SourceEdit convertSourceEdit(server.SourceEdit edit) { |
70 return new plugin.SourceEdit(edit.offset, edit.length, edit.replacement); | 70 return new plugin.SourceEdit(edit.offset, edit.length, edit.replacement); |
71 } | 71 } |
72 } | 72 } |
OLD | NEW |