pareto 0.76.2 → 0.76.4
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.
- package/dist/resolvers/module.d.ts +4 -0
- package/dist/resolvers/module.js +132 -0
- package/dist/resolvers/schema.d.ts +23 -0
- package/dist/resolvers/schema.js +1890 -0
- package/dist/shorthands/module.d.ts +8 -0
- package/dist/shorthands/module.js +29 -0
- package/dist/shorthands/schema.d.ts +139 -0
- package/dist/shorthands/schema.js +870 -0
- package/dist/transformations/module/exupery_implementation.d.ts +4 -0
- package/dist/transformations/module/exupery_implementation.js +42 -0
- package/dist/transformations/module/exupery_interface.d.ts +5 -0
- package/dist/transformations/module/exupery_interface.js +150 -0
- package/dist/transformations/module/pareto_implementation.d.ts +4 -0
- package/dist/transformations/module/pareto_implementation.js +42 -0
- package/dist/transformations/module/pareto_interface.d.ts +5 -0
- package/dist/transformations/module/pareto_interface.js +150 -0
- package/dist/transformations/schema/documentation.d.ts +5 -0
- package/dist/transformations/schema/documentation.js +72 -0
- package/dist/transformations/schema/exupery_implementation/main.d.ts +4 -0
- package/dist/transformations/schema/exupery_implementation/main.js +63 -0
- package/dist/transformations/schema/exupery_implementation/migration_boilerplate.d.ts +14 -0
- package/dist/transformations/schema/exupery_implementation/migration_boilerplate.js +113 -0
- package/dist/transformations/schema/exupery_implementation/resolver.d.ts +24 -0
- package/dist/transformations/schema/exupery_implementation/resolver.js +299 -0
- package/dist/transformations/schema/exupery_interface/main.d.ts +4 -0
- package/dist/transformations/schema/exupery_interface/main.js +79 -0
- package/dist/transformations/schema/exupery_interface/migration_boilerplate.d.ts +7 -0
- package/dist/transformations/schema/exupery_interface/migration_boilerplate.js +51 -0
- package/dist/transformations/schema/exupery_interface/resolver.d.ts +12 -0
- package/dist/transformations/schema/exupery_interface/resolver.js +115 -0
- package/dist/transformations/schema/exupery_interface/types.d.ts +12 -0
- package/dist/transformations/schema/exupery_interface/types.js +211 -0
- package/dist/transformations/schema/graphviz.d.ts +8 -0
- package/dist/transformations/schema/graphviz.js +103 -0
- package/dist/transformations/schema/lionweb.d.ts +14 -0
- package/dist/transformations/schema/lionweb.js +226 -0
- package/dist/transformations/schema/pareto_implementation/main.d.ts +4 -0
- package/dist/transformations/schema/pareto_implementation/main.js +63 -0
- package/dist/transformations/schema/pareto_implementation/migration_boilerplate.d.ts +14 -0
- package/dist/transformations/schema/pareto_implementation/migration_boilerplate.js +113 -0
- package/dist/transformations/schema/pareto_implementation/resolver.d.ts +24 -0
- package/dist/transformations/schema/pareto_implementation/resolver.js +299 -0
- package/dist/transformations/schema/pareto_interface/main.d.ts +4 -0
- package/dist/transformations/schema/pareto_interface/main.js +79 -0
- package/dist/transformations/schema/pareto_interface/migration_boilerplate.d.ts +7 -0
- package/dist/transformations/schema/pareto_interface/migration_boilerplate.js +51 -0
- package/dist/transformations/schema/pareto_interface/resolver.d.ts +12 -0
- package/dist/transformations/schema/pareto_interface/resolver.js +115 -0
- package/dist/transformations/schema/pareto_interface/types.d.ts +12 -0
- package/dist/transformations/schema/pareto_interface/types.js +211 -0
- package/dist/transformations/schema/railroad_diagram.d.ts +7 -0
- package/dist/transformations/schema/railroad_diagram.js +79 -0
- package/dist/transformations/unmarshall/collect_errors.d.ts +38 -0
- package/dist/transformations/unmarshall/collect_errors.js +185 -0
- package/dist/transformations/unmarshall/dynamic_post_parse.d.ts +7 -0
- package/dist/transformations/unmarshall/dynamic_post_parse.js +267 -0
- package/dist/transformations/unmarshall/post_parse_types.d.ts +77 -0
- package/dist/transformations/unmarshall/post_parse_types.js +3 -0
- package/dist/unmarshall/collect_errors.d.ts +38 -0
- package/dist/unmarshall/collect_errors.js +185 -0
- package/dist/unmarshall/dynamic_post_parse.d.ts +7 -0
- package/dist/unmarshall/dynamic_post_parse.js +267 -0
- package/dist/unmarshall/post_parse_types.d.ts +77 -0
- package/dist/unmarshall/post_parse_types.js +3 -0
- package/package.json +2 -1
|
@@ -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,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29sbGVjdF9lcnJvcnMuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvdHJhbnNmb3JtYXRpb25zL3VubWFyc2hhbGwvY29sbGVjdF9lcnJvcnMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6Ijs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFBQSxxREFBc0M7QUFFdEMsdURBQXdDO0FBT3hDLDJFQUF5RDtBQXNDbEQsTUFBTSxRQUFRLEdBQUcsQ0FBQyxDQUFlLEVBQVUsRUFBRTtJQUNoRCxPQUFPLElBQUEsWUFBSSxFQUFDLENBQUMsQ0FBQyxPQUFPLENBQUMsQ0FBQTtBQUMxQixDQUFDLENBQUE7QUFGWSxRQUFBLFFBQVEsWUFFcEI7QUFFTSxNQUFNLElBQUksR0FBRyxDQUFDLENBQVcsRUFBVSxFQUFFO0lBQ3hDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQVUsRUFBRTtRQUMxQixRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO1lBQ1gsS0FBSyxPQUFPLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxJQUFJLEVBQUUsQ0FBQyxDQUFDLEVBQVUsRUFBRTtnQkFDN0QsUUFBUSxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQztvQkFDWCxLQUFLLFNBQVMsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLElBQUksQ0FBQyxZQUFZLEVBQUUsQ0FBQyxDQUFBO29CQUMzRCxLQUFLLFNBQVMsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLG1DQUFNLENBQUMsVUFBVSxDQUFDLDZCQUE2QixDQUFDLENBQUMsQ0FBQyxDQUFDLFVBQVUsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLEVBQUUsR0FBRyxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBVSxFQUFFO3dCQUN4SSxRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDOzRCQUNYLEtBQUssVUFBVSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsaUNBQUksQ0FBQyxJQUFJLENBQUMsT0FBTyxDQUFDLENBQUMsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLGlDQUFJLENBQUMsSUFBSSxDQUFDLE9BQU8sQ0FBQyxFQUFFLENBQUMsYUFBYSxDQUFDO2dDQUN0RyxFQUFFLENBQUMsYUFBYSxDQUFRO29DQUNwQjt3Q0FDSSxPQUFPLEVBQUUsQ0FBQyxDQUFDLEtBQUs7d0NBQ2hCLE1BQU0sRUFBRSxDQUFDLE9BQU8sRUFBRSxDQUFDLG9CQUFvQixFQUFFO29EQUNyQyxJQUFJLEVBQUUsR0FBRztpREFDWixDQUFDLENBQUM7cUNBQ047aUNBQ0osQ0FBQztnQ0FDRixJQUFBLFlBQUksRUFBQyxDQUFDLENBQUMsSUFBSSxDQUFDOzZCQUNmLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBOzRCQUNOLEtBQUssU0FBUyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLGFBQWEsQ0FBQztnQ0FDcEQ7b0NBQ0ksT0FBTyxFQUFFLENBQUM7b0NBQ1YsTUFBTSxFQUFFLENBQUMsT0FBTyxFQUFFLENBQUMsa0JBQWtCLEVBQUU7Z0RBQ25DLElBQUksRUFBRSxHQUFHOzZDQUNaLENBQUMsQ0FBQztpQ0FDTjs2QkFDSixDQUFDLENBQUMsQ0FBQTs0QkFDSCxLQUFLLFFBQVEsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLElBQUEsWUFBSSxFQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7NEJBQzlDLE9BQU8sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQTt3QkFDL0IsQ0FBQztvQkFDTCxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQTtvQkFDTCxLQUFLLFNBQVMsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQyxhQUFhLENBQUM7d0JBQ3BEOzRCQUNJLE9BQU8sRUFBRSxDQUFDOzRCQUNWLE1BQU0sRUFBRSxDQUFDLE9BQU8sRUFBRSxDQUFDLG9CQUFvQixFQUFFO3dDQUNyQyxVQUFVLEVBQUUsQ0FBQyxPQUFPLEVBQUUsSUFBSSxDQUFDO3FDQUM5QixDQUFDLENBQUM7eUJBQ047cUJBQ0osQ0FBQyxDQUFDLENBQUE7b0JBQ0gsT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO2dCQUMvQixDQUFDO1lBQ0wsQ0FBQyxDQUFDLENBQUMsQ0FBQTtZQUNILEtBQUssWUFBWSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsTUFBTSxFQUFFLENBQUMsQ0FBQyxFQUFVLEVBQUU7Z0JBQ3BFLFFBQVEsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7b0JBQ1gsS0FBSyxPQUFPLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUU7d0JBQ2hDLE9BQU8sbUNBQU0sQ0FBQyxVQUFVLENBQUMsNkJBQTZCLENBQUMsQ0FBQyxDQUFDLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxFQUFFLEdBQUcsRUFBRSxFQUFFOzRCQUNyRSxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFVLEVBQUU7Z0NBQzFCLFFBQVEsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7b0NBQ1gsS0FBSyxRQUFRLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxJQUFBLFlBQUksRUFBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO29DQUM5QyxLQUFLLFVBQVUsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLGlDQUFJLENBQUMsSUFBSSxDQUFDLE9BQU8sQ0FBQyxDQUFDLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxpQ0FBSSxDQUFDLElBQUksQ0FBQyxPQUFPLENBQUMsRUFBRSxDQUFDLGFBQWEsQ0FBQzt3Q0FDdEcsRUFBRSxDQUFDLGFBQWEsQ0FBQzs0Q0FDYjtnREFDSSxPQUFPLEVBQUUsQ0FBQyxDQUFDLEtBQUs7Z0RBQ2hCLE1BQU0sRUFBRSxDQUFDLE9BQU8sRUFBRSxDQUFDLG9CQUFvQixFQUFFOzREQUNyQyxJQUFJLEVBQUUsR0FBRzt5REFDWixDQUFDLENBQUM7NkNBQ047eUNBQ0osQ0FBQzt3Q0FDRixJQUFBLFlBQUksRUFBQyxDQUFDLENBQUMsSUFBSSxDQUFDO3FDQUNmLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO29DQUNOLE9BQU8sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQTtnQ0FDL0IsQ0FBQzs0QkFDTCxDQUFDLENBQUMsQ0FBQTt3QkFDTixDQUFDLENBQUMsQ0FBQyxDQUFBO29CQUNQLENBQUMsQ0FBQyxDQUFBO29CQUNGLEtBQUssU0FBUyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLGFBQWEsQ0FBQzt3QkFDcEQ7NEJBQ0ksT0FBTyxFQUFFLENBQUM7NEJBQ1YsTUFBTSxFQUFFLENBQUMsT0FBTyxFQUFFLENBQUMsb0JBQW9CLEVBQUU7d0NBQ3JDLFVBQVUsRUFBRSxDQUFDLFlBQVksRUFBRSxJQUFJLENBQUM7cUNBQ25DLENBQUMsQ0FBQzt5QkFDTjtxQkFDSixDQUFDLENBQUMsQ0FBQTtvQkFDSCxPQUFPLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7Z0JBQy9CLENBQUM7WUFDTCxDQUFDLENBQUMsQ0FBQyxDQUFBO1lBQ0gsS0FBSyxRQUFRLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxNQUFNLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRTtnQkFDeEQsUUFBUSxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQztvQkFDWCxLQUFLLE9BQU8sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQVUsRUFBRSxDQUFDLENBQUMsQ0FBQyxxQkFBcUIsQ0FBQzt3QkFDakUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxhQUFhLENBQUMsRUFBRSxDQUFDO3dCQUN0QixDQUFDLENBQUMsRUFBRSxDQUFDLGFBQWEsQ0FBUSxDQUFDO2dDQUN2QixPQUFPLEVBQUUsQ0FBQyxDQUFDLEtBQUs7Z0NBQ2hCLE1BQU0sRUFBRSxDQUFDLFNBQVMsRUFBRSxDQUFDLDZCQUE2QixFQUFFLElBQUksQ0FBQyxDQUFDOzZCQUM3RCxDQUFDLENBQUMsQ0FBQyxDQUFBO29CQUNSLEtBQUssU0FBUyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLGFBQWEsQ0FBQzt3QkFDcEQ7NEJBQ0ksT0FBTyxFQUFFLENBQUM7NEJBQ1YsTUFBTSxFQUFFLENBQUMsT0FBTyxFQUFFLENBQUMsb0JBQW9CLEVBQUU7d0NBQ3JDLFVBQVUsRUFBRSxDQUFDLE1BQU0sRUFBRSxJQUFJLENBQUM7cUNBQzdCLENBQUMsQ0FBQzt5QkFDTjtxQkFDSixDQUFDLENBQUMsQ0FBQTtvQkFDSCxPQUFPLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7Z0JBQy9CLENBQUM7WUFDTCxDQUFDLENBQUMsQ0FBQyxDQUFBO1lBQ0gsS0FBSyxTQUFTLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxJQUFJLENBQUMsWUFBWSxFQUFFLENBQUMsQ0FBQTtZQUMzRCxLQUFLLE1BQU0sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLElBQUksQ0FBQyxZQUFZLEVBQUUsQ0FBQyxDQUFBO1lBQ3hELEtBQUssU0FBUyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsSUFBSSxDQUFDLFlBQVksRUFBRSxDQUFDLENBQUE7WUFDM0QsS0FBSyxXQUFXLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxJQUFJLENBQUMsWUFBWSxFQUFFLENBQUMsQ0FBQTtZQUM3RCxLQUFLLFdBQVcsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLElBQUksQ0FBQyxZQUFZLEVBQUUsQ0FBQyxDQUFBO1lBQzdELEtBQUssdUJBQXVCLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxJQUFJLENBQUMsWUFBWSxFQUFFLENBQUMsQ0FBQTtZQUN6RSxLQUFLLGdCQUFnQixDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsSUFBSSxDQUFDLFlBQVksRUFBRSxDQUFDLENBQUE7WUFDbEUsS0FBSyxVQUFVLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxJQUFJLENBQUMsWUFBWSxFQUFFLENBQUMsQ0FBQTtZQUM1RCxLQUFLLE9BQU8sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLE1BQU0sRUFBRSxDQUFDLENBQUMsRUFBVSxFQUFFO2dCQUMvRCxRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO29CQUNYLEtBQUssT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsSUFBQSxZQUFJLEVBQUMsQ0FBQyxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUE7b0JBQ2xELEtBQUssc0JBQXNCLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUMsYUFBYSxDQUFDLENBQUM7NEJBQ2xFLE9BQU8sRUFBRSxDQUFDOzRCQUNWLE1BQU0sRUFBRSxDQUFDLE9BQU8sRUFBRSxDQUFDLE9BQU8sRUFBRSxDQUFDLHNCQUFzQixFQUFFLElBQUksQ0FBQyxDQUFDLENBQUM7eUJBQy9ELENBQUMsQ0FBQyxDQUFDLENBQUE7b0JBQ0osS0FBSyxvQkFBb0IsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQyxhQUFhLENBQUMsQ0FBQzs0QkFDaEUsT0FBTyxFQUFFLENBQUM7NEJBQ1YsTUFBTSxFQUFFLENBQUMsT0FBTyxFQUFFLENBQUMsT0FBTyxFQUFFLENBQUMsb0JBQW9CLEVBQUUsSUFBSSxDQUFDLENBQUMsQ0FBQzt5QkFDN0QsQ0FBQyxDQUFDLENBQUMsQ0FBQTtvQkFDSixLQUFLLHVCQUF1QixDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLGFBQWEsQ0FBQyxDQUFDOzRCQUNuRSxPQUFPLEVBQUUsQ0FBQzs0QkFDVixNQUFNLEVBQUUsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxPQUFPLEVBQUUsQ0FBQyx1QkFBdUIsRUFBRSxJQUFJLENBQUMsQ0FBQyxDQUFDO3lCQUNoRSxDQUFDLENBQUMsQ0FBQyxDQUFBO29CQUNKLEtBQUssZUFBZSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLGFBQWEsQ0FBQyxDQUFDOzRCQUMzRCxPQUFPLEVBQUUsQ0FBQzs0QkFDVixNQUFNLEVBQUUsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxlQUFlLEVBQUUsSUFBSSxDQUFDLENBQUMsQ0FBQzt5QkFDeEQsQ0FBQyxDQUFDLENBQUMsQ0FBQTtvQkFDSixLQUFLLGVBQWUsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQyxhQUFhLENBQUMsQ0FBQzs0QkFDM0QsT0FBTyxFQUFFLENBQUMsQ0FBQyxLQUFLOzRCQUNoQixNQUFNLEVBQUUsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxlQUFlLEVBQUU7NENBQzFDLE9BQU8sRUFBRSxDQUFDLENBQUMsS0FBSzs0Q0FDaEIsVUFBVSxFQUFFLENBQUMsQ0FBQyxRQUFRO3lDQUN6QixDQUFDLENBQUMsQ0FBQzt5QkFDUCxDQUFDLENBQUMsQ0FBQyxDQUFBO29CQUNKLE9BQU8sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQTtnQkFDL0IsQ0FBQztZQUNMLENBQUMsQ0FBQyxDQUFDLENBQUE7WUFDSCxLQUFLLE1BQU0sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLE1BQU0sRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFO2dCQUN0RCxRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO29CQUNYLEtBQUssT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsYUFBYSxDQUFDLEVBQUUsQ0FBQyxDQUFBO29CQUN6QyxLQUFLLG9CQUFvQixDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLGFBQWEsQ0FBQzt3QkFDL0Q7NEJBQ0ksT0FBTyxFQUFFLENBQUM7NEJBQ1YsTUFBTSxFQUFFLENBQUMsT0FBTyxFQUFFLENBQUMsb0JBQW9CLEVBQUU7d0NBQ3JDLFVBQVUsRUFBRSxDQUFDLE1BQU0sRUFBRSxJQUFJLENBQUM7cUNBQzdCLENBQUMsQ0FBQzt5QkFDTjtxQkFDSixDQUFDLENBQUMsQ0FBQTtvQkFDSCxPQUFPLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7Z0JBQy9CLENBQUM7WUFDTCxDQUFDLENBQUMsQ0FBQyxDQUFBO1lBQ0gsT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO1FBQy9CLENBQUM7SUFDTCxDQUFDLENBQUMsQ0FBQTtBQUNOLENBQUMsQ0FBQTtBQXJKWSxRQUFBLElBQUksUUFxSmhCIn0=
|
|
@@ -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,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZHluYW1pY19wb3N0X3BhcnNlLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL3RyYW5zZm9ybWF0aW9ucy91bm1hcnNoYWxsL2R5bmFtaWNfcG9zdF9wYXJzZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUFBLHFEQUFzQztBQUV0Qyx1REFBd0M7QUFFeEMsMkVBQXlEO0FBUWxELE1BQU0sUUFBUSxHQUFHLENBQ3BCLFVBQWlDLEVBQ2pDLElBQXlCLEVBQ2IsRUFBRTtJQUVkLE9BQU87UUFDSCxTQUFTLEVBQUUsSUFBQSxZQUFJLEVBQ1gsVUFBVSxDQUFDLEtBQUssQ0FBQyxVQUFVLENBQUMsV0FBVyxDQUFDLE1BQU0sQ0FBQyxDQUFDLFNBQVMsQ0FDckQsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsRUFDUixHQUFHLEVBQUUsQ0FBQyxFQUFFLENBQUMsS0FBSyxDQUFDLHdDQUF3QyxDQUFDLENBQzNELENBQUMsSUFBSSxFQUNOLElBQUksQ0FBQyxPQUFPLENBQ2Y7S0FDSixDQUFBO0FBRUwsQ0FBQyxDQUFBO0FBZlksUUFBQSxRQUFRLFlBZXBCO0FBRU0sTUFBTSxhQUFhLEdBQUcsQ0FDekIsVUFBdUIsRUFDdkIsSUFBeUMsRUFDakMsRUFBRTtJQUNWLE9BQU8sSUFBSSxDQUFDLFNBQVMsQ0FDakIsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLElBQUEsWUFBSSxFQUFDLFVBQVUsRUFBRSxDQUFDLENBQUMsRUFDMUIsR0FBRyxFQUFFLENBQUMsSUFBSSxDQUFDLFlBQVksRUFBRSxDQUM1QixDQUFBO0FBQ0wsQ0FBQyxDQUFBO0FBUlksUUFBQSxhQUFhLGlCQVF6QjtBQUVNLE1BQU0sSUFBSSxHQUFHLENBQ2hCLFVBQXVCLEVBQ3ZCLElBQXNCLEVBQ2QsRUFBRTtJQUNWLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxVQUFVLEVBQUUsQ0FBQyxDQUFDLEVBQVksRUFBRTtRQUNyQyxRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO1lBQ1gsS0FBSyxRQUFRLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFZLEVBQUU7Z0JBQzNDLE9BQU8sQ0FBQyxRQUFRLEVBQUU7d0JBQ2QsWUFBWSxFQUFFLENBQUM7d0JBQ2YsUUFBUSxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUMsSUFBSSxDQUFDLElBQUksRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFOzRCQUM3QixRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO2dDQUNYLEtBQUssUUFBUSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBQyxPQUFPLEVBQUU7d0NBQzVDLE9BQU8sRUFBRSxDQUFDLENBQUMsS0FBSzt3Q0FDaEIscUJBQXFCLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsSUFBSSxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUU7NENBQ3ZDLFFBQVEsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7Z0RBQ1gsS0FBSyxRQUFRLENBQUMsQ0FBQyxPQUFPLElBQUksQ0FBQTtnREFDMUIsS0FBSyxhQUFhLENBQUMsQ0FBQyxPQUFPLEtBQUssQ0FBQTtnREFDaEMsS0FBSyxhQUFhLENBQUMsQ0FBQyxPQUFPLElBQUksQ0FBQTtnREFDL0IsS0FBSyxZQUFZLENBQUMsQ0FBQyxPQUFPLEtBQUssQ0FBQTtnREFDL0IsT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBOzRDQUMvQixDQUFDO3dDQUNMLENBQUMsQ0FBQztxQ0FDTCxDQUFDLENBQUMsQ0FBQTtnQ0FDSCxvRUFBb0U7Z0NBQ3BFLE9BQU8sQ0FBQyxDQUFDLE9BQU8sSUFBSSxDQUFDLFlBQVksRUFBRSxDQUFBOzRCQUN2QyxDQUFDO3dCQUNMLENBQUMsQ0FBQztxQkFDTCxDQUFDLENBQUE7WUFDTixDQUFDLENBQUMsQ0FBQTtZQUNGLEtBQUssU0FBUyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsSUFBSSxDQUFDLFlBQVksRUFBRSxDQUFDLENBQUE7WUFDM0QsS0FBSyxNQUFNLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxJQUFJLENBQUMsWUFBWSxFQUFFLENBQUMsQ0FBQTtZQUN4RCxLQUFLLFNBQVMsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLElBQUksQ0FBQyxZQUFZLEVBQUUsQ0FBQyxDQUFBO1lBQzNELEtBQUssV0FBVyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsSUFBSSxDQUFDLFlBQVksRUFBRSxDQUFDLENBQUE7WUFDN0QsS0FBSyxXQUFXLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxJQUFJLENBQUMsWUFBWSxFQUFFLENBQUMsQ0FBQTtZQUM3RCxLQUFLLFlBQVksQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQVksRUFBRTtnQkFDL0MsTUFBTSxRQUFRLEdBQUcsQ0FBQyxDQUFDLElBQUksQ0FBQTtnQkFDdkIsT0FBTyxDQUFDLFlBQVksRUFBRTt3QkFDbEIsWUFBWSxFQUFFLENBQUM7d0JBQ2YsUUFBUSxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUMsSUFBSSxDQUFDLElBQUksRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFOzRCQUM3QixRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO2dDQUNYLEtBQUssb0JBQW9CLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUU7b0NBQzdDLE1BQU0sT0FBTyxHQUFHLG1DQUFNLENBQUMsSUFBSSxDQUFDLEtBQUssQ0FBQyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBOEIsRUFBRTt3Q0FDekUsUUFBUSxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQzs0Q0FDWCxLQUFLLFlBQVksQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsQ0FBQyxPQUFPLENBQUMsQ0FBQTs0Q0FDcEQsS0FBSyxlQUFlLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLENBQUMsT0FBTyxDQUFDLENBQUE7NENBQ3ZELE9BQU8sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQTt3Q0FDL0IsQ0FBQztvQ0FDTCxDQUFDLENBQUMsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLEVBQUUsRUFBRTt3Q0FDVCxPQUFPOzRDQUNILEtBQUssRUFBRSxDQUFDLENBQUMsR0FBRyxDQUFDLEtBQUs7NENBQ2xCLE9BQU8sRUFBRSxDQUFDO3lDQUNiLENBQUE7b0NBQ0wsQ0FBQyxDQUFDLENBQUMsQ0FBQTtvQ0FDSCxPQUFPLENBQUMsT0FBTyxFQUFFLE9BQU8sQ0FBQyxHQUFHLENBQVksQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLG1DQUFNLENBQUMsSUFBSSxDQUFDLDRCQUE0QixDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsU0FBUyxDQUNqRyxDQUFDLENBQUMsRUFBYSxFQUFFLENBQUMsQ0FBQyxRQUFRLEVBQUUsSUFBQSxxQkFBYSxFQUN0QyxRQUFRLEVBQ1IsQ0FBQyxDQUFDLEtBQUssQ0FBQyxHQUFHLENBQ1AsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQ2pCLENBQ0osQ0FBQyxFQUNGLEdBQWMsRUFBRSxDQUFDLENBQUMsVUFBVSxFQUFFLENBQUMsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLEVBQXVCLEVBQUUsQ0FBQyxDQUFDO2dEQUM3RCxNQUFNLEVBQUUsSUFBQSxxQkFBYSxFQUNqQixRQUFRLEVBQ1IsQ0FBQyxDQUFDLEtBQUssQ0FBQyxHQUFHLENBQ1AsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQ2pCLENBQ0o7Z0RBQ0QsT0FBTyxFQUFFLENBQUMsQ0FBQyxHQUFHLENBQUMsS0FBSzs2Q0FDdkIsQ0FBQyxDQUFDLENBQUMsQ0FDUCxDQUFDLENBQUMsQ0FBQTtnQ0FDUCxDQUFDLENBQUMsQ0FBQTtnQ0FDRixPQUFPLENBQUMsQ0FBQyxPQUFPLENBQUMsU0FBUyxFQUFFLElBQUksQ0FBQyxLQUFLLENBQUMsQ0FBQTs0QkFDM0MsQ0FBQzt3QkFDTCxDQUFDLENBQUM7cUJBQ0wsQ0FBQyxDQUFBO1lBQ04sQ0FBQyxDQUFDLENBQUE7WUFDRixLQUFLLE9BQU8sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQVksRUFBRTtnQkFDMUMsTUFBTSxTQUFTLEdBQUcsQ0FBQyxDQUFBO2dCQUNuQiw0QkFBNEI7Z0JBQzVCLHlCQUF5QjtnQkFDekIsNERBQTREO2dCQUM1RCw0RUFBNEU7Z0JBQzVFLDhCQUE4QjtnQkFDOUIsNkNBQTZDO2dCQUM3QyxvQ0FBb0M7Z0JBQ3BDLHVCQUF1QjtnQkFDdkIsdUNBQXVDO2dCQUN2QyxvRUFBb0U7Z0JBQ3BFLG9CQUFvQjtnQkFDcEIsaUhBQWlIO2dCQUNqSCw4QkFBOEI7Z0JBQzlCLDZDQUE2QztnQkFDN0Msb0NBQW9DO2dCQUNwQyx1QkFBdUI7Z0JBQ3ZCLHFCQUFxQjtnQkFDckIsNkNBQTZDO2dCQUM3Qyw0REFBNEQ7Z0JBQzVELGtDQUFrQztnQkFDbEMscUZBQXFGO2dCQUNyRix5Q0FBeUM7Z0JBQ3pDLDRDQUE0QztnQkFDNUMsNENBQTRDO2dCQUM1QyxrQ0FBa0M7Z0JBQ2xDLDRCQUE0QjtnQkFDNUIsaUNBQWlDO2dCQUNqQyx5RkFBeUY7Z0JBQ3pGLDJCQUEyQjtnQkFDM0IsdUJBQXVCO2dCQUV2QixvQkFBb0I7Z0JBRXBCLGdCQUFnQjtnQkFDaEIsaURBQWlEO2dCQUNqRCxXQUFXO2dCQUNYLFFBQVE7Z0JBQ1IsT0FBTyxDQUFDLE9BQU8sRUFBRTt3QkFDYixZQUFZLEVBQUUsQ0FBQzt3QkFDZixNQUFNLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQyxJQUFJLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRTs0QkFDbEIsTUFBTSxLQUFLLEdBQUcsQ0FBQyxDQUFBOzRCQUNmLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsSUFBSSxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUU7Z0NBQ3ZCLFFBQVEsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7b0NBQ1gsS0FBSyxvQkFBb0IsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQWtCLEVBQUU7d0NBQzdELE1BQU0sT0FBTyxHQUFHLG1DQUFNLENBQUMsSUFBSSxDQUFDLEtBQUssQ0FBQyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBOEIsRUFBRTs0Q0FDekUsUUFBUSxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQztnREFDWCxLQUFLLFlBQVksQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsQ0FBQyxPQUFPLENBQUMsQ0FBQTtnREFDcEQsS0FBSyxlQUFlLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLENBQUMsT0FBTyxDQUFDLENBQUE7Z0RBQ3ZELE9BQU8sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQTs0Q0FDL0IsQ0FBQzt3Q0FDTCxDQUFDLENBQUMsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLEVBQUUsRUFBRTs0Q0FDVCxPQUFPO2dEQUNILEtBQUssRUFBRSxDQUFDLENBQUMsR0FBRyxDQUFDLEtBQUs7Z0RBQ2xCLE9BQU8sRUFBRSxDQUFDOzZDQUNiLENBQUE7d0NBQ0wsQ0FBQyxDQUFDLENBQUMsQ0FBQTt3Q0FDSCxNQUFNLEtBQUssR0FBcUIsRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRTs0Q0FDM0MsUUFBUSxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQztnREFDWCxLQUFLLFlBQVksQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsQ0FBQyxHQUFHLENBQUMsQ0FBQyxLQUFLLENBQUMsQ0FBQTtnREFDdkQsS0FBSyxlQUFlLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLENBQUMsR0FBRyxDQUFDLENBQUMsS0FBSyxDQUFDLENBQUE7Z0RBQzFELE9BQU8sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQTs0Q0FDL0IsQ0FBQzt3Q0FDTCxDQUFDLENBQUMsQ0FBQTt3Q0FDRixPQUFPLENBQUMsU0FBUyxFQUFFO2dEQUNmLHFCQUFxQixFQUFFLGlDQUFJLENBQUMsVUFBVSxDQUFDLE1BQU0sQ0FBQyxtQ0FBTSxDQUFDLFVBQVUsQ0FBQyxLQUFLLENBQ2pFLE9BQU8sRUFDUDtvREFDSSx1QkFBdUIsRUFBRSxTQUFTO2lEQUNyQyxDQUNKLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxFQUFFLEVBQUU7b0RBQ1IsT0FBTyxDQUFDLENBQUMsVUFBVSxDQUFDLFNBQVMsQ0FBRSxtREFBbUQ7b0RBQzlFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUMsT0FBTyxFQUFFLEVBQ25CLEdBQUcsRUFBRSxDQUFDLEVBQUUsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLE9BQU8sQ0FBQyxDQUMxQixDQUFBO2dEQUNMLENBQUMsQ0FBQyxDQUFDLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyxDQUFDLEVBQUUsc0JBQXNCO2dEQUNqRSxZQUFZLEVBQUUsbUNBQU0sQ0FBQyxVQUFVLENBQUMsS0FBSyxDQUNqQyxTQUFTLEVBQ1Q7b0RBQ0ksdUJBQXVCLEVBQUUsT0FBTztpREFDbkMsQ0FDSixDQUFDLEdBQUcsQ0FBZSxDQUFDLENBQUMsRUFBRSxFQUFFO29EQUN0QixNQUFNLFFBQVEsR0FBRyxDQUFDLENBQUMsT0FBTyxDQUFBO29EQUMxQixPQUFPLENBQUMsQ0FBQyxVQUFVLENBQUMsU0FBUyxDQUN6QixDQUFDLENBQUMsRUFBZ0IsRUFBRSxDQUFDLG1DQUFNLENBQUMsSUFBSSxDQUFDLDRCQUE0QixDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsU0FBUyxDQUN2RSxDQUFDLENBQUMsRUFBZ0IsRUFBRSxDQUFDLENBQUMsUUFBUSxFQUFFLElBQUEscUJBQWEsRUFDekMsUUFBUSxFQUNSLENBQUMsQ0FBQyxLQUFLLENBQUMsR0FBRyxDQUNQLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUNqQixDQUNKLENBQUMsRUFDRixHQUFpQixFQUFFLENBQUMsQ0FBQyxVQUFVLEVBQUUsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsRUFBdUIsRUFBRSxDQUFDLENBQUM7NERBQ2hFLE1BQU0sRUFBRSxJQUFBLHFCQUFhLEVBQ2pCLFFBQVEsRUFDUixDQUFDLENBQUMsS0FBSyxDQUFDLEdBQUcsQ0FDUCxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBQyxDQUFDLEtBQUssQ0FDakIsQ0FDSjs0REFDRCxPQUFPLEVBQUUsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxLQUFLO3lEQUN2QixDQUFDLENBQUMsQ0FBQyxDQUNQLEVBQ0QsR0FBaUIsRUFBRSxDQUFDLENBQUMsU0FBUyxFQUFFLEtBQUssQ0FBQyxDQUN6QyxDQUFBO2dEQUNMLENBQUMsQ0FBQzs2Q0FDTCxDQUFDLENBQUE7b0NBQ04sQ0FBQyxDQUFDLENBQUE7b0NBQ0YsdURBQXVEO29DQUN2RCxPQUFPLENBQUMsQ0FBQyxPQUFPLENBQUMsU0FBUyxFQUFFLEtBQUssQ0FBQyxLQUFLLENBQUMsQ0FBQTtnQ0FDNUMsQ0FBQzs0QkFDTCxDQUFDLENBQUMsQ0FBQTt3QkFDTixDQUFDLENBQUM7cUJBQ1QsQ0FBQyxDQUFBO1lBQ04sQ0FBQyxDQUFDLENBQUE7WUFDRixLQUFLLHVCQUF1QixDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsSUFBSSxDQUFDLFlBQVksRUFBRSxDQUFDLENBQUE7WUFDekUsS0FBSyxVQUFVLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxJQUFJLENBQUMsWUFBWSxFQUFFLENBQUMsQ0FBQTtZQUM1RCxLQUFLLGFBQWEsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRTtnQkFDdEMsTUFBTSxHQUFHLEdBQUcsQ0FBQyxDQUFBO2dCQUNiLE9BQU8sQ0FBQyxPQUFPLEVBQUU7d0JBQ2IsUUFBUSxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUMsSUFBSSxDQUFDLElBQUksRUFBRSxDQUFDLENBQUMsRUFBb0IsRUFBRTs0QkFDL0MsUUFBUSxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQztnQ0FDWCxLQUFLLGNBQWMsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRTtvQ0FDdkMsTUFBTSxLQUFLLEdBQUcsQ0FBQyxDQUFDLEtBQUssQ0FBQTtvQ0FDckIsTUFBTSxLQUFLLEdBQUcsQ0FBQyxDQUFDLEtBQUssQ0FBQTtvQ0FDckIsT0FBTyxHQUFHLENBQUMsV0FBVyxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsS0FBSyxDQUFDLENBQUMsU0FBUyxDQUMzQyxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBQyxPQUFPLEVBQUU7NENBQ2IsTUFBTSxFQUFFLElBQUEsWUFBSSxFQUNSLENBQUMsRUFDRCxLQUFLLENBQ1I7eUNBQ0osQ0FBQyxFQUNGLEdBQUcsRUFBRSxDQUFDLENBQUMsZUFBZSxFQUFFOzRDQUNwQixPQUFPLEVBQUUsQ0FBQyxDQUFDLEtBQUssQ0FBQyxLQUFLOzRDQUN0QixPQUFPLEVBQUUsQ0FBQyxDQUFDLEtBQUssQ0FBQyxLQUFLOzRDQUN0QixVQUFVLEVBQUUsR0FBRyxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsSUFBSSxDQUFDO3lDQUNuQyxDQUFDLENBQ0wsQ0FBQTtnQ0FDTCxDQUFDLENBQUMsQ0FBQTtnQ0FDRixLQUFLLG9CQUFvQixDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFO29DQUM3QyxNQUFNLFFBQVEsR0FBRyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBdUIsRUFBRTt3Q0FDakQsUUFBUSxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQzs0Q0FDWCxLQUFLLE1BQU0sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsQ0FBQyxRQUFRLENBQUMsQ0FBQTs0Q0FDL0MsS0FBSyxlQUFlLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLENBQUMsUUFBUSxDQUFDLENBQUE7NENBQ3hELE9BQU8sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQTt3Q0FDL0IsQ0FBQztvQ0FDTCxDQUFDLENBQUMsQ0FBQTtvQ0FDRixNQUFNLEtBQUssR0FBRyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBb0IsRUFBRTt3Q0FDM0MsUUFBUSxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQzs0Q0FDWCxLQUFLLE1BQU0sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsQ0FBQyxHQUFHLENBQUMsQ0FBQyxLQUFLLENBQUMsQ0FBQTs0Q0FDakQsS0FBSyxlQUFlLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLENBQUMsR0FBRyxDQUFDLENBQUMsS0FBSyxDQUFDLENBQUE7NENBQzFELE9BQU8sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQTt3Q0FDL0IsQ0FBQztvQ0FDTCxDQUFDLENBQUMsQ0FBQTtvQ0FDRixJQUFJLFFBQVEsQ0FBQyxZQUFZLEVBQUUsR0FBRyxDQUFDLEVBQUUsQ0FBQzt3Q0FDOUIsT0FBTyxDQUFDLHNCQUFzQixFQUFFLEtBQUssQ0FBQyxDQUFBO29DQUMxQyxDQUFDO29DQUNELE1BQU0sS0FBSyxHQUFHLFFBQVEsQ0FBQyxnQkFBZ0IsQ0FBQyxDQUFDLENBQUMsQ0FBQTtvQ0FDMUMsT0FBTyxLQUFLLENBQUMsU0FBUyxDQUNsQixDQUFDLENBQUMsRUFBRSxFQUFFO3dDQUNGLElBQUksQ0FBQyxDQUFDLEtBQUssQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFDLEtBQUssUUFBUSxFQUFFLENBQUM7NENBQy9CLE9BQU8sQ0FBQyx1QkFBdUIsRUFBRSxDQUFDLENBQUMsS0FBSyxDQUFDLEtBQUssQ0FBQyxDQUFBO3dDQUNuRCxDQUFDO3dDQUNELE1BQU0sVUFBVSxHQUFHLENBQUMsQ0FBQyxLQUFLLENBQUMsSUFBSSxDQUFDLENBQUMsQ0FBQyxDQUFDLEtBQUssQ0FBQTt3Q0FDeEMsTUFBTSxnQkFBZ0IsR0FBRyxDQUFDLENBQUMsS0FBSyxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUE7d0NBQzlDLE9BQU8sUUFBUSxDQUFDLGdCQUFnQixDQUFDLENBQUMsQ0FBQyxDQUFDLFNBQVMsQ0FDekMsQ0FBQyxDQUFDLEVBQUUsRUFBRTs0Q0FDRixNQUFNLEtBQUssR0FBRyxDQUFDLENBQUMsS0FBSyxDQUFBOzRDQUNyQixPQUFPLEdBQUcsQ0FBQyxXQUFXLENBQUMsVUFBVSxDQUFDLENBQUMsU0FBUyxDQUN4QyxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBQyxPQUFPLEVBQUU7b0RBQ2IsTUFBTSxFQUFFLElBQUEsWUFBSSxFQUNSLENBQUMsRUFDRCxLQUFLLENBQ1I7aURBQ0osQ0FBQyxFQUNGLEdBQUcsRUFBRSxDQUFDLENBQUMsZUFBZSxFQUFFO29EQUNwQixPQUFPLEVBQUUsZ0JBQWdCO29EQUN6QixPQUFPLEVBQUUsVUFBVTtvREFDbkIsVUFBVSxFQUFFLEdBQUcsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLElBQUksQ0FBQztpREFDbkMsQ0FBQyxDQUNMLENBQUE7d0NBQ0wsQ0FBQyxFQUNELEdBQUcsRUFBRSxDQUFDLENBQUMsZUFBZSxFQUFFLENBQUMsQ0FBQyxLQUFLLENBQUMsS0FBSyxDQUFDLENBQ3pDLENBQUE7b0NBQ0wsQ0FBQyxFQUNELEdBQUcsRUFBRSxDQUFDLENBQUMsb0JBQW9CLEVBQUUsS0FBSyxDQUFDLENBQ3RDLENBQUE7Z0NBRUwsQ0FBQyxDQUFDLENBQUE7Z0NBQ0Ysb0VBQW9FO2dDQUNwRSxPQUFPLENBQUMsQ0FBQyxPQUFPLElBQUksQ0FBQyxZQUFZLEVBQUUsQ0FBQTs0QkFDdkMsQ0FBQzt3QkFDTCxDQUFDLENBQUM7cUJBQ0wsQ0FBQyxDQUFBO1lBQ04sQ0FBQyxDQUFDLENBQUE7WUFDRixLQUFLLE1BQU0sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRTtnQkFDL0IsT0FBTyxDQUFDLE1BQU0sRUFBRTt3QkFDWixZQUFZLEVBQUUsQ0FBQzt3QkFDZixRQUFRLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQyxJQUFJLENBQUMsSUFBSSxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUU7NEJBQzdCLFFBQVEsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7Z0NBQ1gsS0FBSyxRQUFRLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLE9BQU8sRUFBRSxJQUFJLENBQUMsQ0FBQyxDQUFBO2dDQUN0RCxvRUFBb0U7Z0NBQ3BFLE9BQU8sQ0FBQyxDQUFDLE9BQU8sQ0FBQyxvQkFBb0IsRUFBRSxJQUFJLENBQUMsS0FBSyxDQUFDLENBQUE7NEJBQ3RELENBQUM7d0JBQ0wsQ0FBQyxDQUFDO3FCQUNMLENBQUMsQ0FBQTtZQUNOLENBQUMsQ0FBQyxDQUFBO1lBQ0YsS0FBSyxnQkFBZ0IsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLElBQUksQ0FBQyxZQUFZLEVBQUUsQ0FBQyxDQUFBO1lBQ2xFLE9BQU8sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQTtRQUMvQixDQUFDO0lBQ0wsQ0FBQyxDQUFDLENBQUE7QUFDTixDQUFDLENBQUE7QUE5UlksUUFBQSxJQUFJLFFBOFJoQiJ9
|
|
@@ -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,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicG9zdF9wYXJzZV90eXBlcy5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy90cmFuc2Zvcm1hdGlvbnMvdW5tYXJzaGFsbC9wb3N0X3BhcnNlX3R5cGVzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiIifQ==
|
|
@@ -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;
|