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