dartdomgenerator.py File Reference

Go to the source code of this file.

Classes
class	scripts.dartdomgenerator.GeneratorOptions

Namespaces
namespace	scripts
namespace	scripts.dartdomgenerator

Functions
	scripts.dartdomgenerator.LoadDatabase (database_dir, use_database_cache)
	scripts.dartdomgenerator.GenerateFromDatabase (common_database, dart2js_output_dir, update_dom_metadata=False, logging_level=logging.WARNING, dart_js_interop=False, generate_static_extensions=False, generate_prototype_events=False)
	scripts.dartdomgenerator.GenerateSingleFile (library_path, output_dir, generated_output_dir=None, prefix=None)
	scripts.dartdomgenerator.UpdateCssProperties ()
	scripts.dartdomgenerator.main ()

Variables
	scripts.dartdomgenerator.dart_dir
	scripts.dartdomgenerator.third_party_dir = os.path.join(dart_dir, 'third_party')
	scripts.dartdomgenerator.ply_dir = os.path.join(third_party_dir, 'ply')
	scripts.dartdomgenerator._logger = logging.getLogger('dartdomgenerator')
str	scripts.dartdomgenerator.CACHED_PATCHES