vbatts/llama.cpp
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

json: support additionalProperties ({[k: string]: [string,number][]})

Browse source
This commit is contained in:
ochafik 2024-03-01 14:14:45 +00:00
parent 2d9580a37b
commit 3c339ce34a
1 changed files with 12 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

12
examples/json-schema-to-grammar.py
View file

@ -84,6 +84,18 @@ class SchemaConverter:
return self._add_rule(rule_name, rule)
elif schema_type == 'object' and 'additionalProperties' in schema:
additional_properties = schema['additionalProperties']
if not isinstance(additional_properties, dict):
additional_properties = {}
sub_name = f'{name}{"-" if name else ""}additionalProperties'
value_rule = self.visit(additional_properties, f'{sub_name}-value')
kv_rule = self._add_rule(f'{sub_name}-kv', f'string ":" space {value_rule}')
return self._add_rule(
rule_name,
f'( {kv_rule} ( "," space {kv_rule} )* )*')
elif schema_type == 'array' and 'items' in schema:
# TODO `prefixItems` keyword
items = schema['items']