Index: tools/idl_parser/idl_parser.py |
diff --git a/tools/idl_parser/idl_parser.py b/tools/idl_parser/idl_parser.py |
index 3dc2b53a5e8ce3f768122afa56900ec73a077df8..45f8d7c58276a9d922b21ba6b4cbf2448cd907d4 100755 |
--- a/tools/idl_parser/idl_parser.py |
+++ b/tools/idl_parser/idl_parser.py |
@@ -307,6 +307,11 @@ class IDLParser(object): |
p[2].AddChildren(p[1]) |
p[0] = ListFromConcat(p[2], p[3]) |
+ # [12.1] Error recovery for DictionaryMembers |
+ def p_DictionaryMembersError(self, p): |
+ """DictionaryMembers : ExtendedAttributeList error""" |
+ p[0] = self.BuildError(p, 'DictionaryMembers') |
+ |
# [13] |
def p_DictionaryMember(self, p): |
"""DictionaryMember : Required Type identifier Default ';'""" |