Native entry point for spawnDomUri

tools/dom/templates/html/dartium/html_dartium.darttemplate

 // 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.
 
 // DO NOT EDIT
 // Auto-generated dart:html library.
 
 /**
  * HTML elements and other resources for web-based applications that need to
  * interact with the browser and the DOM (Document Object Model).
@@ skipping 100 matching lines @@
 /**
  * Root node for all content in a web page.
  */
 HtmlDocument get document {
   if (_document != null) {
     return _document;
   }
   _document = window.document;
   return _document;
 }
+
+/**
+ * Spawn a DOM isolate using the given URI in the same window.
+ * This isolate is not concurrent.  It runs on the browser thread
+ * with full access to the DOM.
+ * Note: this API is still evolving and may move to dart:isolate.
+ */
+@Experimental()
+Future<Isolate> spawnDomUri(Uri uri, List<String> args, message) {

[Siggi Cherem (dart-lang), 2014/03/24 16:51:56]

should we add this API also to the html/common or html/dart2js templates? (with
an unimplemented exception or forwarding it to the dart:isolates API)

I'm particular, I'm not sure if the analyzer will complain about using a
non-existing API if we only have it in this template and not the others.

[vsm, 2014/03/24 21:52:57]

Good point.  I'll do that in a follow-up CL.

On 2014/03/24 16:51:56, Siggi Cherem (dart-lang) wrote:

+  // TODO(vsm): Plumb arguments and return value through.
+  return _Utils.spawnDomUri(uri.toString());
+}