| Index: tools/dom/scripts/htmldartgenerator.py
|
| diff --git a/tools/dom/scripts/htmldartgenerator.py b/tools/dom/scripts/htmldartgenerator.py
|
| index 860d7e1abbed2a1b309a0e791d0e969794569728..573e768984e67543b2fc608ab2d75eb0da27052a 100644
|
| --- a/tools/dom/scripts/htmldartgenerator.py
|
| +++ b/tools/dom/scripts/htmldartgenerator.py
|
| @@ -786,6 +786,13 @@ class HtmlDartGenerator(object):
|
| if type_name in _secure_base_types:
|
| return _secure_base_types[type_name]
|
|
|
| + def is_DOM_type(self, type_name):
|
| + try:
|
| + self._type_registry.TypeInfo(type_name)
|
| + return True
|
| + except RuntimeError:
|
| + return False
|
| +
|
| def _NarrowToImplementationType(self, type_name):
|
| return self._type_registry.TypeInfo(type_name).narrow_dart_type()
|
|
|
|
|