| 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 analysis.server; | 5 library analysis.server; |
| 6 | 6 |
| 7 import 'dart:async'; | 7 import 'dart:async'; |
| 8 import 'dart:collection'; | 8 import 'dart:collection'; |
| 9 import 'dart:core' hide Resource; | 9 import 'dart:core' hide Resource; |
| 10 import 'dart:io' as io; | 10 import 'dart:io' as io; |
| (...skipping 459 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 470 * operations execution. | 470 * operations execution. |
| 471 */ | 471 */ |
| 472 void addOperation(ServerOperation operation) { | 472 void addOperation(ServerOperation operation) { |
| 473 operationQueue.add(operation); | 473 operationQueue.add(operation); |
| 474 } | 474 } |
| 475 | 475 |
| 476 /** | 476 /** |
| 477 * The socket from which requests are being read has been closed. | 477 * The socket from which requests are being read has been closed. |
| 478 */ | 478 */ |
| 479 void done() { | 479 void done() { |
| 480 index.stop(); | 480 index?.stop(); |
| 481 running = false; | 481 running = false; |
| 482 } | 482 } |
| 483 | 483 |
| 484 /** | 484 /** |
| 485 * There was an error related to the socket from which requests are being | 485 * There was an error related to the socket from which requests are being |
| 486 * read. | 486 * read. |
| 487 */ | 487 */ |
| 488 void error(argument) { | 488 void error(argument) { |
| 489 running = false; | 489 running = false; |
| 490 } | 490 } |
| (...skipping 1305 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1796 /** | 1796 /** |
| 1797 * The [PerformanceTag] for time spent in server request handlers. | 1797 * The [PerformanceTag] for time spent in server request handlers. |
| 1798 */ | 1798 */ |
| 1799 static PerformanceTag serverRequests = new PerformanceTag('serverRequests'); | 1799 static PerformanceTag serverRequests = new PerformanceTag('serverRequests'); |
| 1800 | 1800 |
| 1801 /** | 1801 /** |
| 1802 * The [PerformanceTag] for time spent in split store microtasks. | 1802 * The [PerformanceTag] for time spent in split store microtasks. |
| 1803 */ | 1803 */ |
| 1804 static PerformanceTag splitStore = new PerformanceTag('splitStore'); | 1804 static PerformanceTag splitStore = new PerformanceTag('splitStore'); |
| 1805 } | 1805 } |
| OLD | NEW |