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 ResultConverter { | 13 class ResultConverter { |
14 /** | 14 /** |
15 * The decoder used to decode Json representations of server objects. | 15 * The decoder used to decode Json representations of server objects. |
(...skipping 67 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
83 | 83 |
84 server.RefactoringKind convertRefactoringKind( | 84 server.RefactoringKind convertRefactoringKind( |
85 plugin.RefactoringKind feedback) { | 85 plugin.RefactoringKind feedback) { |
86 return new server.RefactoringKind.fromJson(decoder, '', feedback.toJson()); | 86 return new server.RefactoringKind.fromJson(decoder, '', feedback.toJson()); |
87 } | 87 } |
88 | 88 |
89 server.SourceChange convertSourceChange(plugin.SourceChange change) { | 89 server.SourceChange convertSourceChange(plugin.SourceChange change) { |
90 return new server.SourceChange.fromJson(decoder, '', change.toJson()); | 90 return new server.SourceChange.fromJson(decoder, '', change.toJson()); |
91 } | 91 } |
92 } | 92 } |
OLD | NEW |