| OLD | NEW |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, 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 part of app; | 5 part of app; |
| 6 | 6 |
| 7 /// The observatory application. Instances of this are created and owned | 7 /// The observatory application. Instances of this are created and owned |
| 8 /// by the observatory_application custom element. | 8 /// by the observatory_application custom element. |
| 9 class ObservatoryApplication extends Observable { | 9 class ObservatoryApplication extends Observable { |
| 10 static ObservatoryApplication app; | 10 static ObservatoryApplication app; |
| (...skipping 69 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 80 event.isolate.reloadBreakpoints(); | 80 event.isolate.reloadBreakpoints(); |
| 81 break; | 81 break; |
| 82 | 82 |
| 83 case 'BreakpointReached': | 83 case 'BreakpointReached': |
| 84 case 'IsolateInterrupted': | 84 case 'IsolateInterrupted': |
| 85 case 'ExceptionThrown': | 85 case 'ExceptionThrown': |
| 86 removePauseEvents(event.isolate); | 86 removePauseEvents(event.isolate); |
| 87 notifications.add(event); | 87 notifications.add(event); |
| 88 break; | 88 break; |
| 89 | 89 |
| 90 case 'GC': |
| 91 // Ignore GC events for now. |
| 92 break; |
| 93 |
| 90 default: | 94 default: |
| 91 // Ignore unrecognized events. | 95 // Ignore unrecognized events. |
| 92 Logger.root.severe('Unrecognized event: $event'); | 96 Logger.root.severe('Unrecognized event: $event'); |
| 93 break; | 97 break; |
| 94 } | 98 } |
| 95 } | 99 } |
| 96 | 100 |
| 97 void _registerPages() { | 101 void _registerPages() { |
| 98 // Register ClassTreePage. | 102 // Register ClassTreePage. |
| 99 _pageRegistry.add(new ClassTreePage(this)); | 103 _pageRegistry.add(new ClassTreePage(this)); |
| (...skipping 104 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 204 | 208 |
| 205 _vmDisconnected(VM vm) { | 209 _vmDisconnected(VM vm) { |
| 206 if (this.vm != vm) { | 210 if (this.vm != vm) { |
| 207 // This disconnect event occured *after* a new VM was installed. | 211 // This disconnect event occured *after* a new VM was installed. |
| 208 return; | 212 return; |
| 209 } | 213 } |
| 210 this.vm = null; | 214 this.vm = null; |
| 211 locationManager.go(locationManager.makeLink('/vm-connect/')); | 215 locationManager.go(locationManager.makeLink('/vm-connect/')); |
| 212 } | 216 } |
| 213 } | 217 } |
| OLD | NEW |