| 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.src.get_handler; | 5 library analysis_server.src.get_handler; |
| 6 | 6 |
| 7 import 'dart:collection'; | 7 import 'dart:collection'; |
| 8 import 'dart:convert'; | 8 import 'dart:convert'; |
| 9 import 'dart:io'; | 9 import 'dart:io'; |
| 10 import 'dart:math'; | 10 import 'dart:math'; |
| (...skipping 1056 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1067 _writeOption( | 1067 _writeOption( |
| 1068 buffer, | 1068 buffer, |
| 1069 'Incremental resolution with API changes', | 1069 'Incremental resolution with API changes', |
| 1070 options.incrementalApi); | 1070 options.incrementalApi); |
| 1071 _writeOption( | 1071 _writeOption( |
| 1072 buffer, | 1072 buffer, |
| 1073 'Preserve comments', | 1073 'Preserve comments', |
| 1074 options.preserveComments, | 1074 options.preserveComments, |
| 1075 last: true); | 1075 last: true); |
| 1076 buffer.write('</p>'); | 1076 buffer.write('</p>'); |
| 1077 int freq = AnalysisServer.performOperationDelayFreqency; |
| 1078 String delay = freq > 0 ? '1 ms every $freq ms' : 'off'; |
| 1079 buffer.write('<p><b>perform operation delay:</b> $delay</p>'); |
| 1077 }, (StringBuffer buffer) { | 1080 }, (StringBuffer buffer) { |
| 1078 _writeSubscriptionMap( | 1081 _writeSubscriptionMap( |
| 1079 buffer, | 1082 buffer, |
| 1080 AnalysisService.VALUES, | 1083 AnalysisService.VALUES, |
| 1081 analysisServer.analysisServices); | 1084 analysisServer.analysisServices); |
| 1082 }); | 1085 }); |
| 1083 } | 1086 } |
| 1084 | 1087 |
| 1085 /** | 1088 /** |
| 1086 * Write performance information about a specific completion request | 1089 * Write performance information about a specific completion request |
| (...skipping 541 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1628 } else if (value is Element) { | 1631 } else if (value is Element) { |
| 1629 String link = | 1632 String link = |
| 1630 _makeLink(ELEMENT_PATH, linkParameters, value.runtimeType.toString()); | 1633 _makeLink(ELEMENT_PATH, linkParameters, value.runtimeType.toString()); |
| 1631 buffer.write('<i>$link</i>'); | 1634 buffer.write('<i>$link</i>'); |
| 1632 } else { | 1635 } else { |
| 1633 buffer.write(HTML_ESCAPE.convert(value.toString())); | 1636 buffer.write(HTML_ESCAPE.convert(value.toString())); |
| 1634 buffer.write(' <i>(${value.runtimeType.toString()})</i>'); | 1637 buffer.write(' <i>(${value.runtimeType.toString()})</i>'); |
| 1635 } | 1638 } |
| 1636 } | 1639 } |
| 1637 } | 1640 } |
| OLD | NEW |