| Index: lib/html/scripts/dartdomgenerator.py
|
| diff --git a/lib/html/scripts/dartdomgenerator.py b/lib/html/scripts/dartdomgenerator.py
|
| index f27d66697f658e8be527db7faa47586dbaa6f833..46ae9bae32e49961bacc0e0da373c7a7cdb4b0f6 100755
|
| --- a/lib/html/scripts/dartdomgenerator.py
|
| +++ b/lib/html/scripts/dartdomgenerator.py
|
| @@ -18,7 +18,6 @@ import sys
|
| from generator import TypeRegistry
|
| from htmleventgenerator import HtmlEventGenerator
|
| from htmlrenamer import HtmlRenamer
|
| -from systembase import GeneratorOptions
|
| from systemhtml import DartLibraryEmitter, Dart2JSBackend,\
|
| HtmlDartInterfaceGenerator
|
| from systemnative import CPPLibraryEmitter, DartiumBackend
|
| @@ -38,6 +37,13 @@ _webkit_renames = {
|
| 'Window': 'DOMWindow',
|
| 'WorkerGlobalScope': 'WorkerContext'}
|
|
|
| +class GeneratorOptions(object):
|
| + def __init__(self, templates, database, type_registry, renamer):
|
| + self.templates = templates
|
| + self.database = database
|
| + self.type_registry = type_registry
|
| + self.renamer = renamer
|
| +
|
| # TODO(vsm): Remove once we fix Dartium to pass in the database directly.
|
| def Generate(database_dir, use_database_cache, dart2js_output_dir=None,
|
| dartium_output_dir=None):
|
|
|