| 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 search.domain; | 5 library search.domain; |
| 6 | 6 |
| 7 import 'dart:async'; | 7 import 'dart:async'; |
| 8 | 8 |
| 9 import 'package:analysis_server/src/analysis_server.dart'; | 9 import 'package:analysis_server/src/analysis_server.dart'; |
| 10 import 'package:analysis_server/src/search/element_references.dart'; | 10 import 'package:analysis_server/src/search/element_references.dart'; |
| (...skipping 96 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 107 return exception.response; | 107 return exception.response; |
| 108 } | 108 } |
| 109 return null; | 109 return null; |
| 110 } | 110 } |
| 111 | 111 |
| 112 void _sendSearchNotification(String searchId, bool isLast, | 112 void _sendSearchNotification(String searchId, bool isLast, |
| 113 List<SearchResult> results) { | 113 List<SearchResult> results) { |
| 114 Notification notification = new Notification(SEARCH_RESULTS); | 114 Notification notification = new Notification(SEARCH_RESULTS); |
| 115 notification.setParameter(ID, searchId); | 115 notification.setParameter(ID, searchId); |
| 116 notification.setParameter(LAST, isLast); | 116 notification.setParameter(LAST, isLast); |
| 117 notification.setParameter( | 117 notification.setParameter(RESULTS, results); |
| 118 RESULTS, | |
| 119 results.map(SearchResult.asJson).toList()); | |
| 120 server.sendNotification(notification); | 118 server.sendNotification(notification); |
| 121 } | 119 } |
| 122 } | 120 } |
| OLD | NEW |