| /* |
| * Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file |
| * for details. All rights reserved. Use of this source code is governed by a |
| * BSD-style license that can be found in the LICENSE file. |
| */ |
| /** |
| * @description |
| */ |
| import "dart:html"; |
| import "../../testcommon.dart"; |
| import "../../../Utils/async_utils.dart"; |
| |
| main() { |
| document.body.setInnerHtml(''' |
| <p>This tests a case where removing an option element from a select by using innerHTML would cause a crash.</p> |
| |
| <p id="result">FAIL</p> |
| |
| <select id="select"> |
| <option>here is one</option> |
| <optgroup id="group" label="group"><option>here is another</option></optgroup> |
| </select> |
| ''', treeSanitizer: new NullTreeSanitizer()); |
| |
| SelectElement select = document.getElementById('select'); |
| select.length; // cause the <select> element to build a list of options |
| document.getElementById('group').innerHtml = ""; // remove an option using innerHTML |
| select.length; // cause the <select> element to use the list of options |
| select.innerHtml = ""; // remove the other option using innerHTML |
| select.length; // cause the <select> element to use the list of options |
| |
| document.getElementById('result').innerHtml = "PASS"; |
| } |