Index: tools/dom/scripts/dartgenerator.py |
diff --git a/tools/dom/scripts/dartgenerator.py b/tools/dom/scripts/dartgenerator.py |
index 55a349904d036383ba5f16695dd1650fd05dc1d1..5adbe3a8264b713bc77d310fc399bc52dbfa62bc 100755 |
--- a/tools/dom/scripts/dartgenerator.py |
+++ b/tools/dom/scripts/dartgenerator.py |
@@ -244,3 +244,11 @@ class DartGenerator(object): |
if 'ScriptArguments' in call_with: |
operation.arguments.append(ARG) |
+ |
+ # TODO(terry): Hack to remove 3rd arguments in setInterval/setTimeout. |
+ def HackCleanupTimers(self, database): |
+ for interface in database.GetInterfaces(): |
+ for operation in interface.operations: |
+ if ((operation.id == 'setInterval' or operation.id == 'setTimeout') and \ |
+ operation.arguments[0].type.id == 'any'): |
+ operation.arguments.pop(2) |