Index: tools/json_schema_compiler/idl_schema.py |
diff --git a/tools/json_schema_compiler/idl_schema.py b/tools/json_schema_compiler/idl_schema.py |
index 62e0e565df2b00c8b0aace0e7c05c971e437d22c..8c1bc760ccd1f590a47d3321659e2dd64409e3b2 100644 |
--- a/tools/json_schema_compiler/idl_schema.py |
+++ b/tools/json_schema_compiler/idl_schema.py |
@@ -164,6 +164,16 @@ class Member(object): |
for property_name in ('OPTIONAL', 'nodoc', 'nocompile', 'nodart'): |
if self.node.GetProperty(property_name): |
properties[property_name.lower()] = True |
+ for option_name, sanitizer in [ |
+ ('maxListeners', int), |
+ ('supportsFilters', lambda s: s == 'true'), |
+ ('supportsListeners', lambda s: s == 'true'), |
+ ('supportsRules', lambda s: s == 'true')]: |
+ if self.node.GetProperty(option_name): |
+ if 'options' not in properties: |
+ properties['options'] = {} |
+ properties['options'][option_name] = sanitizer(self.node.GetProperty( |
+ option_name)) |
is_function = False |
parameter_comments = OrderedDict() |
for node in self.node.children: |