| OLD | NEW |
| 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2014, 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 library domain.edit; | 5 library domain.edit; |
| 6 | 6 |
| 7 import 'package:analysis_server/src/analysis_server.dart'; | 7 import 'package:analysis_server/src/analysis_server.dart'; |
| 8 import 'package:analysis_server/src/constants.dart'; | 8 import 'package:analysis_server/src/constants.dart'; |
| 9 import 'package:analysis_server/src/protocol.dart'; | 9 import 'package:analysis_server/src/protocol.dart'; |
| 10 import 'package:analysis_services/constants.dart'; |
| 10 | 11 |
| 11 /** | 12 /** |
| 12 * Instances of the class [EditDomainHandler] implement a [RequestHandler] | 13 * Instances of the class [EditDomainHandler] implement a [RequestHandler] |
| 13 * that handles requests in the edit domain. | 14 * that handles requests in the edit domain. |
| 14 */ | 15 */ |
| 15 class EditDomainHandler implements RequestHandler { | 16 class EditDomainHandler implements RequestHandler { |
| 16 /** | 17 /** |
| 17 * The analysis server that is using this handler to process requests. | 18 * The analysis server that is using this handler to process requests. |
| 18 */ | 19 */ |
| 19 final AnalysisServer server; | 20 final AnalysisServer server; |
| (...skipping 106 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 126 } | 127 } |
| 127 | 128 |
| 128 Response setRefactoringOptions(Request request) { | 129 Response setRefactoringOptions(Request request) { |
| 129 // id | 130 // id |
| 130 RequestDatum idDatum = request.getRequiredParameter(ID); | 131 RequestDatum idDatum = request.getRequiredParameter(ID); |
| 131 String id = idDatum.asString(); | 132 String id = idDatum.asString(); |
| 132 // TODO(brianwilkerson) implement | 133 // TODO(brianwilkerson) implement |
| 133 return null; | 134 return null; |
| 134 } | 135 } |
| 135 } | 136 } |
| OLD | NEW |