| 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 debugger_page_element; | 5 library debugger_page_element; |
| 6 | 6 |
| 7 import 'dart:async'; | 7 import 'dart:async'; |
| 8 import 'dart:html'; | 8 import 'dart:html'; |
| 9 import 'observatory_element.dart'; | 9 import 'observatory_element.dart'; |
| 10 import 'package:observatory/app.dart'; | 10 import 'package:observatory/app.dart'; |
| (...skipping 771 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 782 String helpLong = | 782 String helpLong = |
| 783 'Refresh code coverage information for current frames.\n' | 783 'Refresh code coverage information for current frames.\n' |
| 784 '\n' | 784 '\n' |
| 785 'Syntax: refresh coverage\n\n'; | 785 'Syntax: refresh coverage\n\n'; |
| 786 } | 786 } |
| 787 | 787 |
| 788 class RefreshStackCommand extends DebuggerCommand { | 788 class RefreshStackCommand extends DebuggerCommand { |
| 789 RefreshStackCommand(Debugger debugger) : super(debugger, 'stack', []); | 789 RefreshStackCommand(Debugger debugger) : super(debugger, 'stack', []); |
| 790 | 790 |
| 791 Future run(List<String> args) { | 791 Future run(List<String> args) { |
| 792 Set<Script> scripts = debugger.stackElement.activeScripts(); | |
| 793 List pending = []; | |
| 794 return debugger.refreshStack(); | 792 return debugger.refreshStack(); |
| 795 } | 793 } |
| 796 | 794 |
| 797 String helpShort = 'Refresh isolate stack'; | 795 String helpShort = 'Refresh isolate stack'; |
| 798 | 796 |
| 799 String helpLong = | 797 String helpLong = |
| 800 'Refresh isolate stack.\n' | 798 'Refresh isolate stack.\n' |
| 801 '\n' | 799 '\n' |
| 802 'Syntax: refresh stack\n'; | 800 'Syntax: refresh stack\n'; |
| 803 } | 801 } |
| (...skipping 218 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1022 'Breakpoint ${bpId} ${verb} at ${script.name}:${line}:${col}'); | 1020 'Breakpoint ${bpId} ${verb} at ${script.name}:${line}:${col}'); |
| 1023 } else { | 1021 } else { |
| 1024 console.print( | 1022 console.print( |
| 1025 'Future breakpoint ${bpId} ${verb} at ${script.name}:${line}:${col}'
); | 1023 'Future breakpoint ${bpId} ${verb} at ${script.name}:${line}:${col}'
); |
| 1026 } | 1024 } |
| 1027 }); | 1025 }); |
| 1028 } | 1026 } |
| 1029 | 1027 |
| 1030 void _onEvent(ServiceEvent event) { | 1028 void _onEvent(ServiceEvent event) { |
| 1031 switch(event.eventType) { | 1029 switch(event.eventType) { |
| 1032 case ServiceEvent.kIsolateStart: { | 1030 case ServiceEvent.kIsolateStart: |
| 1033 var iso = event.owner; | 1031 { |
| 1034 console.print( | 1032 var iso = event.owner; |
| 1035 "Isolate ${iso.number} '${iso.name}' has been created"); | |
| 1036 break; | |
| 1037 } | |
| 1038 | |
| 1039 case ServiceEvent.kIsolateExit: { | |
| 1040 var iso = event.owner; | |
| 1041 if (iso == isolate) { | |
| 1042 console.print("The current isolate has exited"); | |
| 1043 } else { | |
| 1044 console.print( | 1033 console.print( |
| 1045 "Isolate ${iso.number} '${iso.name}' has exited"); | 1034 "Isolate ${iso.number} '${iso.name}' has been created"); |
| 1046 } | 1035 } |
| 1047 break; | 1036 break; |
| 1048 } | 1037 |
| 1038 case ServiceEvent.kIsolateExit: |
| 1039 { |
| 1040 var iso = event.owner; |
| 1041 if (iso == isolate) { |
| 1042 console.print("The current isolate has exited"); |
| 1043 } else { |
| 1044 console.print( |
| 1045 "Isolate ${iso.number} '${iso.name}' has exited"); |
| 1046 } |
| 1047 } |
| 1048 break; |
| 1049 | 1049 |
| 1050 case ServiceEvent.kIsolateUpdate: | 1050 case ServiceEvent.kIsolateUpdate: |
| 1051 var iso = event.owner; | 1051 var iso = event.owner; |
| 1052 console.print("Isolate ${iso.number} renamed to '${iso.name}'"); | 1052 console.print("Isolate ${iso.number} renamed to '${iso.name}'"); |
| 1053 break; | 1053 break; |
| 1054 | 1054 |
| 1055 case ServiceEvent.kPauseStart: | 1055 case ServiceEvent.kPauseStart: |
| 1056 case ServiceEvent.kPauseExit: | 1056 case ServiceEvent.kPauseExit: |
| 1057 case ServiceEvent.kPauseBreakpoint: | 1057 case ServiceEvent.kPauseBreakpoint: |
| 1058 case ServiceEvent.kPauseInterrupted: | 1058 case ServiceEvent.kPauseInterrupted: |
| (...skipping 110 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1169 } | 1169 } |
| 1170 | 1170 |
| 1171 @override | 1171 @override |
| 1172 void attached() { | 1172 void attached() { |
| 1173 super.attached(); | 1173 super.attached(); |
| 1174 | 1174 |
| 1175 var navbarDiv = $['navbarDiv']; | 1175 var navbarDiv = $['navbarDiv']; |
| 1176 var stackDiv = $['stackDiv']; | 1176 var stackDiv = $['stackDiv']; |
| 1177 var splitterDiv = $['splitterDiv']; | 1177 var splitterDiv = $['splitterDiv']; |
| 1178 var cmdDiv = $['commandDiv']; | 1178 var cmdDiv = $['commandDiv']; |
| 1179 var consoleDiv = $['consoleDiv']; | |
| 1180 | 1179 |
| 1181 int navbarHeight = navbarDiv.clientHeight; | 1180 int navbarHeight = navbarDiv.clientHeight; |
| 1182 int splitterHeight = splitterDiv.clientHeight; | 1181 int splitterHeight = splitterDiv.clientHeight; |
| 1183 int cmdHeight = cmdDiv.clientHeight; | 1182 int cmdHeight = cmdDiv.clientHeight; |
| 1184 | 1183 |
| 1185 int windowHeight = window.innerHeight; | 1184 int windowHeight = window.innerHeight; |
| 1186 int fixedHeight = navbarHeight + splitterHeight + cmdHeight; | 1185 int fixedHeight = navbarHeight + splitterHeight + cmdHeight; |
| 1187 int available = windowHeight - fixedHeight; | 1186 int available = windowHeight - fixedHeight; |
| 1188 int stackHeight = available ~/ 1.6; | 1187 int stackHeight = available ~/ 1.6; |
| 1189 stackDiv.style.setProperty('height', '${stackHeight}px'); | 1188 stackDiv.style.setProperty('height', '${stackHeight}px'); |
| (...skipping 305 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1495 default: | 1494 default: |
| 1496 busy = false; | 1495 busy = false; |
| 1497 break; | 1496 break; |
| 1498 } | 1497 } |
| 1499 }); | 1498 }); |
| 1500 } | 1499 } |
| 1501 | 1500 |
| 1502 DebuggerInputElement.created() : super.created(); | 1501 DebuggerInputElement.created() : super.created(); |
| 1503 } | 1502 } |
| 1504 | 1503 |
| OLD | NEW |