| 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
|
|
|