pareto 0.76.1 → 0.76.3

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (49) hide show
  1. package/dist/generated/generic/resolve.d.ts +90 -0
  2. package/dist/generated/generic/resolve.js +249 -0
  3. package/dist/generated/implementation/schemas/module/resolve.d.ts +4 -0
  4. package/dist/generated/implementation/schemas/module/resolve.js +149 -0
  5. package/dist/generated/implementation/schemas/schema/resolve.d.ts +35 -0
  6. package/dist/generated/implementation/schemas/schema/resolve.js +1998 -0
  7. package/dist/generated/interface/core/resolved.d.ts +100 -0
  8. package/dist/generated/interface/core/resolved.js +3 -0
  9. package/dist/generated/interface/core/unconstrained.d.ts +19 -0
  10. package/dist/generated/interface/core/unconstrained.js +3 -0
  11. package/dist/generated/interface/core/unresolved.d.ts +184 -0
  12. package/dist/generated/interface/core/unresolved.js +3 -0
  13. package/dist/generated/interface/schemas/module/migration_boilerplate.d.ts +50 -0
  14. package/dist/generated/interface/schemas/module/migration_boilerplate.js +3 -0
  15. package/dist/generated/interface/schemas/module/resolve.d.ts +127 -0
  16. package/dist/generated/interface/schemas/module/resolve.js +3 -0
  17. package/dist/generated/interface/schemas/module/resolved.d.ts +133 -0
  18. package/dist/generated/interface/schemas/module/resolved.js +3 -0
  19. package/dist/generated/interface/schemas/module/unresolved.d.ts +133 -0
  20. package/dist/generated/interface/schemas/module/unresolved.js +3 -0
  21. package/dist/generated/interface/schemas/schema/migration_boilerplate.d.ts +794 -0
  22. package/dist/generated/interface/schemas/schema/migration_boilerplate.js +3 -0
  23. package/dist/generated/interface/schemas/schema/resolve.d.ts +4401 -0
  24. package/dist/generated/interface/schemas/schema/resolve.js +3 -0
  25. package/dist/generated/interface/schemas/schema/resolved.d.ts +3793 -0
  26. package/dist/generated/interface/schemas/schema/resolved.js +3 -0
  27. package/dist/generated/interface/schemas/schema/unresolved.d.ts +3793 -0
  28. package/dist/generated/interface/schemas/schema/unresolved.js +3 -0
  29. package/dist/globals.d.ts +24 -0
  30. package/dist/globals.js +2 -0
  31. package/dist/index.d.ts +1 -0
  32. package/dist/index.js +5 -0
  33. package/dist/shorthands/module.d.ts +8 -0
  34. package/dist/shorthands/module.js +29 -0
  35. package/dist/shorthands/schema.d.ts +139 -0
  36. package/dist/shorthands/schema.js +870 -0
  37. package/dist/transformations/unmarshall/collect_errors.d.ts +38 -0
  38. package/dist/transformations/unmarshall/collect_errors.js +185 -0
  39. package/dist/transformations/unmarshall/dynamic_post_parse.d.ts +7 -0
  40. package/dist/transformations/unmarshall/dynamic_post_parse.js +267 -0
  41. package/dist/transformations/unmarshall/post_parse_types.d.ts +77 -0
  42. package/dist/transformations/unmarshall/post_parse_types.js +3 -0
  43. package/dist/unmarshall/collect_errors.d.ts +38 -0
  44. package/dist/unmarshall/collect_errors.js +185 -0
  45. package/dist/unmarshall/dynamic_post_parse.d.ts +7 -0
  46. package/dist/unmarshall/dynamic_post_parse.js +267 -0
  47. package/dist/unmarshall/post_parse_types.d.ts +77 -0
  48. package/dist/unmarshall/post_parse_types.js +3 -0
  49. package/package.json +2 -1
@@ -0,0 +1,38 @@
1
+ import * as pt from 'exupery-core-types';
2
+ import * as astn from "astn";
3
+ import * as ppt from "./post_parse_types";
4
+ export type Errors = pt.Array<Error>;
5
+ export type State_Error = ['more than 2 elements', null] | ['missing state name', null] | ['state is not a string', null] | ['missing value', null] | [
6
+ 'unknown state',
7
+ {
8
+ 'found': string;
9
+ 'expected': pt.Dictionary<null>;
10
+ }
11
+ ];
12
+ export type Error = {
13
+ 'range': astn.d_ast.Range;
14
+ 'type': [
15
+ 'error',
16
+ [
17
+ 'invalid value type',
18
+ {
19
+ 'expected': ['text', null] | ['group', null] | ['dictionary', null];
20
+ }
21
+ ] | [
22
+ 'duplicate property',
23
+ {
24
+ name: string;
25
+ }
26
+ ] | [
27
+ 'missing property',
28
+ {
29
+ name: string;
30
+ }
31
+ ] | ['state', State_Error]
32
+ ] | [
33
+ 'warning',
34
+ ['expected apostrophed string', null] | ['expected quoted string', null] | ['expected backticked string', null] | ['expected undelimited string', null]
35
+ ];
36
+ };
37
+ export declare const Document: ($: ppt.Document) => Errors;
38
+ export declare const Node: ($: ppt.Node) => Errors;
@@ -0,0 +1,185 @@
1
+ "use strict";
2
+ var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
3
+ if (k2 === undefined) k2 = k;
4
+ var desc = Object.getOwnPropertyDescriptor(m, k);
5
+ if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
6
+ desc = { enumerable: true, get: function() { return m[k]; } };
7
+ }
8
+ Object.defineProperty(o, k2, desc);
9
+ }) : (function(o, m, k, k2) {
10
+ if (k2 === undefined) k2 = k;
11
+ o[k2] = m[k];
12
+ }));
13
+ var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
14
+ Object.defineProperty(o, "default", { enumerable: true, value: v });
15
+ }) : function(o, v) {
16
+ o["default"] = v;
17
+ });
18
+ var __importStar = (this && this.__importStar) || function (mod) {
19
+ if (mod && mod.__esModule) return mod;
20
+ var result = {};
21
+ if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
22
+ __setModuleDefault(result, mod);
23
+ return result;
24
+ };
25
+ Object.defineProperty(exports, "__esModule", { value: true });
26
+ exports.Node = exports.Document = void 0;
27
+ const pa = __importStar(require("exupery-core-alg"));
28
+ const pdev = __importStar(require("exupery-core-dev"));
29
+ const pareto_standard_operations_1 = require("pareto-standard-operations");
30
+ const Document = ($) => {
31
+ return (0, exports.Node)($.content);
32
+ };
33
+ exports.Document = Document;
34
+ const Node = ($) => {
35
+ return pa.cc($, ($) => {
36
+ switch ($[0]) {
37
+ case 'group': return pa.ss($, ($) => pa.cc($.type, ($) => {
38
+ switch ($[0]) {
39
+ case 'ordered': return pa.ss($, ($) => pdev.implement_me());
40
+ case 'indexed': return pa.ss($, ($) => pareto_standard_operations_1.impure.dictionary['dictionary of lists to list']($.properties.map(($, key) => pa.cc($, ($) => {
41
+ switch ($[0]) {
42
+ case 'multiple': return pa.ss($, ($) => pareto_standard_operations_1.pure.list.flatten($.map(($) => pareto_standard_operations_1.pure.list.flatten(pa.array_literal([
43
+ pa.array_literal([
44
+ {
45
+ 'range': $.range,
46
+ 'type': ['error', ['duplicate property', {
47
+ name: key
48
+ }]]
49
+ }
50
+ ]),
51
+ (0, exports.Node)($.node)
52
+ ])))));
53
+ case 'missing': return pa.ss($, ($) => pa.array_literal([
54
+ {
55
+ 'range': $,
56
+ 'type': ['error', ['missing property', {
57
+ name: key
58
+ }]]
59
+ }
60
+ ]));
61
+ case 'unique': return pa.ss($, ($) => (0, exports.Node)($));
62
+ default: return pa.au($[0]);
63
+ }
64
+ }))));
65
+ case 'invalid': return pa.ss($, ($) => pa.array_literal([
66
+ {
67
+ 'range': $,
68
+ 'type': ['error', ['invalid value type', {
69
+ 'expected': ['group', null],
70
+ }]]
71
+ }
72
+ ]));
73
+ default: return pa.au($[0]);
74
+ }
75
+ }));
76
+ case 'dictionary': return pa.ss($, ($) => pa.cc($.status, ($) => {
77
+ switch ($[0]) {
78
+ case 'valid': return pa.ss($, ($) => {
79
+ return pareto_standard_operations_1.impure.dictionary['dictionary of lists to list']($.map(($, key) => {
80
+ return pa.cc($, ($) => {
81
+ switch ($[0]) {
82
+ case 'unique': return pa.ss($, ($) => (0, exports.Node)($));
83
+ case 'multiple': return pa.ss($, ($) => pareto_standard_operations_1.pure.list.flatten($.map(($) => pareto_standard_operations_1.pure.list.flatten(pa.array_literal([
84
+ pa.array_literal([
85
+ {
86
+ 'range': $.range,
87
+ 'type': ['error', ['duplicate property', {
88
+ name: key
89
+ }]]
90
+ }
91
+ ]),
92
+ (0, exports.Node)($.node)
93
+ ])))));
94
+ default: return pa.au($[0]);
95
+ }
96
+ });
97
+ }));
98
+ });
99
+ case 'invalid': return pa.ss($, ($) => pa.array_literal([
100
+ {
101
+ 'range': $,
102
+ 'type': ['error', ['invalid value type', {
103
+ 'expected': ['dictionary', null],
104
+ }]]
105
+ }
106
+ ]));
107
+ default: return pa.au($[0]);
108
+ }
109
+ }));
110
+ case 'number': return pa.ss($, ($) => pa.cc($.status, ($) => {
111
+ switch ($[0]) {
112
+ case 'valid': return pa.ss($, ($) => $['correct string type']
113
+ ? pa.array_literal([])
114
+ : pa.array_literal([{
115
+ 'range': $.range,
116
+ 'type': ['warning', ['expected undelimited string', null]]
117
+ }]));
118
+ case 'invalid': return pa.ss($, ($) => pa.array_literal([
119
+ {
120
+ 'range': $,
121
+ 'type': ['error', ['invalid value type', {
122
+ 'expected': ['text', null],
123
+ }]]
124
+ }
125
+ ]));
126
+ default: return pa.au($[0]);
127
+ }
128
+ }));
129
+ case 'boolean': return pa.ss($, ($) => pdev.implement_me());
130
+ case 'list': return pa.ss($, ($) => pdev.implement_me());
131
+ case 'nothing': return pa.ss($, ($) => pdev.implement_me());
132
+ case 'reference': return pa.ss($, ($) => pdev.implement_me());
133
+ case 'component': return pa.ss($, ($) => pdev.implement_me());
134
+ case 'identifier value pair': return pa.ss($, ($) => pdev.implement_me());
135
+ case 'type parameter': return pa.ss($, ($) => pdev.implement_me());
136
+ case 'optional': return pa.ss($, ($) => pdev.implement_me());
137
+ case 'state': return pa.ss($, ($) => pa.cc($.status, ($) => {
138
+ switch ($[0]) {
139
+ case 'valid': return pa.ss($, ($) => (0, exports.Node)($.node));
140
+ case 'more than 2 elements': return pa.ss($, ($) => pa.array_literal([{
141
+ 'range': $,
142
+ 'type': ['error', ['state', ['more than 2 elements', null]]]
143
+ }]));
144
+ case 'missing state name': return pa.ss($, ($) => pa.array_literal([{
145
+ 'range': $,
146
+ 'type': ['error', ['state', ['missing state name', null]]]
147
+ }]));
148
+ case 'state is not a string': return pa.ss($, ($) => pa.array_literal([{
149
+ 'range': $,
150
+ 'type': ['error', ['state', ['state is not a string', null]]]
151
+ }]));
152
+ case 'missing value': return pa.ss($, ($) => pa.array_literal([{
153
+ 'range': $,
154
+ 'type': ['error', ['state', ['missing value', null]]]
155
+ }]));
156
+ case 'unknown state': return pa.ss($, ($) => pa.array_literal([{
157
+ 'range': $.range,
158
+ 'type': ['error', ['state', ['unknown state', {
159
+ 'found': $.found,
160
+ 'expected': $.expected
161
+ }]]]
162
+ }]));
163
+ default: return pa.au($[0]);
164
+ }
165
+ }));
166
+ case 'text': return pa.ss($, ($) => pa.cc($.status, ($) => {
167
+ switch ($[0]) {
168
+ case 'valid': return pa.array_literal([]);
169
+ case 'invalid value type': return pa.ss($, ($) => pa.array_literal([
170
+ {
171
+ 'range': $,
172
+ 'type': ['error', ['invalid value type', {
173
+ 'expected': ['text', null],
174
+ }]]
175
+ }
176
+ ]));
177
+ default: return pa.au($[0]);
178
+ }
179
+ }));
180
+ default: return pa.au($[0]);
181
+ }
182
+ });
183
+ };
184
+ exports.Node = Node;
185
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29sbGVjdF9lcnJvcnMuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdW5tYXJzaGFsbC9jb2xsZWN0X2Vycm9ycy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUFBLHFEQUFzQztBQUV0Qyx1REFBd0M7QUFPeEMsMkVBQXlEO0FBc0NsRCxNQUFNLFFBQVEsR0FBRyxDQUFDLENBQWUsRUFBVSxFQUFFO0lBQ2hELE9BQU8sSUFBQSxZQUFJLEVBQUMsQ0FBQyxDQUFDLE9BQU8sQ0FBQyxDQUFBO0FBQzFCLENBQUMsQ0FBQTtBQUZZLFFBQUEsUUFBUSxZQUVwQjtBQUVNLE1BQU0sSUFBSSxHQUFHLENBQUMsQ0FBVyxFQUFVLEVBQUU7SUFDeEMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBVSxFQUFFO1FBQzFCLFFBQVEsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7WUFDWCxLQUFLLE9BQU8sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLElBQUksRUFBRSxDQUFDLENBQUMsRUFBVSxFQUFFO2dCQUM3RCxRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO29CQUNYLEtBQUssU0FBUyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsSUFBSSxDQUFDLFlBQVksRUFBRSxDQUFDLENBQUE7b0JBQzNELEtBQUssU0FBUyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsbUNBQU0sQ0FBQyxVQUFVLENBQUMsNkJBQTZCLENBQUMsQ0FBQyxDQUFDLENBQUMsVUFBVSxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsRUFBRSxHQUFHLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFVLEVBQUU7d0JBQ3hJLFFBQVEsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7NEJBQ1gsS0FBSyxVQUFVLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxpQ0FBSSxDQUFDLElBQUksQ0FBQyxPQUFPLENBQUMsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsaUNBQUksQ0FBQyxJQUFJLENBQUMsT0FBTyxDQUFDLEVBQUUsQ0FBQyxhQUFhLENBQUM7Z0NBQ3RHLEVBQUUsQ0FBQyxhQUFhLENBQVE7b0NBQ3BCO3dDQUNJLE9BQU8sRUFBRSxDQUFDLENBQUMsS0FBSzt3Q0FDaEIsTUFBTSxFQUFFLENBQUMsT0FBTyxFQUFFLENBQUMsb0JBQW9CLEVBQUU7b0RBQ3JDLElBQUksRUFBRSxHQUFHO2lEQUNaLENBQUMsQ0FBQztxQ0FDTjtpQ0FDSixDQUFDO2dDQUNGLElBQUEsWUFBSSxFQUFDLENBQUMsQ0FBQyxJQUFJLENBQUM7NkJBQ2YsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7NEJBQ04sS0FBSyxTQUFTLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUMsYUFBYSxDQUFDO2dDQUNwRDtvQ0FDSSxPQUFPLEVBQUUsQ0FBQztvQ0FDVixNQUFNLEVBQUUsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxrQkFBa0IsRUFBRTtnREFDbkMsSUFBSSxFQUFFLEdBQUc7NkNBQ1osQ0FBQyxDQUFDO2lDQUNOOzZCQUNKLENBQUMsQ0FBQyxDQUFBOzRCQUNILEtBQUssUUFBUSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsSUFBQSxZQUFJLEVBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQTs0QkFDOUMsT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO3dCQUMvQixDQUFDO29CQUNMLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO29CQUNMLEtBQUssU0FBUyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLGFBQWEsQ0FBQzt3QkFDcEQ7NEJBQ0ksT0FBTyxFQUFFLENBQUM7NEJBQ1YsTUFBTSxFQUFFLENBQUMsT0FBTyxFQUFFLENBQUMsb0JBQW9CLEVBQUU7d0NBQ3JDLFVBQVUsRUFBRSxDQUFDLE9BQU8sRUFBRSxJQUFJLENBQUM7cUNBQzlCLENBQUMsQ0FBQzt5QkFDTjtxQkFDSixDQUFDLENBQUMsQ0FBQTtvQkFDSCxPQUFPLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7Z0JBQy9CLENBQUM7WUFDTCxDQUFDLENBQUMsQ0FBQyxDQUFBO1lBQ0gsS0FBSyxZQUFZLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxNQUFNLEVBQUUsQ0FBQyxDQUFDLEVBQVUsRUFBRTtnQkFDcEUsUUFBUSxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQztvQkFDWCxLQUFLLE9BQU8sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRTt3QkFDaEMsT0FBTyxtQ0FBTSxDQUFDLFVBQVUsQ0FBQyw2QkFBNkIsQ0FBQyxDQUFDLENBQUMsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLEVBQUUsR0FBRyxFQUFFLEVBQUU7NEJBQ3JFLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQVUsRUFBRTtnQ0FDMUIsUUFBUSxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQztvQ0FDWCxLQUFLLFFBQVEsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLElBQUEsWUFBSSxFQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7b0NBQzlDLEtBQUssVUFBVSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsaUNBQUksQ0FBQyxJQUFJLENBQUMsT0FBTyxDQUFDLENBQUMsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLGlDQUFJLENBQUMsSUFBSSxDQUFDLE9BQU8sQ0FBQyxFQUFFLENBQUMsYUFBYSxDQUFDO3dDQUN0RyxFQUFFLENBQUMsYUFBYSxDQUFDOzRDQUNiO2dEQUNJLE9BQU8sRUFBRSxDQUFDLENBQUMsS0FBSztnREFDaEIsTUFBTSxFQUFFLENBQUMsT0FBTyxFQUFFLENBQUMsb0JBQW9CLEVBQUU7NERBQ3JDLElBQUksRUFBRSxHQUFHO3lEQUNaLENBQUMsQ0FBQzs2Q0FDTjt5Q0FDSixDQUFDO3dDQUNGLElBQUEsWUFBSSxFQUFDLENBQUMsQ0FBQyxJQUFJLENBQUM7cUNBQ2YsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7b0NBQ04sT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO2dDQUMvQixDQUFDOzRCQUNMLENBQUMsQ0FBQyxDQUFBO3dCQUNOLENBQUMsQ0FBQyxDQUFDLENBQUE7b0JBQ1AsQ0FBQyxDQUFDLENBQUE7b0JBQ0YsS0FBSyxTQUFTLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUMsYUFBYSxDQUFDO3dCQUNwRDs0QkFDSSxPQUFPLEVBQUUsQ0FBQzs0QkFDVixNQUFNLEVBQUUsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxvQkFBb0IsRUFBRTt3Q0FDckMsVUFBVSxFQUFFLENBQUMsWUFBWSxFQUFFLElBQUksQ0FBQztxQ0FDbkMsQ0FBQyxDQUFDO3lCQUNOO3FCQUNKLENBQUMsQ0FBQyxDQUFBO29CQUNILE9BQU8sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQTtnQkFDL0IsQ0FBQztZQUNMLENBQUMsQ0FBQyxDQUFDLENBQUE7WUFDSCxLQUFLLFFBQVEsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLE1BQU0sRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFO2dCQUN4RCxRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO29CQUNYLEtBQUssT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBVSxFQUFFLENBQUMsQ0FBQyxDQUFDLHFCQUFxQixDQUFDO3dCQUNqRSxDQUFDLENBQUMsRUFBRSxDQUFDLGFBQWEsQ0FBQyxFQUFFLENBQUM7d0JBQ3RCLENBQUMsQ0FBQyxFQUFFLENBQUMsYUFBYSxDQUFRLENBQUM7Z0NBQ3ZCLE9BQU8sRUFBRSxDQUFDLENBQUMsS0FBSztnQ0FDaEIsTUFBTSxFQUFFLENBQUMsU0FBUyxFQUFFLENBQUMsNkJBQTZCLEVBQUUsSUFBSSxDQUFDLENBQUM7NkJBQzdELENBQUMsQ0FBQyxDQUFDLENBQUE7b0JBQ1IsS0FBSyxTQUFTLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUMsYUFBYSxDQUFDO3dCQUNwRDs0QkFDSSxPQUFPLEVBQUUsQ0FBQzs0QkFDVixNQUFNLEVBQUUsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxvQkFBb0IsRUFBRTt3Q0FDckMsVUFBVSxFQUFFLENBQUMsTUFBTSxFQUFFLElBQUksQ0FBQztxQ0FDN0IsQ0FBQyxDQUFDO3lCQUNOO3FCQUNKLENBQUMsQ0FBQyxDQUFBO29CQUNILE9BQU8sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQTtnQkFDL0IsQ0FBQztZQUNMLENBQUMsQ0FBQyxDQUFDLENBQUE7WUFDSCxLQUFLLFNBQVMsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLElBQUksQ0FBQyxZQUFZLEVBQUUsQ0FBQyxDQUFBO1lBQzNELEtBQUssTUFBTSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsSUFBSSxDQUFDLFlBQVksRUFBRSxDQUFDLENBQUE7WUFDeEQsS0FBSyxTQUFTLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxJQUFJLENBQUMsWUFBWSxFQUFFLENBQUMsQ0FBQTtZQUMzRCxLQUFLLFdBQVcsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLElBQUksQ0FBQyxZQUFZLEVBQUUsQ0FBQyxDQUFBO1lBQzdELEtBQUssV0FBVyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsSUFBSSxDQUFDLFlBQVksRUFBRSxDQUFDLENBQUE7WUFDN0QsS0FBSyx1QkFBdUIsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLElBQUksQ0FBQyxZQUFZLEVBQUUsQ0FBQyxDQUFBO1lBQ3pFLEtBQUssZ0JBQWdCLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxJQUFJLENBQUMsWUFBWSxFQUFFLENBQUMsQ0FBQTtZQUNsRSxLQUFLLFVBQVUsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLElBQUksQ0FBQyxZQUFZLEVBQUUsQ0FBQyxDQUFBO1lBQzVELEtBQUssT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsTUFBTSxFQUFFLENBQUMsQ0FBQyxFQUFVLEVBQUU7Z0JBQy9ELFFBQVEsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7b0JBQ1gsS0FBSyxPQUFPLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxJQUFBLFlBQUksRUFBQyxDQUFDLENBQUMsSUFBSSxDQUFDLENBQUMsQ0FBQTtvQkFDbEQsS0FBSyxzQkFBc0IsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQyxhQUFhLENBQUMsQ0FBQzs0QkFDbEUsT0FBTyxFQUFFLENBQUM7NEJBQ1YsTUFBTSxFQUFFLENBQUMsT0FBTyxFQUFFLENBQUMsT0FBTyxFQUFFLENBQUMsc0JBQXNCLEVBQUUsSUFBSSxDQUFDLENBQUMsQ0FBQzt5QkFDL0QsQ0FBQyxDQUFDLENBQUMsQ0FBQTtvQkFDSixLQUFLLG9CQUFvQixDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLGFBQWEsQ0FBQyxDQUFDOzRCQUNoRSxPQUFPLEVBQUUsQ0FBQzs0QkFDVixNQUFNLEVBQUUsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxvQkFBb0IsRUFBRSxJQUFJLENBQUMsQ0FBQyxDQUFDO3lCQUM3RCxDQUFDLENBQUMsQ0FBQyxDQUFBO29CQUNKLEtBQUssdUJBQXVCLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUMsYUFBYSxDQUFDLENBQUM7NEJBQ25FLE9BQU8sRUFBRSxDQUFDOzRCQUNWLE1BQU0sRUFBRSxDQUFDLE9BQU8sRUFBRSxDQUFDLE9BQU8sRUFBRSxDQUFDLHVCQUF1QixFQUFFLElBQUksQ0FBQyxDQUFDLENBQUM7eUJBQ2hFLENBQUMsQ0FBQyxDQUFDLENBQUE7b0JBQ0osS0FBSyxlQUFlLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUMsYUFBYSxDQUFDLENBQUM7NEJBQzNELE9BQU8sRUFBRSxDQUFDOzRCQUNWLE1BQU0sRUFBRSxDQUFDLE9BQU8sRUFBRSxDQUFDLE9BQU8sRUFBRSxDQUFDLGVBQWUsRUFBRSxJQUFJLENBQUMsQ0FBQyxDQUFDO3lCQUN4RCxDQUFDLENBQUMsQ0FBQyxDQUFBO29CQUNKLEtBQUssZUFBZSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLGFBQWEsQ0FBQyxDQUFDOzRCQUMzRCxPQUFPLEVBQUUsQ0FBQyxDQUFDLEtBQUs7NEJBQ2hCLE1BQU0sRUFBRSxDQUFDLE9BQU8sRUFBRSxDQUFDLE9BQU8sRUFBRSxDQUFDLGVBQWUsRUFBRTs0Q0FDMUMsT0FBTyxFQUFFLENBQUMsQ0FBQyxLQUFLOzRDQUNoQixVQUFVLEVBQUUsQ0FBQyxDQUFDLFFBQVE7eUNBQ3pCLENBQUMsQ0FBQyxDQUFDO3lCQUNQLENBQUMsQ0FBQyxDQUFDLENBQUE7b0JBQ0osT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO2dCQUMvQixDQUFDO1lBQ0wsQ0FBQyxDQUFDLENBQUMsQ0FBQTtZQUNILEtBQUssTUFBTSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsTUFBTSxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUU7Z0JBQ3RELFFBQVEsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7b0JBQ1gsS0FBSyxPQUFPLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxhQUFhLENBQUMsRUFBRSxDQUFDLENBQUE7b0JBQ3pDLEtBQUssb0JBQW9CLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUMsYUFBYSxDQUFDO3dCQUMvRDs0QkFDSSxPQUFPLEVBQUUsQ0FBQzs0QkFDVixNQUFNLEVBQUUsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxvQkFBb0IsRUFBRTt3Q0FDckMsVUFBVSxFQUFFLENBQUMsTUFBTSxFQUFFLElBQUksQ0FBQztxQ0FDN0IsQ0FBQyxDQUFDO3lCQUNOO3FCQUNKLENBQUMsQ0FBQyxDQUFBO29CQUNILE9BQU8sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQTtnQkFDL0IsQ0FBQztZQUNMLENBQUMsQ0FBQyxDQUFDLENBQUE7WUFDSCxPQUFPLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7UUFDL0IsQ0FBQztJQUNMLENBQUMsQ0FBQyxDQUFBO0FBQ04sQ0FBQyxDQUFBO0FBckpZLFFBQUEsSUFBSSxRQXFKaEIifQ==
@@ -0,0 +1,7 @@
1
+ import * as pt from 'exupery-core-types';
2
+ import * as x from "../generated/interface/schemas/schema/resolved";
3
+ import * as astn from "astn";
4
+ import * as out from "./post_parse_types";
5
+ export declare const Document: (definition: x.Schemas.D.SG.schema, data: astn.d_ast.Document) => out.Document;
6
+ export declare const Optional_Node: (definition: x.Type_Node, data: pt.Optional_Value<astn.d_ast.Value>) => out.Node;
7
+ export declare const Node: (definition: x.Type_Node, data: astn.d_ast.Value) => out.Node;
@@ -0,0 +1,267 @@
1
+ "use strict";
2
+ var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
3
+ if (k2 === undefined) k2 = k;
4
+ var desc = Object.getOwnPropertyDescriptor(m, k);
5
+ if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
6
+ desc = { enumerable: true, get: function() { return m[k]; } };
7
+ }
8
+ Object.defineProperty(o, k2, desc);
9
+ }) : (function(o, m, k, k2) {
10
+ if (k2 === undefined) k2 = k;
11
+ o[k2] = m[k];
12
+ }));
13
+ var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
14
+ Object.defineProperty(o, "default", { enumerable: true, value: v });
15
+ }) : function(o, v) {
16
+ o["default"] = v;
17
+ });
18
+ var __importStar = (this && this.__importStar) || function (mod) {
19
+ if (mod && mod.__esModule) return mod;
20
+ var result = {};
21
+ if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
22
+ __setModuleDefault(result, mod);
23
+ return result;
24
+ };
25
+ Object.defineProperty(exports, "__esModule", { value: true });
26
+ exports.Node = exports.Optional_Node = exports.Document = void 0;
27
+ const pa = __importStar(require("exupery-core-alg"));
28
+ const pdev = __importStar(require("exupery-core-dev"));
29
+ const pareto_standard_operations_1 = require("pareto-standard-operations");
30
+ const Document = (definition, data) => {
31
+ return {
32
+ 'content': (0, exports.Node)(definition.types.dictionary.__get_entry("Root").transform(($) => $, () => pa.panic(`boekhouding schema Root type not found`)).node, data.content)
33
+ };
34
+ };
35
+ exports.Document = Document;
36
+ const Optional_Node = (definition, data) => {
37
+ return data.transform(($) => (0, exports.Node)(definition, $), () => pdev.implement_me());
38
+ };
39
+ exports.Optional_Node = Optional_Node;
40
+ const Node = (definition, data) => {
41
+ return pa.cc(definition, ($) => {
42
+ switch ($[0]) {
43
+ case 'number': return pa.ss($, ($) => {
44
+ return ['number', {
45
+ 'definition': $,
46
+ 'status': pa.cc(data.type, ($) => {
47
+ switch ($[0]) {
48
+ case 'string': return pa.ss($, ($) => ['valid', {
49
+ 'range': $.range,
50
+ 'correct string type': pa.cc($.type, ($) => {
51
+ switch ($[0]) {
52
+ case 'quoted': return true;
53
+ case 'apostrophed': return false;
54
+ case 'undelimited': return true;
55
+ case 'backticked': return false;
56
+ default: return pa.au($[0]);
57
+ }
58
+ })
59
+ }]);
60
+ // case 'not set': return pa.ss($, () => ['invalid', data.location])
61
+ default: return pdev.implement_me();
62
+ }
63
+ })
64
+ }];
65
+ });
66
+ case 'boolean': return pa.ss($, ($) => pdev.implement_me());
67
+ case 'list': return pa.ss($, ($) => pdev.implement_me());
68
+ case 'nothing': return pa.ss($, ($) => pdev.implement_me());
69
+ case 'reference': return pa.ss($, ($) => pdev.implement_me());
70
+ case 'component': return pa.ss($, ($) => pdev.implement_me());
71
+ case 'dictionary': return pa.ss($, ($) => {
72
+ const prop_def = $.node;
73
+ return ['dictionary', {
74
+ 'definition': $,
75
+ 'status': pa.cc(data.type, ($) => {
76
+ switch ($[0]) {
77
+ case 'indexed collection': return pa.ss($, ($) => {
78
+ const entries = pareto_standard_operations_1.impure.list.group(pa.cc($, ($) => {
79
+ switch ($[0]) {
80
+ case 'dictionary': return pa.ss($, ($) => $.entries);
81
+ case 'verbose group': return pa.ss($, ($) => $.entries);
82
+ default: return pa.au($[0]);
83
+ }
84
+ }).map(($) => {
85
+ return {
86
+ 'key': $.key.value,
87
+ 'value': $
88
+ };
89
+ }));
90
+ return ['valid', entries.map(($) => pareto_standard_operations_1.impure.list['expect exactly one element']($).transform(($) => ['unique', (0, exports.Optional_Node)(prop_def, $.value.map(($) => $.value))], () => ['multiple', $.map(($) => ({
91
+ 'node': (0, exports.Optional_Node)(prop_def, $.value.map(($) => $.value)),
92
+ 'range': $.key.range
93
+ }))]))];
94
+ });
95
+ default: return ['invalid', data.range];
96
+ }
97
+ })
98
+ }];
99
+ });
100
+ case 'group': return pa.ss($, ($) => {
101
+ const group_def = $;
102
+ // pa.cc(data.type, ($) => {
103
+ // // switch ($[0]) {
104
+ // // case 'verbose group': return pa.ss($, ($) => {
105
+ // // impure.list['select clashing keys']($.entries.map(($) => {
106
+ // // return {
107
+ // // 'key': $.key.value,
108
+ // // 'value': $
109
+ // // }
110
+ // // })).map(($, key) => {
111
+ // // pdev.log_debug_message(`clashing key: ${key}`)
112
+ // // })
113
+ // // const properties = impure.list['to dictionary, overwrite clashing keys']($.entries.map(($) => {
114
+ // // return {
115
+ // // 'key': $.key.value,
116
+ // // 'value': $
117
+ // // }
118
+ // // }))
119
+ // // group_def.map(($, key) => {
120
+ // // properties.__get_entry(key).transform(
121
+ // // ($) => {
122
+ // // pdev.log_debug_message(`property ${key} found in data`)
123
+ // // // do_node(
124
+ // // // $.type,
125
+ // // // $.value
126
+ // // // )
127
+ // // },
128
+ // // () => {
129
+ // // pdev.log_debug_message(`property ${key} not found in data`)
130
+ // // }
131
+ // // )
132
+ // // })
133
+ // // })
134
+ // // default: return pdev.implement_me()
135
+ // // }
136
+ // // })
137
+ return ['group', {
138
+ 'definition': $,
139
+ 'type': pa.cc(data, ($) => {
140
+ const value = $;
141
+ return pa.cc($.type, ($) => {
142
+ switch ($[0]) {
143
+ case 'indexed collection': return pa.ss($, ($) => {
144
+ const entries = pareto_standard_operations_1.impure.list.group(pa.cc($, ($) => {
145
+ switch ($[0]) {
146
+ case 'dictionary': return pa.ss($, ($) => $.entries);
147
+ case 'verbose group': return pa.ss($, ($) => $.entries);
148
+ default: return pa.au($[0]);
149
+ }
150
+ }).map(($) => {
151
+ return {
152
+ 'key': $.key.value,
153
+ 'value': $
154
+ };
155
+ }));
156
+ const range = pa.cc($, ($) => {
157
+ switch ($[0]) {
158
+ case 'dictionary': return pa.ss($, ($) => $['{'].range);
159
+ case 'verbose group': return pa.ss($, ($) => $['('].range);
160
+ default: return pa.au($[0]);
161
+ }
162
+ });
163
+ return ['indexed', {
164
+ 'superfluous entries': pareto_standard_operations_1.pure.dictionary.filter(pareto_standard_operations_1.impure.dictionary.merge(entries, {
165
+ 'supporting dictionary': group_def
166
+ }).map(($) => {
167
+ return $.supporting.transform(//drop all the ones for which there is a definition
168
+ ($) => pa.not_set(), () => pa.set($.context));
169
+ })).map(($) => $.map(($) => $.key.range)), //select the locations
170
+ 'properties': pareto_standard_operations_1.impure.dictionary.merge(group_def, {
171
+ 'supporting dictionary': entries
172
+ }).map(($) => {
173
+ const prop_def = $.context;
174
+ return $.supporting.transform(($) => pareto_standard_operations_1.impure.list['expect exactly one element']($).transform(($) => ['unique', (0, exports.Optional_Node)(prop_def, $.value.map(($) => $.value))], () => ['multiple', $.map(($) => ({
175
+ 'node': (0, exports.Optional_Node)(prop_def, $.value.map(($) => $.value)),
176
+ 'range': $.key.range
177
+ }))]), () => ['missing', range]);
178
+ })
179
+ }];
180
+ });
181
+ //case 'ordered collection': return pdev.implement_me()
182
+ default: return ['invalid', value.range];
183
+ }
184
+ });
185
+ })
186
+ }];
187
+ });
188
+ case 'identifier value pair': return pa.ss($, ($) => pdev.implement_me());
189
+ case 'optional': return pa.ss($, ($) => pdev.implement_me());
190
+ case 'state group': return pa.ss($, ($) => {
191
+ const def = $;
192
+ return ['state', {
193
+ 'status': pa.cc(data.type, ($) => {
194
+ switch ($[0]) {
195
+ case 'tagged value': return pa.ss($, ($) => {
196
+ const state = $.state;
197
+ const value = $.value;
198
+ return def.__get_entry($.state.value).transform(($) => ['valid', {
199
+ 'node': (0, exports.Node)($, value)
200
+ }], () => ['unknown state', {
201
+ 'range': $.state.range,
202
+ 'found': $.state.value,
203
+ 'expected': def.map(($) => null)
204
+ }]);
205
+ });
206
+ case 'ordered collection': return pa.ss($, ($) => {
207
+ const elements = pa.cc($, ($) => {
208
+ switch ($[0]) {
209
+ case 'list': return pa.ss($, ($) => $.elements);
210
+ case 'concise group': return pa.ss($, ($) => $.elements);
211
+ default: return pa.au($[0]);
212
+ }
213
+ });
214
+ const range = pa.cc($, ($) => {
215
+ switch ($[0]) {
216
+ case 'list': return pa.ss($, ($) => $['['].range);
217
+ case 'concise group': return pa.ss($, ($) => $['<'].range);
218
+ default: return pa.au($[0]);
219
+ }
220
+ });
221
+ if (elements.__get_length() > 2) {
222
+ return ['more than 2 elements', range];
223
+ }
224
+ const first = elements.__get_element_at(0);
225
+ return first.transform(($) => {
226
+ if ($.value.type[0] !== 'string') {
227
+ return ['state is not a string', $.value.range];
228
+ }
229
+ const state_name = $.value.type[1].value;
230
+ const state_name_range = $.value.type[1].range;
231
+ return elements.__get_element_at(1).transform(($) => {
232
+ const value = $.value;
233
+ return def.__get_entry(state_name).transform(($) => ['valid', {
234
+ 'node': (0, exports.Node)($, value)
235
+ }], () => ['unknown state', {
236
+ 'range': state_name_range,
237
+ 'found': state_name,
238
+ 'expected': def.map(($) => null)
239
+ }]);
240
+ }, () => ['missing value', $.value.range]);
241
+ }, () => ['missing state name', range]);
242
+ });
243
+ // case 'not set': return pa.ss($, () => ['invalid', data.location])
244
+ default: return pdev.implement_me();
245
+ }
246
+ })
247
+ }];
248
+ });
249
+ case 'text': return pa.ss($, ($) => {
250
+ return ['text', {
251
+ 'definition': $,
252
+ 'status': pa.cc(data.type, ($) => {
253
+ switch ($[0]) {
254
+ case 'string': return pa.ss($, ($) => ['valid', null]);
255
+ // case 'not set': return pa.ss($, () => ['invalid', data.location])
256
+ default: return ['invalid value type', data.range];
257
+ }
258
+ })
259
+ }];
260
+ });
261
+ case 'type parameter': return pa.ss($, ($) => pdev.implement_me());
262
+ default: return pa.au($[0]);
263
+ }
264
+ });
265
+ };
266
+ exports.Node = Node;
267
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZHluYW1pY19wb3N0X3BhcnNlLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3VubWFyc2hhbGwvZHluYW1pY19wb3N0X3BhcnNlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiI7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBQUEscURBQXNDO0FBRXRDLHVEQUF3QztBQUV4QywyRUFBeUQ7QUFRbEQsTUFBTSxRQUFRLEdBQUcsQ0FDcEIsVUFBaUMsRUFDakMsSUFBeUIsRUFDYixFQUFFO0lBRWQsT0FBTztRQUNILFNBQVMsRUFBRSxJQUFBLFlBQUksRUFDWCxVQUFVLENBQUMsS0FBSyxDQUFDLFVBQVUsQ0FBQyxXQUFXLENBQUMsTUFBTSxDQUFDLENBQUMsU0FBUyxDQUNyRCxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBQyxFQUNSLEdBQUcsRUFBRSxDQUFDLEVBQUUsQ0FBQyxLQUFLLENBQUMsd0NBQXdDLENBQUMsQ0FDM0QsQ0FBQyxJQUFJLEVBQ04sSUFBSSxDQUFDLE9BQU8sQ0FDZjtLQUNKLENBQUE7QUFFTCxDQUFDLENBQUE7QUFmWSxRQUFBLFFBQVEsWUFlcEI7QUFFTSxNQUFNLGFBQWEsR0FBRyxDQUN6QixVQUF1QixFQUN2QixJQUF5QyxFQUNqQyxFQUFFO0lBQ1YsT0FBTyxJQUFJLENBQUMsU0FBUyxDQUNqQixDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsSUFBQSxZQUFJLEVBQUMsVUFBVSxFQUFFLENBQUMsQ0FBQyxFQUMxQixHQUFHLEVBQUUsQ0FBQyxJQUFJLENBQUMsWUFBWSxFQUFFLENBQzVCLENBQUE7QUFDTCxDQUFDLENBQUE7QUFSWSxRQUFBLGFBQWEsaUJBUXpCO0FBRU0sTUFBTSxJQUFJLEdBQUcsQ0FDaEIsVUFBdUIsRUFDdkIsSUFBc0IsRUFDZCxFQUFFO0lBQ1YsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLFVBQVUsRUFBRSxDQUFDLENBQUMsRUFBWSxFQUFFO1FBQ3JDLFFBQVEsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7WUFDWCxLQUFLLFFBQVEsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQVksRUFBRTtnQkFDM0MsT0FBTyxDQUFDLFFBQVEsRUFBRTt3QkFDZCxZQUFZLEVBQUUsQ0FBQzt3QkFDZixRQUFRLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQyxJQUFJLENBQUMsSUFBSSxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUU7NEJBQzdCLFFBQVEsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7Z0NBQ1gsS0FBSyxRQUFRLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLE9BQU8sRUFBRTt3Q0FDNUMsT0FBTyxFQUFFLENBQUMsQ0FBQyxLQUFLO3dDQUNoQixxQkFBcUIsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxJQUFJLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRTs0Q0FDdkMsUUFBUSxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQztnREFDWCxLQUFLLFFBQVEsQ0FBQyxDQUFDLE9BQU8sSUFBSSxDQUFBO2dEQUMxQixLQUFLLGFBQWEsQ0FBQyxDQUFDLE9BQU8sS0FBSyxDQUFBO2dEQUNoQyxLQUFLLGFBQWEsQ0FBQyxDQUFDLE9BQU8sSUFBSSxDQUFBO2dEQUMvQixLQUFLLFlBQVksQ0FBQyxDQUFDLE9BQU8sS0FBSyxDQUFBO2dEQUMvQixPQUFPLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7NENBQy9CLENBQUM7d0NBQ0wsQ0FBQyxDQUFDO3FDQUNMLENBQUMsQ0FBQyxDQUFBO2dDQUNILG9FQUFvRTtnQ0FDcEUsT0FBTyxDQUFDLENBQUMsT0FBTyxJQUFJLENBQUMsWUFBWSxFQUFFLENBQUE7NEJBQ3ZDLENBQUM7d0JBQ0wsQ0FBQyxDQUFDO3FCQUNMLENBQUMsQ0FBQTtZQUNOLENBQUMsQ0FBQyxDQUFBO1lBQ0YsS0FBSyxTQUFTLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxJQUFJLENBQUMsWUFBWSxFQUFFLENBQUMsQ0FBQTtZQUMzRCxLQUFLLE1BQU0sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLElBQUksQ0FBQyxZQUFZLEVBQUUsQ0FBQyxDQUFBO1lBQ3hELEtBQUssU0FBUyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsSUFBSSxDQUFDLFlBQVksRUFBRSxDQUFDLENBQUE7WUFDM0QsS0FBSyxXQUFXLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxJQUFJLENBQUMsWUFBWSxFQUFFLENBQUMsQ0FBQTtZQUM3RCxLQUFLLFdBQVcsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLElBQUksQ0FBQyxZQUFZLEVBQUUsQ0FBQyxDQUFBO1lBQzdELEtBQUssWUFBWSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBWSxFQUFFO2dCQUMvQyxNQUFNLFFBQVEsR0FBRyxDQUFDLENBQUMsSUFBSSxDQUFBO2dCQUN2QixPQUFPLENBQUMsWUFBWSxFQUFFO3dCQUNsQixZQUFZLEVBQUUsQ0FBQzt3QkFDZixRQUFRLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQyxJQUFJLENBQUMsSUFBSSxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUU7NEJBQzdCLFFBQVEsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7Z0NBQ1gsS0FBSyxvQkFBb0IsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRTtvQ0FDN0MsTUFBTSxPQUFPLEdBQUcsbUNBQU0sQ0FBQyxJQUFJLENBQUMsS0FBSyxDQUFDLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUE4QixFQUFFO3dDQUN6RSxRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDOzRDQUNYLEtBQUssWUFBWSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBQyxDQUFDLE9BQU8sQ0FBQyxDQUFBOzRDQUNwRCxLQUFLLGVBQWUsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsQ0FBQyxPQUFPLENBQUMsQ0FBQTs0Q0FDdkQsT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO3dDQUMvQixDQUFDO29DQUNMLENBQUMsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsRUFBRSxFQUFFO3dDQUNULE9BQU87NENBQ0gsS0FBSyxFQUFFLENBQUMsQ0FBQyxHQUFHLENBQUMsS0FBSzs0Q0FDbEIsT0FBTyxFQUFFLENBQUM7eUNBQ2IsQ0FBQTtvQ0FDTCxDQUFDLENBQUMsQ0FBQyxDQUFBO29DQUNILE9BQU8sQ0FBQyxPQUFPLEVBQUUsT0FBTyxDQUFDLEdBQUcsQ0FBWSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsbUNBQU0sQ0FBQyxJQUFJLENBQUMsNEJBQTRCLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxTQUFTLENBQ2pHLENBQUMsQ0FBQyxFQUFhLEVBQUUsQ0FBQyxDQUFDLFFBQVEsRUFBRSxJQUFBLHFCQUFhLEVBQ3RDLFFBQVEsRUFDUixDQUFDLENBQUMsS0FBSyxDQUFDLEdBQUcsQ0FDUCxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBQyxDQUFDLEtBQUssQ0FDakIsQ0FDSixDQUFDLEVBQ0YsR0FBYyxFQUFFLENBQUMsQ0FBQyxVQUFVLEVBQUUsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsRUFBdUIsRUFBRSxDQUFDLENBQUM7Z0RBQzdELE1BQU0sRUFBRSxJQUFBLHFCQUFhLEVBQ2pCLFFBQVEsRUFDUixDQUFDLENBQUMsS0FBSyxDQUFDLEdBQUcsQ0FDUCxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBQyxDQUFDLEtBQUssQ0FDakIsQ0FDSjtnREFDRCxPQUFPLEVBQUUsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxLQUFLOzZDQUN2QixDQUFDLENBQUMsQ0FBQyxDQUNQLENBQUMsQ0FBQyxDQUFBO2dDQUNQLENBQUMsQ0FBQyxDQUFBO2dDQUNGLE9BQU8sQ0FBQyxDQUFDLE9BQU8sQ0FBQyxTQUFTLEVBQUUsSUFBSSxDQUFDLEtBQUssQ0FBQyxDQUFBOzRCQUMzQyxDQUFDO3dCQUNMLENBQUMsQ0FBQztxQkFDTCxDQUFDLENBQUE7WUFDTixDQUFDLENBQUMsQ0FBQTtZQUNGLEtBQUssT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBWSxFQUFFO2dCQUMxQyxNQUFNLFNBQVMsR0FBRyxDQUFDLENBQUE7Z0JBQ25CLDRCQUE0QjtnQkFDNUIseUJBQXlCO2dCQUN6Qiw0REFBNEQ7Z0JBQzVELDRFQUE0RTtnQkFDNUUsOEJBQThCO2dCQUM5Qiw2Q0FBNkM7Z0JBQzdDLG9DQUFvQztnQkFDcEMsdUJBQXVCO2dCQUN2Qix1Q0FBdUM7Z0JBQ3ZDLG9FQUFvRTtnQkFDcEUsb0JBQW9CO2dCQUNwQixpSEFBaUg7Z0JBQ2pILDhCQUE4QjtnQkFDOUIsNkNBQTZDO2dCQUM3QyxvQ0FBb0M7Z0JBQ3BDLHVCQUF1QjtnQkFDdkIscUJBQXFCO2dCQUNyQiw2Q0FBNkM7Z0JBQzdDLDREQUE0RDtnQkFDNUQsa0NBQWtDO2dCQUNsQyxxRkFBcUY7Z0JBQ3JGLHlDQUF5QztnQkFDekMsNENBQTRDO2dCQUM1Qyw0Q0FBNEM7Z0JBQzVDLGtDQUFrQztnQkFDbEMsNEJBQTRCO2dCQUM1QixpQ0FBaUM7Z0JBQ2pDLHlGQUF5RjtnQkFDekYsMkJBQTJCO2dCQUMzQix1QkFBdUI7Z0JBRXZCLG9CQUFvQjtnQkFFcEIsZ0JBQWdCO2dCQUNoQixpREFBaUQ7Z0JBQ2pELFdBQVc7Z0JBQ1gsUUFBUTtnQkFDUixPQUFPLENBQUMsT0FBTyxFQUFFO3dCQUNiLFlBQVksRUFBRSxDQUFDO3dCQUNmLE1BQU0sRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLElBQUksRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFOzRCQUNsQixNQUFNLEtBQUssR0FBRyxDQUFDLENBQUE7NEJBQ2YsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxJQUFJLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRTtnQ0FDdkIsUUFBUSxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQztvQ0FDWCxLQUFLLG9CQUFvQixDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBa0IsRUFBRTt3Q0FDN0QsTUFBTSxPQUFPLEdBQUcsbUNBQU0sQ0FBQyxJQUFJLENBQUMsS0FBSyxDQUFDLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUE4QixFQUFFOzRDQUN6RSxRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO2dEQUNYLEtBQUssWUFBWSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBQyxDQUFDLE9BQU8sQ0FBQyxDQUFBO2dEQUNwRCxLQUFLLGVBQWUsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsQ0FBQyxPQUFPLENBQUMsQ0FBQTtnREFDdkQsT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBOzRDQUMvQixDQUFDO3dDQUNMLENBQUMsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsRUFBRSxFQUFFOzRDQUNULE9BQU87Z0RBQ0gsS0FBSyxFQUFFLENBQUMsQ0FBQyxHQUFHLENBQUMsS0FBSztnREFDbEIsT0FBTyxFQUFFLENBQUM7NkNBQ2IsQ0FBQTt3Q0FDTCxDQUFDLENBQUMsQ0FBQyxDQUFBO3dDQUNILE1BQU0sS0FBSyxHQUFxQixFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFOzRDQUMzQyxRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO2dEQUNYLEtBQUssWUFBWSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDLEtBQUssQ0FBQyxDQUFBO2dEQUN2RCxLQUFLLGVBQWUsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsQ0FBQyxHQUFHLENBQUMsQ0FBQyxLQUFLLENBQUMsQ0FBQTtnREFDMUQsT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBOzRDQUMvQixDQUFDO3dDQUNMLENBQUMsQ0FBQyxDQUFBO3dDQUNGLE9BQU8sQ0FBQyxTQUFTLEVBQUU7Z0RBQ2YscUJBQXFCLEVBQUUsaUNBQUksQ0FBQyxVQUFVLENBQUMsTUFBTSxDQUFDLG1DQUFNLENBQUMsVUFBVSxDQUFDLEtBQUssQ0FDakUsT0FBTyxFQUNQO29EQUNJLHVCQUF1QixFQUFFLFNBQVM7aURBQ3JDLENBQ0osQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLEVBQUUsRUFBRTtvREFDUixPQUFPLENBQUMsQ0FBQyxVQUFVLENBQUMsU0FBUyxDQUFFLG1EQUFtRDtvREFDOUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQyxPQUFPLEVBQUUsRUFDbkIsR0FBRyxFQUFFLENBQUMsRUFBRSxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsT0FBTyxDQUFDLENBQzFCLENBQUE7Z0RBQ0wsQ0FBQyxDQUFDLENBQUMsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLENBQUMsRUFBRSxzQkFBc0I7Z0RBQ2pFLFlBQVksRUFBRSxtQ0FBTSxDQUFDLFVBQVUsQ0FBQyxLQUFLLENBQ2pDLFNBQVMsRUFDVDtvREFDSSx1QkFBdUIsRUFBRSxPQUFPO2lEQUNuQyxDQUNKLENBQUMsR0FBRyxDQUFlLENBQUMsQ0FBQyxFQUFFLEVBQUU7b0RBQ3RCLE1BQU0sUUFBUSxHQUFHLENBQUMsQ0FBQyxPQUFPLENBQUE7b0RBQzFCLE9BQU8sQ0FBQyxDQUFDLFVBQVUsQ0FBQyxTQUFTLENBQ3pCLENBQUMsQ0FBQyxFQUFnQixFQUFFLENBQUMsbUNBQU0sQ0FBQyxJQUFJLENBQUMsNEJBQTRCLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxTQUFTLENBQ3ZFLENBQUMsQ0FBQyxFQUFnQixFQUFFLENBQUMsQ0FBQyxRQUFRLEVBQUUsSUFBQSxxQkFBYSxFQUN6QyxRQUFRLEVBQ1IsQ0FBQyxDQUFDLEtBQUssQ0FBQyxHQUFHLENBQ1AsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQ2pCLENBQ0osQ0FBQyxFQUNGLEdBQWlCLEVBQUUsQ0FBQyxDQUFDLFVBQVUsRUFBRSxDQUFDLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxFQUF1QixFQUFFLENBQUMsQ0FBQzs0REFDaEUsTUFBTSxFQUFFLElBQUEscUJBQWEsRUFDakIsUUFBUSxFQUNSLENBQUMsQ0FBQyxLQUFLLENBQUMsR0FBRyxDQUNQLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUNqQixDQUNKOzREQUNELE9BQU8sRUFBRSxDQUFDLENBQUMsR0FBRyxDQUFDLEtBQUs7eURBQ3ZCLENBQUMsQ0FBQyxDQUFDLENBQ1AsRUFDRCxHQUFpQixFQUFFLENBQUMsQ0FBQyxTQUFTLEVBQUUsS0FBSyxDQUFDLENBQ3pDLENBQUE7Z0RBQ0wsQ0FBQyxDQUFDOzZDQUNMLENBQUMsQ0FBQTtvQ0FDTixDQUFDLENBQUMsQ0FBQTtvQ0FDRix1REFBdUQ7b0NBQ3ZELE9BQU8sQ0FBQyxDQUFDLE9BQU8sQ0FBQyxTQUFTLEVBQUUsS0FBSyxDQUFDLEtBQUssQ0FBQyxDQUFBO2dDQUM1QyxDQUFDOzRCQUNMLENBQUMsQ0FBQyxDQUFBO3dCQUNOLENBQUMsQ0FBQztxQkFDVCxDQUFDLENBQUE7WUFDTixDQUFDLENBQUMsQ0FBQTtZQUNGLEtBQUssdUJBQXVCLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxJQUFJLENBQUMsWUFBWSxFQUFFLENBQUMsQ0FBQTtZQUN6RSxLQUFLLFVBQVUsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLElBQUksQ0FBQyxZQUFZLEVBQUUsQ0FBQyxDQUFBO1lBQzVELEtBQUssYUFBYSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFO2dCQUN0QyxNQUFNLEdBQUcsR0FBRyxDQUFDLENBQUE7Z0JBQ2IsT0FBTyxDQUFDLE9BQU8sRUFBRTt3QkFDYixRQUFRLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQyxJQUFJLENBQUMsSUFBSSxFQUFFLENBQUMsQ0FBQyxFQUFvQixFQUFFOzRCQUMvQyxRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO2dDQUNYLEtBQUssY0FBYyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFO29DQUN2QyxNQUFNLEtBQUssR0FBRyxDQUFDLENBQUMsS0FBSyxDQUFBO29DQUNyQixNQUFNLEtBQUssR0FBRyxDQUFDLENBQUMsS0FBSyxDQUFBO29DQUNyQixPQUFPLEdBQUcsQ0FBQyxXQUFXLENBQUMsQ0FBQyxDQUFDLEtBQUssQ0FBQyxLQUFLLENBQUMsQ0FBQyxTQUFTLENBQzNDLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLE9BQU8sRUFBRTs0Q0FDYixNQUFNLEVBQUUsSUFBQSxZQUFJLEVBQ1IsQ0FBQyxFQUNELEtBQUssQ0FDUjt5Q0FDSixDQUFDLEVBQ0YsR0FBRyxFQUFFLENBQUMsQ0FBQyxlQUFlLEVBQUU7NENBQ3BCLE9BQU8sRUFBRSxDQUFDLENBQUMsS0FBSyxDQUFDLEtBQUs7NENBQ3RCLE9BQU8sRUFBRSxDQUFDLENBQUMsS0FBSyxDQUFDLEtBQUs7NENBQ3RCLFVBQVUsRUFBRSxHQUFHLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxJQUFJLENBQUM7eUNBQ25DLENBQUMsQ0FDTCxDQUFBO2dDQUNMLENBQUMsQ0FBQyxDQUFBO2dDQUNGLEtBQUssb0JBQW9CLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUU7b0NBQzdDLE1BQU0sUUFBUSxHQUFHLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUF1QixFQUFFO3dDQUNqRCxRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDOzRDQUNYLEtBQUssTUFBTSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBQyxDQUFDLFFBQVEsQ0FBQyxDQUFBOzRDQUMvQyxLQUFLLGVBQWUsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsQ0FBQyxRQUFRLENBQUMsQ0FBQTs0Q0FDeEQsT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO3dDQUMvQixDQUFDO29DQUNMLENBQUMsQ0FBQyxDQUFBO29DQUNGLE1BQU0sS0FBSyxHQUFHLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFvQixFQUFFO3dDQUMzQyxRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDOzRDQUNYLEtBQUssTUFBTSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDLEtBQUssQ0FBQyxDQUFBOzRDQUNqRCxLQUFLLGVBQWUsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsQ0FBQyxHQUFHLENBQUMsQ0FBQyxLQUFLLENBQUMsQ0FBQTs0Q0FDMUQsT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO3dDQUMvQixDQUFDO29DQUNMLENBQUMsQ0FBQyxDQUFBO29DQUNGLElBQUksUUFBUSxDQUFDLFlBQVksRUFBRSxHQUFHLENBQUMsRUFBRSxDQUFDO3dDQUM5QixPQUFPLENBQUMsc0JBQXNCLEVBQUUsS0FBSyxDQUFDLENBQUE7b0NBQzFDLENBQUM7b0NBQ0QsTUFBTSxLQUFLLEdBQUcsUUFBUSxDQUFDLGdCQUFnQixDQUFDLENBQUMsQ0FBQyxDQUFBO29DQUMxQyxPQUFPLEtBQUssQ0FBQyxTQUFTLENBQ2xCLENBQUMsQ0FBQyxFQUFFLEVBQUU7d0NBQ0YsSUFBSSxDQUFDLENBQUMsS0FBSyxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUMsS0FBSyxRQUFRLEVBQUUsQ0FBQzs0Q0FDL0IsT0FBTyxDQUFDLHVCQUF1QixFQUFFLENBQUMsQ0FBQyxLQUFLLENBQUMsS0FBSyxDQUFDLENBQUE7d0NBQ25ELENBQUM7d0NBQ0QsTUFBTSxVQUFVLEdBQUcsQ0FBQyxDQUFDLEtBQUssQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUFBO3dDQUN4QyxNQUFNLGdCQUFnQixHQUFHLENBQUMsQ0FBQyxLQUFLLENBQUMsSUFBSSxDQUFDLENBQUMsQ0FBQyxDQUFDLEtBQUssQ0FBQTt3Q0FDOUMsT0FBTyxRQUFRLENBQUMsZ0JBQWdCLENBQUMsQ0FBQyxDQUFDLENBQUMsU0FBUyxDQUN6QyxDQUFDLENBQUMsRUFBRSxFQUFFOzRDQUNGLE1BQU0sS0FBSyxHQUFHLENBQUMsQ0FBQyxLQUFLLENBQUE7NENBQ3JCLE9BQU8sR0FBRyxDQUFDLFdBQVcsQ0FBQyxVQUFVLENBQUMsQ0FBQyxTQUFTLENBQ3hDLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLE9BQU8sRUFBRTtvREFDYixNQUFNLEVBQUUsSUFBQSxZQUFJLEVBQ1IsQ0FBQyxFQUNELEtBQUssQ0FDUjtpREFDSixDQUFDLEVBQ0YsR0FBRyxFQUFFLENBQUMsQ0FBQyxlQUFlLEVBQUU7b0RBQ3BCLE9BQU8sRUFBRSxnQkFBZ0I7b0RBQ3pCLE9BQU8sRUFBRSxVQUFVO29EQUNuQixVQUFVLEVBQUUsR0FBRyxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsSUFBSSxDQUFDO2lEQUNuQyxDQUFDLENBQ0wsQ0FBQTt3Q0FDTCxDQUFDLEVBQ0QsR0FBRyxFQUFFLENBQUMsQ0FBQyxlQUFlLEVBQUUsQ0FBQyxDQUFDLEtBQUssQ0FBQyxLQUFLLENBQUMsQ0FDekMsQ0FBQTtvQ0FDTCxDQUFDLEVBQ0QsR0FBRyxFQUFFLENBQUMsQ0FBQyxvQkFBb0IsRUFBRSxLQUFLLENBQUMsQ0FDdEMsQ0FBQTtnQ0FFTCxDQUFDLENBQUMsQ0FBQTtnQ0FDRixvRUFBb0U7Z0NBQ3BFLE9BQU8sQ0FBQyxDQUFDLE9BQU8sSUFBSSxDQUFDLFlBQVksRUFBRSxDQUFBOzRCQUN2QyxDQUFDO3dCQUNMLENBQUMsQ0FBQztxQkFDTCxDQUFDLENBQUE7WUFDTixDQUFDLENBQUMsQ0FBQTtZQUNGLEtBQUssTUFBTSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFO2dCQUMvQixPQUFPLENBQUMsTUFBTSxFQUFFO3dCQUNaLFlBQVksRUFBRSxDQUFDO3dCQUNmLFFBQVEsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLElBQUksQ0FBQyxJQUFJLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRTs0QkFDN0IsUUFBUSxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQztnQ0FDWCxLQUFLLFFBQVEsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsT0FBTyxFQUFFLElBQUksQ0FBQyxDQUFDLENBQUE7Z0NBQ3RELG9FQUFvRTtnQ0FDcEUsT0FBTyxDQUFDLENBQUMsT0FBTyxDQUFDLG9CQUFvQixFQUFFLElBQUksQ0FBQyxLQUFLLENBQUMsQ0FBQTs0QkFDdEQsQ0FBQzt3QkFDTCxDQUFDLENBQUM7cUJBQ0wsQ0FBQyxDQUFBO1lBQ04sQ0FBQyxDQUFDLENBQUE7WUFDRixLQUFLLGdCQUFnQixDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsSUFBSSxDQUFDLFlBQVksRUFBRSxDQUFDLENBQUE7WUFDbEUsT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO1FBQy9CLENBQUM7SUFDTCxDQUFDLENBQUMsQ0FBQTtBQUNOLENBQUMsQ0FBQTtBQTlSWSxRQUFBLElBQUksUUE4UmhCIn0=
@@ -0,0 +1,77 @@
1
+ import * as pt from 'exupery-core-types';
2
+ import * as astn from "astn";
3
+ import * as def from "../generated/interface/schemas/schema/resolved";
4
+ export type Document = {
5
+ 'content': Node;
6
+ };
7
+ export type Duplicate_Entry = {
8
+ 'range': astn.d_ast.Range;
9
+ 'node': Node;
10
+ };
11
+ export type Property = ['missing', astn.d_ast.Range] | ['unique', Node] | ['multiple', pt.Array<Duplicate_Entry>];
12
+ export type Node = ['number', Number] | ['boolean', Boolean] | ['list', List] | ['nothing', Nothing] | ['reference', Reference] | ['component', Component] | ['dictionary', Dictionary] | ['group', Group] | ['identifier value pair', Identifier_Value_Pair] | ['optional', Optional] | ['state', State] | ['text', Text] | ['type parameter', string];
13
+ export type State = {
14
+ 'status': State_Status;
15
+ };
16
+ export type State_Status = [
17
+ 'valid',
18
+ {
19
+ 'node': Node;
20
+ }
21
+ ] | ['more than 2 elements', astn.d_ast.Range] | ['missing state name', astn.d_ast.Range] | ['state is not a string', astn.d_ast.Range] | ['missing value', astn.d_ast.Range] | [
22
+ 'unknown state',
23
+ {
24
+ 'range': astn.d_ast.Range;
25
+ 'found': string;
26
+ 'expected': pt.Dictionary<null>;
27
+ }
28
+ ];
29
+ export type Identifier_Value_Pair = {
30
+ 'definition': def.Type_Node.SG.identifier_value_pair;
31
+ };
32
+ export type Optional = {
33
+ 'definition': def.Type_Node.SG.optional;
34
+ };
35
+ export type List = {
36
+ 'definition': def.Type_Node.SG.list;
37
+ };
38
+ export type Reference = {
39
+ 'definition': def.Type_Node.SG.reference;
40
+ };
41
+ export type Component = {
42
+ 'definition': def.Type_Node.SG.component;
43
+ };
44
+ export type Boolean = {
45
+ 'definition': def.Type_Node.SG._boolean;
46
+ };
47
+ export type Nothing = {
48
+ 'definition': def.Type_Node.SG.nothing;
49
+ };
50
+ export type Text = {
51
+ 'definition': def.Type_Node.SG.text;
52
+ 'status': ['valid', null] | ['invalid value type', astn.d_ast.Range];
53
+ };
54
+ export type Number = {
55
+ 'definition': def.Type_Node.SG._number;
56
+ 'status': [
57
+ 'valid',
58
+ {
59
+ 'range': astn.d_ast.Range;
60
+ 'correct string type': boolean;
61
+ }
62
+ ] | ['invalid', astn.d_ast.Range];
63
+ };
64
+ export type Dictionary = {
65
+ 'definition': def.Type_Node.SG.dictionary;
66
+ 'status': ['valid', pt.Dictionary<Entry>] | ['invalid', astn.d_ast.Range];
67
+ };
68
+ export type Entry = ['unique', Node] | ['multiple', pt.Array<Duplicate_Entry>];
69
+ export type Group = {
70
+ 'definition': def.Type_Node.SG.group;
71
+ 'type': Group_Type;
72
+ };
73
+ export type Group_Type = ['indexed', Indexed_Group] | ['ordered', {}] | ['invalid', astn.d_ast.Range];
74
+ export type Indexed_Group = {
75
+ 'properties': pt.Dictionary<Property>;
76
+ 'superfluous entries': pt.Dictionary<pt.Array<astn.d_ast.Range>>;
77
+ };
@@ -0,0 +1,3 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicG9zdF9wYXJzZV90eXBlcy5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91bm1hcnNoYWxsL3Bvc3RfcGFyc2VfdHlwZXMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IiJ9