Index: tools/dom/scripts/database.py |
diff --git a/tools/dom/scripts/database.py b/tools/dom/scripts/database.py |
index 951a3415733789c57b3560326312288a8ec9de7b..fc8b65905327549c25138e440266a14eab8cab12 100755 |
--- a/tools/dom/scripts/database.py |
+++ b/tools/dom/scripts/database.py |
@@ -275,6 +275,13 @@ class Database(object): |
raise RuntimeError('Dictionary %s already exists' % dictionary_name) |
self._all_dictionaries[dictionary_name] = dictionary |
+ def GetDictionaries(self): |
+ """Returns a list of all loaded dictionaries.""" |
+ res = [] |
+ for _, dictionary in sorted(self._all_dictionaries.items()): |
+ res.append(dictionary) |
+ return res |
+ |
def TransitiveSecondaryParents(self, interface, propagate_event_target): |
"""Returns a list of all non-primary parents. |