Version 0.8.10.2

dart/third_party/pkg/js/tools/create_bootstrap.dart

-#!/usr/bin/env dart
-// Copyright (c) 2012, 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.
-
-/**
- * This utility carves out the embedded bootstrap JavaScript in
- * js.dart as a separate file that may be included directly in html.
- * This is necessary in settings where script injection is disallowed.
- *
- * To run, navigate to the top-level directory for this project and run:
- *   .../dart ./tools/create_bootstrap.dart
- */
-library create_bootstrap;
-
-import 'dart:io';
-
-final JS_PATTERN = new RegExp(r'final _JS_BOOTSTRAP = r"""((.*\n)*)""";');
-
-final HEADER = """
-// Copyright (c) 2012, 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.
-
-// THIS FILE IS AUTO GENERATED.  PLEASE DO NOT EDIT.
-
-// TODO(vsm): Move this file once we determine where assets should go.  See
-// http://dartbug.com/6101.
-""";
-
-createFile(Path source, Path target) {
-  final f = new File.fromPath(source);
-  f.readAsString()
-    .then((text) {
-      final js = JS_PATTERN.firstMatch(text).group(1);
-      final out = new File.fromPath(target);
-      out.create()
-        .then((out) => out.open(mode: FileMode.WRITE)
-          .then((file) => file.writeString(HEADER)
-            .then((file) => file.writeString(js)
-              .then((file) => file.close()))));
-    });
-}
-
-create(Path libPath) {
-  final source = libPath.append('js.dart');
-  final target = libPath.append('dart_interop.js');
-  createFile(source, target);
-}
-
-main() {
-  final scriptPath = new Path(Platform.script).directoryPath;
-  final libPath = scriptPath.join(new Path('../lib'));
-  create(libPath);
-}