| Index: dart/tests/try/web/incremental_compilation_update.html
|
| diff --git a/dart/tests/try/web/incremental_compilation_update.html b/dart/tests/try/web/incremental_compilation_update.html
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..d929ba9d14acdfd93233e1fe3ec9dbdf70349d24
|
| --- /dev/null
|
| +++ b/dart/tests/try/web/incremental_compilation_update.html
|
| @@ -0,0 +1,52 @@
|
| +<!DOCTYPE html>
|
| +<!-- 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.
|
| + -->
|
| +<html lang="en">
|
| + <head>
|
| + <title>incremental_compilation_update_test.html</title>
|
| + <meta charset="UTF-8">
|
| + </head>
|
| + <body>
|
| + <h1>incremental_compilation_update_test.html</h1>
|
| + <pre id="console"></pre>
|
| +<script type="application/javascript" src="print.js"></script>
|
| +<script type="application/javascript">
|
| +/// Invoked by JavaScript code generated by dart2js when the program is ready
|
| +/// to invoke main.
|
| +function dartMainRunner(main) {
|
| + // Invoke the "main" method of the Dart program.
|
| + main();
|
| +
|
| + // Let the sandbox embedder know that main is done running.
|
| + window.parent.postMessage('iframe-dart-main-done', '*');
|
| +}
|
| +(function() {
|
| +
|
| + /// Invoked when a 'message' event is received. Message events are generated
|
| + /// with Window.postMessage and used to communicate between this iframe and
|
| + /// its embedding parent page.
|
| + function onMessage(e) {
|
| + if (e.data[0] === 'add-script') {
|
| + // Received a message on the form ['add-script', uri].
|
| + // Install a new script tag with the uri.
|
| + var script = document.createElement('script');
|
| + script.src = e.data[1];
|
| + script.type = 'application/javascript';
|
| + document.body.appendChild(script);
|
| + } else {
|
| + // Other messages are just logged.
|
| + console.log(e);
|
| + }
|
| + }
|
| + window.addEventListener('message', onMessage, false);
|
| +
|
| + // Let the sandbox embedder know that this iframe is ready, that is,
|
| + // listening for messages.
|
| + window.parent.postMessage('iframe-ready', '*');
|
| +
|
| +})();
|
| +</script>
|
| + </body>
|
| +</html>
|
|
|