Index: client/dom/scripts/dartgenerator.py |
diff --git a/client/dom/scripts/dartgenerator.py b/client/dom/scripts/dartgenerator.py |
index 6fb73267d38b300513a086a135ad9c1d9e0a1810..c155fce3c600a10a676a71dc9bda08e584b34817 100755 |
--- a/client/dom/scripts/dartgenerator.py |
+++ b/client/dom/scripts/dartgenerator.py |
@@ -18,6 +18,7 @@ _logger = logging.getLogger('dartgenerator') |
# IDL->Dart primitive types conversion. |
_idl_to_dart_type_conversions = { |
'any': 'Object', |
+ 'any[]': 'List', |
'custom': 'Dynamic', |
'boolean': 'bool', |
'DOMObject': 'Object', |
@@ -1726,7 +1727,8 @@ class WrappingInterfaceGenerator(object): |
return '%s is %s' % (name, type) |
if position == len(info.arg_infos): |
- assert len(overloads) == 1 |
+ if len(overloads) > 1: |
+ raise Exception('Duplicate operations ' + str(overloads)) |
operation = overloads[0] |
self.GenerateSingleOperation(emitter, info, indent, operation) |
return False |