| 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 |