OLD | NEW |
1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, 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 /** | 5 /** |
6 * A stress test for the analysis server. | 6 * A stress test for the analysis server. |
7 */ | 7 */ |
8 import 'dart:async'; | 8 import 'dart:async'; |
9 import 'dart:io'; | 9 import 'dart:io'; |
10 import 'dart:math' as math; | 10 import 'dart:math' as math; |
11 | 11 |
12 import 'package:analysis_server/plugin/protocol/protocol.dart'; | 12 import 'package:analysis_server/protocol/protocol_generated.dart'; |
13 import 'package:analyzer/dart/ast/token.dart'; | 13 import 'package:analyzer/dart/ast/token.dart'; |
14 import 'package:analyzer/error/listener.dart' as error; | 14 import 'package:analyzer/error/listener.dart' as error; |
15 import 'package:analyzer/src/dart/scanner/reader.dart'; | 15 import 'package:analyzer/src/dart/scanner/reader.dart'; |
16 import 'package:analyzer/src/dart/scanner/scanner.dart'; | 16 import 'package:analyzer/src/dart/scanner/scanner.dart'; |
17 import 'package:analyzer/src/generated/java_engine.dart'; | 17 import 'package:analyzer/src/generated/java_engine.dart'; |
18 import 'package:analyzer/src/generated/source.dart'; | 18 import 'package:analyzer/src/generated/source.dart'; |
19 import 'package:analyzer/src/util/glob.dart'; | 19 import 'package:analyzer/src/util/glob.dart'; |
20 import 'package:args/args.dart'; | 20 import 'package:args/args.dart'; |
21 import 'package:path/path.dart' as path; | 21 import 'package:path/path.dart' as path; |
22 | 22 |
(...skipping 674 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
697 minutes -= hours * 60; | 697 minutes -= hours * 60; |
698 | 698 |
699 if (hours > 0) { | 699 if (hours > 0) { |
700 return '$hours:$minutes:$seconds.$milliseconds'; | 700 return '$hours:$minutes:$seconds.$milliseconds'; |
701 } else if (minutes > 0) { | 701 } else if (minutes > 0) { |
702 return '$minutes:$seconds.$milliseconds'; | 702 return '$minutes:$seconds.$milliseconds'; |
703 } | 703 } |
704 return '$seconds.$milliseconds'; | 704 return '$seconds.$milliseconds'; |
705 } | 705 } |
706 } | 706 } |
OLD | NEW |