Unmerging HTMLDocument from Document.

Unmerging HTMLDocument from Document, moving appropriate methods from Document to HTMLDocument, fixing issues around Document not being correctly wrapped for some XMLDocuments.


BUG=6453, 3420, 2977, 5526
Committed: https://code.google.com/p/dart/source/detail?r=14996

[blois, 2012-11-15 01:05:25]

On 2012/11/12 18:38:20, blois wrote:

Note that I referenced a few bugs which we have when Dart is used from an SVG
document (as in a script tag in an SVG document, as opposed to a script tag in
an HTML document). In this case document.createElement('div') does not return an
HTMLDivElement since it's an SVG document.

With this CL, this should now throw an exception in checked mode since the
global 'document' will now be of type HtmlDocument.

I believe that this is the correct behavior and we should not support running
Dart from SVG documents at this time.

[Jacob, 2012-11-15 18:09:54]

https://chromiumcodereview.appspot.com/11365203/diff/5001/sdk/lib/html/templa...
File sdk/lib/html/templates/html/impl/impl_HtmlDocument.darttemplate (right):

https://chromiumcodereview.appspot.com/11365203/diff/5001/sdk/lib/html/templa...
sdk/lib/html/templates/html/impl/impl_HtmlDocument.darttemplate:33: String get
lastModified => document.$dom_lastModified;
why do these have to be manually listed in the template? 

I'm missing what is custom about these methods.

[blois, 2012-11-15 18:24:13]

https://chromiumcodereview.appspot.com/11365203/diff/5001/sdk/lib/html/templa...
File sdk/lib/html/templates/html/impl/impl_HtmlDocument.darttemplate (right):

https://chromiumcodereview.appspot.com/11365203/diff/5001/sdk/lib/html/templa...
sdk/lib/html/templates/html/impl/impl_HtmlDocument.darttemplate:33: String get
lastModified => document.$dom_lastModified;
On 2012/11/15 18:09:54, Jacob wrote:
> why do these have to be manually listed in the template? 
> 
> I'm missing what is custom about these methods.

These are all methods which in WebKit are declared on Document, but really
should be on HtmlDocument.

A few of our most voted on bugs are around fixing Document for XML uses, so I'm
looking to clean up the Document interface.

I tried a couple of approaches of moving the methods from Document to
HtmlDocument (including modifying the IDL) but ran into problems everywhere.
This was finally the approach suggested by Vijay which works.

[Jacob, 2012-11-15 18:54:47]

On 2012/11/15 18:24:13, blois wrote:
>
https://chromiumcodereview.appspot.com/11365203/diff/5001/sdk/lib/html/templa...
> File sdk/lib/html/templates/html/impl/impl_HtmlDocument.darttemplate (right):
> 
>
https://chromiumcodereview.appspot.com/11365203/diff/5001/sdk/lib/html/templa...
> sdk/lib/html/templates/html/impl/impl_HtmlDocument.darttemplate:33: String get
> lastModified => document.$dom_lastModified;
> On 2012/11/15 18:09:54, Jacob wrote:
> > why do these have to be manually listed in the template? 
> > 
> > I'm missing what is custom about these methods.
> 
> These are all methods which in WebKit are declared on Document, but really
> should be on HtmlDocument.
> 
> A few of our most voted on bugs are around fixing Document for XML uses, so
I'm
> looking to clean up the Document interface.
> 
> I tried a couple of approaches of moving the methods from Document to
> HtmlDocument (including modifying the IDL) but ran into problems everywhere.
> This was finally the approach suggested by Vijay which works.

lgtm.  shame the idl approach didn't work.