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 |