Provide DartDomNameOfAttribute

client/dom/scripts/systeminterface.py

Index: client/dom/scripts/systeminterface.py
diff --git a/client/dom/scripts/systeminterface.py b/client/dom/scripts/systeminterface.py
index b316490fc0cd6069ca5f44ad2c5df5b52c45092e..2eadba7dcc0e7240c483de898cc09bcdf7f3671e 100644
--- a/client/dom/scripts/systeminterface.py
+++ b/client/dom/scripts/systeminterface.py
@@ -182,11 +182,13 @@ class DartInterfaceGenerator(object):
   def AddAttribute(self, getter, setter):
     if getter and setter and getter.type.id == setter.type.id:
       self._members_emitter.Emit('\n  $TYPE $NAME;\n',
-                                 NAME=getter.id, TYPE=DartType(getter.type.id));
+                                 NAME=DartDomNameOfAttribute(getter),
+                                 TYPE=DartType(getter.type.id));
       return
     if getter and not setter:
       self._members_emitter.Emit('\n  final $TYPE $NAME;\n',
-                                 NAME=getter.id, TYPE=DartType(getter.type.id));
+                                 NAME=DartDomNameOfAttribute(getter),
+                                 TYPE=DartType(getter.type.id));
       return
     raise Exception('Unexpected getter/setter combination %s %s' %
                     (getter, setter))