diff options
author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2020-01-26 15:06:42 -0500 |
---|---|---|
committer | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2020-02-08 12:28:46 -0500 |
commit | 4b17e79cb82c7c4348ada090f95ea484effe36c2 (patch) | |
tree | b1e74162abfd61b2e887abf319d138a8592103ba /ext/bg/data/dictionary-index-schema.json | |
parent | 4e2b317d549c8b3ff95190e0c81c64e7d5d12111 (diff) |
Add schemas for dictionary data
Diffstat (limited to 'ext/bg/data/dictionary-index-schema.json')
-rw-r--r-- | ext/bg/data/dictionary-index-schema.json | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/ext/bg/data/dictionary-index-schema.json b/ext/bg/data/dictionary-index-schema.json new file mode 100644 index 00000000..9865fcc1 --- /dev/null +++ b/ext/bg/data/dictionary-index-schema.json @@ -0,0 +1,40 @@ +{ + "$schema": "http://json-schema.org/draft-07/schema#", + "type": "object", + "description": "Index file containing information about the data contained in the dictionary.", + "required": [ + "title", + "revision" + ], + "properties": { + "title": { + "type": "string", + "description": "Title of the dictionary." + }, + "revision": { + "type": "string", + "description": "Revision of the dictionary. This value is only used for displaying information." + }, + "sequenced": { + "type": "boolean", + "default": false, + "description": "Whether or not this dictionary can be used as the primary dictionary. Primary dictionaries typically contain term/expression definitions." + }, + "format": { + "type": "integer", + "description": "Format of data found in the JSON data files." + }, + "version": { + "type": "integer", + "description": "Alias for format." + } + }, + "anyOf": [ + { + "required": ["format"] + }, + { + "required": ["version"] + } + ] +}
\ No newline at end of file |