| Index: tools/dom/scripts/dartgenerator.py
|
| diff --git a/tools/dom/scripts/dartgenerator.py b/tools/dom/scripts/dartgenerator.py
|
| index 617170096f83fb02af90998ea04c2003849c3b31..bdf522f5d2f30c22b5d7c307af430d08fbd25f95 100755
|
| --- a/tools/dom/scripts/dartgenerator.py
|
| +++ b/tools/dom/scripts/dartgenerator.py
|
| @@ -170,6 +170,7 @@ class DartGenerator(object):
|
| interfaces.append(interface)
|
|
|
| # Render all interfaces into Dart and save them in files.
|
| + cid = 0;
|
| for interface in self._PreOrderInterfaces(interfaces):
|
| interface_name = interface.id
|
| auxiliary_file = self._auxiliary_files.get(interface_name)
|
| @@ -179,7 +180,8 @@ class DartGenerator(object):
|
| continue
|
|
|
| _logger.info('Generating %s' % interface.id)
|
| - generate_interface(interface)
|
| + generate_interface(interface, cid)
|
| + cid = cid + 1
|
|
|
| def _PreOrderInterfaces(self, interfaces):
|
| """Returns the interfaces in pre-order, i.e. parents first."""
|
|
|