Provide DartDomNameOfAttribute

Provide DartDomNameOfAttribute

DartDomNameOfAttribute returns the name of an IDLAttribute in the dart dom bindings.
attr.id is the native/JS name
dart:html might possibly rename the DartDomName, leaving the original attribute id available.

The change in the generated files reflects reverting https://src.chromium.org/viewvc/multivm?view=rev&revision=251
I will revert r251 after this change lands.


This is all so we can handle one attribute that has a name that is a keyword in Dart and C++ :

module html {
    interface [
        Conditional=VIDEO_TRACK,
        V8EnabledAtRuntime=webkitVideoTrack
    ] HTMLTrackElement : HTMLElement {
        ...
        attribute [Reflect] boolean default;




BUG=
TEST=

Committed: https://code.google.com/p/dart/source/detail?r=5381

[sra1, 2012-03-13 02:41:27]

https://chromiumcodereview.appspot.com/9695015/diff/9/client/dom/scripts/syst...
File client/dom/scripts/systemnative.py (right):

https://chromiumcodereview.appspot.com/9695015/diff/9/client/dom/scripts/syst...
client/dom/scripts/systemnative.py:446: cpp_arg_name = CppSafeName(attr.id)
This is how the attribute called default gets converted into a local variable
called _default.

[vsm, 2012-03-13 03:44:43]

LGTM

[podivilov, 2012-03-13 12:34:50]

We use DartName=XXX in dart.idl for renaming operations, but we rename
attributes in generator. Is there any particular reason for such distinction?
Should we support renaming operations in generator, and remove DartName
attribute support to ensure that we do all the renames in one place?

[Anton Muhin, 2012-03-13 12:53:47]

Thanks a lot, Stephen!

https://chromiumcodereview.appspot.com/9695015/diff/9/client/dom/scripts/gene...
File client/dom/scripts/generator.py (right):

https://chromiumcodereview.appspot.com/9695015/diff/9/client/dom/scripts/gene...
client/dom/scripts/generator.py:361: name = attr.ext_attrs.get('DartName', None)
or name
nit: attr.ext_attrs.get('DartName', name)