diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2019-07-10 08:49:00 +0200 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2019-07-10 08:49:00 +0200 |
| commit | eab9fb88aaa5408c342927693d8593f1e0ba2b91 (patch) | |
| tree | a9487e62ff440997abf0f56b8bd2c06c1650932e /src/compiler/GF/Compile/pgf.schema.json | |
| parent | acd4a5e8cd3e75b9aaa07b36442406b392520ede (diff) | |
Minor renamings in JSON format
Diffstat (limited to 'src/compiler/GF/Compile/pgf.schema.json')
| -rw-r--r-- | src/compiler/GF/Compile/pgf.schema.json | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/compiler/GF/Compile/pgf.schema.json b/src/compiler/GF/Compile/pgf.schema.json index a8f31e399..2058e9a70 100644 --- a/src/compiler/GF/Compile/pgf.schema.json +++ b/src/compiler/GF/Compile/pgf.schema.json @@ -53,8 +53,8 @@ "productions", "functions", "sequences", - "startCats", - "totalFIds" + "categories", + "totalfids" ], "properties": { "flags": { @@ -106,26 +106,26 @@ } } }, - "startCats": { + "categories": { "type": "object", "additionalProperties": { "title": "CncCat", "type": "object", "required": [ - "s", - "e" + "start", + "end" ], "properties": { - "s": { + "start": { "type": "integer" }, - "e": { + "end": { "type": "integer" } } } }, - "totalFIds": { + "totalfids": { "type": "integer" } } |