| 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:
|
|
|