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,51 @@
|
|
|
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.Types = void 0;
|
|
27
|
+
const pd = __importStar(require("exupery-core-data"));
|
|
28
|
+
const pa = __importStar(require("exupery-core-alg"));
|
|
29
|
+
const interface_1 = require("exupery/dist/shorthands/interface");
|
|
30
|
+
const pareto_standard_operations_1 = require("pareto-standard-operations");
|
|
31
|
+
const op = {
|
|
32
|
+
'flatten list': pareto_standard_operations_1.pure.list.flatten,
|
|
33
|
+
'flatten dictionary': pareto_standard_operations_1.pure.dictionary.flatten,
|
|
34
|
+
};
|
|
35
|
+
const Types = ($, $p) => {
|
|
36
|
+
const context = $;
|
|
37
|
+
return interface_1.m.module({
|
|
38
|
+
"out": interface_1.import_.sibling($p.constrained ? "unresolved" : "unconstrained", [], {}),
|
|
39
|
+
"in": interface_1.import_.sibling($p.constrained ? "resolved" : "unconstrained", [], {})
|
|
40
|
+
}, {}, context.dictionary.map(($, key) => ({
|
|
41
|
+
'parameters': {
|
|
42
|
+
'location': pd.get_location_info(1),
|
|
43
|
+
'dictionary': pa.dictionary_literal({}),
|
|
44
|
+
},
|
|
45
|
+
'type': interface_1.t.function_({}, interface_1.t.component_imported("in", key, {}, []), {}, interface_1.t.component_imported("out", key, $p.constrained ? {
|
|
46
|
+
"annotation": interface_1.t.null_()
|
|
47
|
+
} : {}, [])),
|
|
48
|
+
})));
|
|
49
|
+
};
|
|
50
|
+
exports.Types = Types;
|
|
51
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibWlncmF0aW9uX2JvaWxlcnBsYXRlLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vLi4vc3JjL3RyYW5zZm9ybWF0aW9ucy9zY2hlbWEvZXh1cGVyeV9pbnRlcmZhY2UvbWlncmF0aW9uX2JvaWxlcnBsYXRlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiI7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBQUEsc0RBQXVDO0FBRXZDLHFEQUFzQztBQU10QyxpRUFBNEU7QUFFNUUsMkVBQWlEO0FBRWpELE1BQU0sRUFBRSxHQUFHO0lBQ1AsY0FBYyxFQUFFLGlDQUFJLENBQUMsSUFBSSxDQUFDLE9BQU87SUFDakMsb0JBQW9CLEVBQUUsaUNBQUksQ0FBQyxVQUFVLENBQUMsT0FBTztDQUNoRCxDQUFBO0FBR00sTUFBTSxLQUFLLEdBQUcsQ0FDakIsQ0FBWSxFQUNaLEVBR0MsRUFDb0MsRUFBRTtJQUN2QyxNQUFNLE9BQU8sR0FBRyxDQUFDLENBQUE7SUFDakIsT0FBTyxhQUFDLENBQUMsTUFBTSxDQUVYO1FBQ0ksS0FBSyxFQUFFLG1CQUFPLENBQUMsT0FBTyxDQUNsQixFQUFFLENBQUMsV0FBVyxDQUFDLENBQUMsQ0FBQyxZQUFZLENBQUMsQ0FBQyxDQUFDLGVBQWUsRUFDL0MsRUFFQyxFQUNELEVBQUUsQ0FDTDtRQUNELElBQUksRUFBRSxtQkFBTyxDQUFDLE9BQU8sQ0FDakIsRUFBRSxDQUFDLFdBQVcsQ0FBQyxDQUFDLENBQUMsVUFBVSxDQUFDLENBQUMsQ0FBQyxlQUFlLEVBQzdDLEVBRUMsRUFDRCxFQUFFLENBQ0w7S0FDSixFQUNELEVBQUUsRUFDRixPQUFPLENBQUMsVUFBVSxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsRUFBRSxHQUFHLEVBQUUsRUFBRSxDQUFDLENBQUM7UUFDaEMsWUFBWSxFQUFFO1lBQ1YsVUFBVSxFQUFFLEVBQUUsQ0FBQyxpQkFBaUIsQ0FBQyxDQUFDLENBQUM7WUFDbkMsWUFBWSxFQUFFLEVBQUUsQ0FBQyxrQkFBa0IsQ0FBQyxFQUFFLENBQUM7U0FDMUM7UUFDRCxNQUFNLEVBQUUsYUFBQyxDQUFDLFNBQVMsQ0FDZixFQUFFLEVBQ0YsYUFBQyxDQUFDLGtCQUFrQixDQUNoQixJQUFJLEVBQ0osR0FBRyxFQUNILEVBQUUsRUFDRixFQUFFLENBQ0wsRUFDRCxFQUFFLEVBQ0YsYUFBQyxDQUFDLGtCQUFrQixDQUNoQixLQUFLLEVBQ0wsR0FBRyxFQUNILEVBQUUsQ0FBQyxXQUFXLENBQUMsQ0FBQyxDQUFDO1lBQ2IsWUFBWSxFQUFFLGFBQUMsQ0FBQyxLQUFLLEVBQUU7U0FDMUIsQ0FBQyxDQUFDLENBQUMsRUFBRSxFQUNOLEVBQUUsQ0FDTCxDQUNKO0tBQ0osQ0FBQyxDQUFDLENBQ04sQ0FBQTtBQUNMLENBQUMsQ0FBQTtBQXBEWSxRQUFBLEtBQUssU0FvRGpCIn0=
|
|
@@ -0,0 +1,12 @@
|
|
|
1
|
+
import * as pd from 'exupery-core-data';
|
|
2
|
+
import * as pt from 'exupery-core-types';
|
|
3
|
+
import * as _in from "../../../generated/interface/schemas/schema/resolved";
|
|
4
|
+
import * as _out from "exupery/dist/generated/interface/schemas/interface/unresolved";
|
|
5
|
+
export declare const r_Type_Reference: ($: _in.Type_Reference, $p: {
|
|
6
|
+
"component sub part": pt.Array<_out.Type.SG.component.sub_selection.L<pd.Source_Location>>;
|
|
7
|
+
}) => _out.Type<pd.Source_Location>;
|
|
8
|
+
export declare const r_Type_Part_Reference: ($: _in.Type_Node_Reference, $p: {
|
|
9
|
+
"add dictionary tail": boolean;
|
|
10
|
+
}) => _out.Type<pd.Source_Location>;
|
|
11
|
+
export declare const r_Signature_Parameters: ($: _in.Signature_Parameters) => _out.Type<pd.Source_Location>;
|
|
12
|
+
export declare const Signatures: ($: _in.Signatures) => _out.Module_Set.D<pd.Source_Location>;
|
|
@@ -0,0 +1,115 @@
|
|
|
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.Signatures = exports.r_Signature_Parameters = exports.r_Type_Part_Reference = exports.r_Type_Reference = void 0;
|
|
27
|
+
const pdev = __importStar(require("exupery-core-dev"));
|
|
28
|
+
const pa = __importStar(require("exupery-core-alg"));
|
|
29
|
+
const interface_1 = require("exupery/dist/shorthands/interface");
|
|
30
|
+
const pareto_standard_operations_1 = require("pareto-standard-operations");
|
|
31
|
+
const op = {
|
|
32
|
+
'append element': pareto_standard_operations_1.pure.list['append element'],
|
|
33
|
+
};
|
|
34
|
+
const r_Type_Reference = ($, $p) => {
|
|
35
|
+
return pa.cc($.location, ($) => {
|
|
36
|
+
switch ($[0]) {
|
|
37
|
+
case 'external': return pa.ss($, ($) => interface_1.t.component_imported(`imports ${$.import.key}`, $.type.key, {}, $p['component sub part'].__get_raw_copy()));
|
|
38
|
+
case 'internal': return pa.ss($, ($) => interface_1.t.component_imported("resolved", $.key, {}, $p['component sub part'].__get_raw_copy()));
|
|
39
|
+
default: return pa.au($[0]);
|
|
40
|
+
}
|
|
41
|
+
});
|
|
42
|
+
};
|
|
43
|
+
exports.r_Type_Reference = r_Type_Reference;
|
|
44
|
+
const r_Type_Part_Reference = ($, $p) => {
|
|
45
|
+
const Component_Sub_Selection = ($) => {
|
|
46
|
+
const tail = $.map(($) => pa.cc($, ($) => {
|
|
47
|
+
switch ($[0]) {
|
|
48
|
+
case 'dictionary': return pa.ss($, ($) => interface_1.sub.dictionary());
|
|
49
|
+
case 'group': return pa.ss($, ($) => interface_1.sub.group($.key));
|
|
50
|
+
case 'identifier value pair': return pa.ss($, ($) => pdev.implement_me());
|
|
51
|
+
case 'list': return pa.ss($, ($) => interface_1.sub.list());
|
|
52
|
+
case 'optional': return pa.ss($, ($) => interface_1.sub.optional());
|
|
53
|
+
case 'state group': return pa.ss($, ($) => interface_1.sub.state_group($.key));
|
|
54
|
+
default: return pa.au($[0]);
|
|
55
|
+
}
|
|
56
|
+
}));
|
|
57
|
+
return $p['add dictionary tail']
|
|
58
|
+
? op['append element'](tail, {
|
|
59
|
+
'element': interface_1.sub.dictionary(),
|
|
60
|
+
})
|
|
61
|
+
: tail;
|
|
62
|
+
};
|
|
63
|
+
return (0, exports.r_Type_Reference)($['type location'], {
|
|
64
|
+
'component sub part': Component_Sub_Selection($.tail),
|
|
65
|
+
});
|
|
66
|
+
};
|
|
67
|
+
exports.r_Type_Part_Reference = r_Type_Part_Reference;
|
|
68
|
+
const r_Signature_Parameters = ($) => {
|
|
69
|
+
return interface_1.t.group({
|
|
70
|
+
"values": interface_1.t.group($.values.map(($) => {
|
|
71
|
+
const temp_2 = (0, exports.r_Type_Reference)($['data type'], { 'component sub part': pa.array_literal([]) });
|
|
72
|
+
return pa.cc($.presence, ($) => {
|
|
73
|
+
switch ($[0]) {
|
|
74
|
+
case 'optional': return interface_1.t.optional(temp_2);
|
|
75
|
+
case 'required': return temp_2;
|
|
76
|
+
default: return pa.au($[0]);
|
|
77
|
+
}
|
|
78
|
+
});
|
|
79
|
+
})),
|
|
80
|
+
"lookups": interface_1.t.group($.lookups.map(($) => {
|
|
81
|
+
const x = $.referent;
|
|
82
|
+
return pa.cc($.type, ($) => {
|
|
83
|
+
switch ($[0]) {
|
|
84
|
+
case 'acyclic': return pa.ss($, ($) => interface_1.t.component_imported("generic", "Acyclic Lookup", {
|
|
85
|
+
"T": (0, exports.r_Type_Reference)(x, { 'component sub part': pa.array_literal([interface_1.sub.dictionary()]) }),
|
|
86
|
+
}, []));
|
|
87
|
+
case 'cyclic': return pa.ss($, ($) => interface_1.t.component_imported("generic", "Cyclic Lookup", {
|
|
88
|
+
"T": (0, exports.r_Type_Reference)(x, { 'component sub part': pa.array_literal([interface_1.sub.dictionary()]) }),
|
|
89
|
+
}, []));
|
|
90
|
+
case 'stack': return pa.ss($, ($) => interface_1.t.component_imported("generic", "Lookup Stack", {
|
|
91
|
+
"T": (0, exports.r_Type_Reference)(x, { 'component sub part': pa.array_literal([interface_1.sub.dictionary()]) }),
|
|
92
|
+
}, []));
|
|
93
|
+
default: return pa.au($[0]);
|
|
94
|
+
}
|
|
95
|
+
});
|
|
96
|
+
}))
|
|
97
|
+
});
|
|
98
|
+
};
|
|
99
|
+
exports.r_Signature_Parameters = r_Signature_Parameters;
|
|
100
|
+
const Signatures = ($) => {
|
|
101
|
+
return interface_1.m.module({
|
|
102
|
+
"generic": interface_1.import_.ancestor(3, "generic", ["resolve"], {}),
|
|
103
|
+
"resolved": interface_1.import_.sibling("resolved", [], {}),
|
|
104
|
+
"unresolved": interface_1.import_.sibling("unresolved", [], {}),
|
|
105
|
+
}, { "Source": null }, $.dictionary.map(($, key) => (0, interface_1.type)({}, interface_1.t.function_({}, interface_1.t.component_imported("unresolved", key, {
|
|
106
|
+
"Source": interface_1.t.module_parameter("Source"),
|
|
107
|
+
}, []), {
|
|
108
|
+
"parameters": (0, exports.r_Signature_Parameters)($['resolved parameters']),
|
|
109
|
+
"location 2 string": interface_1.t.component_imported("generic", "Location 2 String", {
|
|
110
|
+
"Source": interface_1.t.module_parameter("Source"),
|
|
111
|
+
}, []),
|
|
112
|
+
}, interface_1.t.component_imported("resolved", key, {}, [])))));
|
|
113
|
+
};
|
|
114
|
+
exports.Signatures = Signatures;
|
|
115
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicmVzb2x2ZXIuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi8uLi9zcmMvdHJhbnNmb3JtYXRpb25zL3NjaGVtYS9leHVwZXJ5X2ludGVyZmFjZS9yZXNvbHZlci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUNBLHVEQUF3QztBQUN4QyxxREFBc0M7QUFNdEMsaUVBQTRFO0FBSzVFLDJFQUFpRDtBQUVqRCxNQUFNLEVBQUUsR0FBRztJQUNQLGdCQUFnQixFQUFFLGlDQUFJLENBQUMsSUFBSSxDQUFDLGdCQUFnQixDQUFDO0NBQ2hELENBQUE7QUFFTSxNQUFNLGdCQUFnQixHQUFHLENBQzVCLENBQXFCLEVBQ3JCLEVBRUMsRUFDNEIsRUFBRTtJQUUvQixPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLFFBQVEsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFO1FBQzNCLFFBQVEsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7WUFDWCxLQUFLLFVBQVUsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLGFBQUMsQ0FBQyxrQkFBa0IsQ0FDeEQsV0FBVyxDQUFDLENBQUMsTUFBTSxDQUFDLEdBQUcsRUFBRSxFQUN6QixDQUFDLENBQUMsSUFBSSxDQUFDLEdBQUcsRUFDVixFQUFFLEVBQ0YsRUFBRSxDQUFDLG9CQUFvQixDQUFDLENBQUMsY0FBYyxFQUFFLENBRTVDLENBQUMsQ0FBQTtZQUNGLEtBQUssVUFBVSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsYUFBQyxDQUFDLGtCQUFrQixDQUN4RCxVQUFVLEVBQ1YsQ0FBQyxDQUFDLEdBQUcsRUFDTCxFQUFFLEVBQ0YsRUFBRSxDQUFDLG9CQUFvQixDQUFDLENBQUMsY0FBYyxFQUFFLENBQzVDLENBQUMsQ0FBQTtZQUNGLE9BQU8sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQTtRQUMvQixDQUFDO0lBQ0wsQ0FBQyxDQUFDLENBQUE7QUFDTixDQUFDLENBQUE7QUF6QlksUUFBQSxnQkFBZ0Isb0JBeUI1QjtBQUVNLE1BQU0scUJBQXFCLEdBQUcsQ0FDakMsQ0FBMEIsRUFDMUIsRUFFQyxFQUU0QixFQUFFO0lBQy9CLE1BQU0sdUJBQXVCLEdBQUcsQ0FDNUIsQ0FBK0IsRUFFcUMsRUFBRTtRQUN0RSxNQUFNLElBQUksR0FBeUUsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRTtZQUMzRyxRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO2dCQUNYLEtBQUssWUFBWSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsZUFBRyxDQUFDLFVBQVUsRUFBRSxDQUFDLENBQUE7Z0JBQzNELEtBQUssT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsZUFBRyxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQTtnQkFDdEQsS0FBSyx1QkFBdUIsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLElBQUksQ0FBQyxZQUFZLEVBQUUsQ0FBQyxDQUFBO2dCQUN6RSxLQUFLLE1BQU0sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLGVBQUcsQ0FBQyxJQUFJLEVBQUUsQ0FBQyxDQUFBO2dCQUMvQyxLQUFLLFVBQVUsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLGVBQUcsQ0FBQyxRQUFRLEVBQUUsQ0FBQyxDQUFBO2dCQUN2RCxLQUFLLGFBQWEsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLGVBQUcsQ0FBQyxXQUFXLENBQUMsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUE7Z0JBQ2xFLE9BQU8sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQTtZQUMvQixDQUFDO1FBQ0wsQ0FBQyxDQUFDLENBQUMsQ0FBQTtRQUNILE9BQU8sRUFBRSxDQUFDLHFCQUFxQixDQUFDO1lBQzVCLENBQUMsQ0FBQyxFQUFFLENBQUMsZ0JBQWdCLENBQUMsQ0FDbEIsSUFBSSxFQUNKO2dCQUNJLFNBQVMsRUFBRSxlQUFHLENBQUMsVUFBVSxFQUFFO2FBQzlCLENBQ0o7WUFDRCxDQUFDLENBQUMsSUFBSSxDQUFBO0lBQ2QsQ0FBQyxDQUFBO0lBRUQsT0FBTyxJQUFBLHdCQUFnQixFQUNuQixDQUFDLENBQUMsZUFBZSxDQUFDLEVBQ2xCO1FBQ0ksb0JBQW9CLEVBQUUsdUJBQXVCLENBQUMsQ0FBQyxDQUFDLElBQUksQ0FBQztLQUN4RCxDQUNKLENBQUE7QUFDTCxDQUFDLENBQUE7QUF0Q1ksUUFBQSxxQkFBcUIseUJBc0NqQztBQUVNLE1BQU0sc0JBQXNCLEdBQUcsQ0FDbEMsQ0FBMkIsRUFDRSxFQUFFO0lBQy9CLE9BQU8sYUFBQyxDQUFDLEtBQUssQ0FBQztRQUNYLFFBQVEsRUFBRSxhQUFDLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxNQUFNLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxFQUFpQyxFQUFFO1lBQ2hFLE1BQU0sTUFBTSxHQUFHLElBQUEsd0JBQWdCLEVBQUMsQ0FBQyxDQUFDLFdBQVcsQ0FBQyxFQUFFLEVBQUUsb0JBQW9CLEVBQUUsRUFBRSxDQUFDLGFBQWEsQ0FBQyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUE7WUFFL0YsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxRQUFRLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRTtnQkFDM0IsUUFBUSxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQztvQkFDWCxLQUFLLFVBQVUsQ0FBQyxDQUFDLE9BQU8sYUFBQyxDQUFDLFFBQVEsQ0FBQyxNQUFNLENBQUMsQ0FBQTtvQkFDMUMsS0FBSyxVQUFVLENBQUMsQ0FBQyxPQUFPLE1BQU0sQ0FBQTtvQkFDOUIsT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO2dCQUMvQixDQUFDO1lBQ0wsQ0FBQyxDQUFDLENBQUE7UUFDTixDQUFDLENBQUMsQ0FBQztRQUNILFNBQVMsRUFBRSxhQUFDLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxPQUFPLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxFQUFpQyxFQUFFO1lBQ2xFLE1BQU0sQ0FBQyxHQUFHLENBQUMsQ0FBQyxRQUFRLENBQUE7WUFDcEIsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxJQUFJLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRTtnQkFDdkIsUUFBUSxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQztvQkFDWCxLQUFLLFNBQVMsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLGFBQUMsQ0FBQyxrQkFBa0IsQ0FBQyxTQUFTLEVBQUUsZ0JBQWdCLEVBQUU7d0JBQ3JGLEdBQUcsRUFBRSxJQUFBLHdCQUFnQixFQUFDLENBQUMsRUFBRSxFQUFFLG9CQUFvQixFQUFFLEVBQUUsQ0FBQyxhQUFhLENBQUMsQ0FBRSxlQUFHLENBQUMsVUFBVSxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUM7cUJBQzVGLEVBQUUsRUFBRSxDQUFDLENBQUMsQ0FBQTtvQkFDUCxLQUFLLFFBQVEsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLGFBQUMsQ0FBQyxrQkFBa0IsQ0FBQyxTQUFTLEVBQUUsZUFBZSxFQUFFO3dCQUNuRixHQUFHLEVBQUUsSUFBQSx3QkFBZ0IsRUFBQyxDQUFDLEVBQUUsRUFBRSxvQkFBb0IsRUFBRSxFQUFFLENBQUMsYUFBYSxDQUFDLENBQUUsZUFBRyxDQUFDLFVBQVUsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDO3FCQUU1RixFQUFFLEVBQUUsQ0FBQyxDQUFDLENBQUE7b0JBQ1AsS0FBSyxPQUFPLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxhQUFDLENBQUMsa0JBQWtCLENBQUMsU0FBUyxFQUFFLGNBQWMsRUFBRTt3QkFDakYsR0FBRyxFQUFFLElBQUEsd0JBQWdCLEVBQUMsQ0FBQyxFQUFFLEVBQUUsb0JBQW9CLEVBQUUsRUFBRSxDQUFDLGFBQWEsQ0FBQyxDQUFFLGVBQUcsQ0FBQyxVQUFVLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQztxQkFFNUYsRUFBRSxFQUFFLENBQUMsQ0FBQyxDQUFBO29CQUNQLE9BQU8sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQTtnQkFDL0IsQ0FBQztZQUNMLENBQUMsQ0FBQyxDQUFBO1FBQ04sQ0FBQyxDQUFDLENBQUM7S0FDTixDQUFDLENBQUE7QUFDTixDQUFDLENBQUE7QUFuQ1ksUUFBQSxzQkFBc0IsMEJBbUNsQztBQUVNLE1BQU0sVUFBVSxHQUFHLENBQ3RCLENBQWlCLEVBQ29CLEVBQUU7SUFDdkMsT0FBTyxhQUFDLENBQUMsTUFBTSxDQUNYO1FBQ0ksU0FBUyxFQUFFLG1CQUFPLENBQUMsUUFBUSxDQUFDLENBQUMsRUFBRSxTQUFTLEVBQUUsQ0FBQyxTQUFTLENBQUMsRUFBRSxFQUFFLENBQUM7UUFDMUQsVUFBVSxFQUFFLG1CQUFPLENBQUMsT0FBTyxDQUFDLFVBQVUsRUFBRSxFQUFFLEVBQUUsRUFBRSxDQUFDO1FBQy9DLFlBQVksRUFBRSxtQkFBTyxDQUFDLE9BQU8sQ0FBQyxZQUFZLEVBQUUsRUFBRSxFQUFFLEVBQUUsQ0FBQztLQUN0RCxFQUNELEVBQUUsUUFBUSxFQUFFLElBQUksRUFBRSxFQUNsQixDQUFDLENBQUMsVUFBVSxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsRUFBRSxHQUFHLEVBQUUsRUFBRSxDQUFDLElBQUEsZ0JBQUksRUFBQyxFQUFFLEVBQUUsYUFBQyxDQUFDLFNBQVMsQ0FDN0MsRUFBRSxFQUNGLGFBQUMsQ0FBQyxrQkFBa0IsQ0FBQyxZQUFZLEVBQUUsR0FBRyxFQUFFO1FBQ3BDLFFBQVEsRUFBRSxhQUFDLENBQUMsZ0JBQWdCLENBQUMsUUFBUSxDQUFDO0tBQ3pDLEVBQUUsRUFBRSxDQUFDLEVBQ047UUFDSSxZQUFZLEVBQUUsSUFBQSw4QkFBc0IsRUFBQyxDQUFDLENBQUMscUJBQXFCLENBQUMsQ0FBQztRQUM5RCxtQkFBbUIsRUFBRSxhQUFDLENBQUMsa0JBQWtCLENBQUMsU0FBUyxFQUFFLG1CQUFtQixFQUFFO1lBQ3RFLFFBQVEsRUFBRSxhQUFDLENBQUMsZ0JBQWdCLENBQUMsUUFBUSxDQUFDO1NBQ3pDLEVBQUUsRUFBRSxDQUFDO0tBQ1QsRUFDRCxhQUFDLENBQUMsa0JBQWtCLENBQUMsVUFBVSxFQUFFLEdBQUcsRUFBRSxFQUFFLEVBQUUsRUFBRSxDQUFDLENBQ2hELENBQUMsQ0FBQyxDQUNOLENBQUE7QUFDTCxDQUFDLENBQUE7QUF4QlksUUFBQSxVQUFVLGNBd0J0QiJ9
|
|
@@ -0,0 +1,12 @@
|
|
|
1
|
+
import * as pd from 'exupery-core-data';
|
|
2
|
+
import * as _in from "../../../generated/interface/schemas/schema/resolved";
|
|
3
|
+
import * as _out from "exupery/dist/generated/interface/schemas/interface/unresolved";
|
|
4
|
+
export declare const r_Type_Reference: ($: _in.Type_Node_Reference, $p: {
|
|
5
|
+
"add dictionary tail": boolean;
|
|
6
|
+
}) => _out.Type<pd.Source_Location>;
|
|
7
|
+
export declare const Number_Type: ($: _in.Number_Type) => _out.Type<pd.Source_Location>;
|
|
8
|
+
export declare const Type_Node: ($: _in.Type_Node) => _out.Type<pd.Source_Location>;
|
|
9
|
+
export declare const Types: ($: _in.Types, $p: {
|
|
10
|
+
"imports": _in.Imports;
|
|
11
|
+
"what to generate": ["unresolved", null] | ["resolved", null] | ["unconstrained", null];
|
|
12
|
+
}) => _out.Module_Set.D<pd.Source_Location>;
|
|
@@ -0,0 +1,211 @@
|
|
|
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.Types = exports.Type_Node = exports.Number_Type = exports.r_Type_Reference = void 0;
|
|
27
|
+
const pd = __importStar(require("exupery-core-data"));
|
|
28
|
+
const pdev = __importStar(require("exupery-core-dev"));
|
|
29
|
+
const pa = __importStar(require("exupery-core-alg"));
|
|
30
|
+
const interface_1 = require("exupery/dist/shorthands/interface");
|
|
31
|
+
const pareto_standard_operations_1 = require("pareto-standard-operations");
|
|
32
|
+
const op = {
|
|
33
|
+
'flatten list': pareto_standard_operations_1.pure.list.flatten,
|
|
34
|
+
'flatten dictionary': pareto_standard_operations_1.pure.dictionary.flatten,
|
|
35
|
+
'append element': pareto_standard_operations_1.pure.list['append element'],
|
|
36
|
+
};
|
|
37
|
+
const r_Type_Reference = ($, $p) => {
|
|
38
|
+
const referent = $;
|
|
39
|
+
const Component_Sub_Selection = ($, $p) => {
|
|
40
|
+
const tail = $.tail.map(($) => pa.cc($, ($) => {
|
|
41
|
+
switch ($[0]) {
|
|
42
|
+
case 'dictionary': return pa.ss($, ($) => interface_1.sub.dictionary());
|
|
43
|
+
case 'group': return pa.ss($, ($) => interface_1.sub.group($.key));
|
|
44
|
+
case 'identifier value pair': return pa.ss($, ($) => pdev.implement_me());
|
|
45
|
+
case 'list': return pa.ss($, ($) => interface_1.sub.list());
|
|
46
|
+
case 'optional': return pa.ss($, ($) => interface_1.sub.optional());
|
|
47
|
+
case 'state group': return pa.ss($, ($) => interface_1.sub.state_group($.key));
|
|
48
|
+
default: return pa.au($[0]);
|
|
49
|
+
}
|
|
50
|
+
}));
|
|
51
|
+
return $p['add dictionary tail']
|
|
52
|
+
? op['append element'](tail, {
|
|
53
|
+
'element': interface_1.sub.dictionary(),
|
|
54
|
+
})
|
|
55
|
+
: tail;
|
|
56
|
+
};
|
|
57
|
+
return pa.cc($['type location'].location, ($) => {
|
|
58
|
+
switch ($[0]) {
|
|
59
|
+
case 'external': return pa.ss($, ($) => interface_1.t.component_imported(`imports ${$.import.key}`, $.type.key, {}, Component_Sub_Selection(referent, { 'add dictionary tail': $p['add dictionary tail'] }).__get_raw_copy()));
|
|
60
|
+
case 'internal': return pa.ss($, ($) => interface_1.t.component_sibling($.key, {}, Component_Sub_Selection(referent, { 'add dictionary tail': $p['add dictionary tail'] }).__get_raw_copy()));
|
|
61
|
+
default: return pa.au($[0]);
|
|
62
|
+
}
|
|
63
|
+
});
|
|
64
|
+
};
|
|
65
|
+
exports.r_Type_Reference = r_Type_Reference;
|
|
66
|
+
const Number_Type = ($) => {
|
|
67
|
+
return pa.cc($.precision, ($) => {
|
|
68
|
+
switch ($[0]) {
|
|
69
|
+
case 'approximation': return pa.ss($, ($) => interface_1.t.float());
|
|
70
|
+
case 'exact': return pa.ss($, ($) => pa.cc($.type, ($) => {
|
|
71
|
+
switch ($[0]) {
|
|
72
|
+
case 'integer': return pa.ss($, ($) => interface_1.t.integer('signed'));
|
|
73
|
+
case 'natural': return pa.ss($, ($) => interface_1.t.integer('unsigned'));
|
|
74
|
+
case 'positive natural': return pa.ss($, ($) => interface_1.t.integer('unsigned'));
|
|
75
|
+
default: return pa.au($[0]);
|
|
76
|
+
}
|
|
77
|
+
}));
|
|
78
|
+
default: return pa.au($[0]);
|
|
79
|
+
}
|
|
80
|
+
});
|
|
81
|
+
};
|
|
82
|
+
exports.Number_Type = Number_Type;
|
|
83
|
+
const Type_Node = ($) => {
|
|
84
|
+
return pa.cc($, ($) => {
|
|
85
|
+
switch ($[0]) {
|
|
86
|
+
case 'boolean': return pa.ss($, ($) => interface_1.t.boolean());
|
|
87
|
+
case 'number': return pa.ss($, ($) => pa.cc($, ($) => {
|
|
88
|
+
switch ($[0]) {
|
|
89
|
+
case 'global': return pa.ss($, ($) => (0, exports.Number_Type)($.entry));
|
|
90
|
+
case 'local': return pa.ss($, ($) => (0, exports.Number_Type)($));
|
|
91
|
+
default: return pa.au($[0]);
|
|
92
|
+
}
|
|
93
|
+
}));
|
|
94
|
+
case 'text': return pa.ss($, ($) => interface_1.t.string());
|
|
95
|
+
case 'component': return pa.ss($, ($) => pa.cc($, ($) => {
|
|
96
|
+
switch ($[0]) {
|
|
97
|
+
case 'external': return pa.ss($, ($) => interface_1.t.component_imported(`imports ${$.import.key}`, $.type.key, {}, []));
|
|
98
|
+
case 'internal': return pa.ss($, ($) => interface_1.t.component_sibling($.key, {}, []));
|
|
99
|
+
case 'internal cyclic': return pa.ss($, ($) => interface_1.t.component_sibling(//FIXME: is this correct?
|
|
100
|
+
$.key, {}, []));
|
|
101
|
+
default: return pa.au($[0]);
|
|
102
|
+
}
|
|
103
|
+
}));
|
|
104
|
+
case 'dictionary': return pa.ss($, ($) => interface_1.t.component_imported("core", $.ordered ? "Ordered Dictionary" : "Dictionary", {
|
|
105
|
+
"D": (0, exports.Type_Node)($.node)
|
|
106
|
+
}, []));
|
|
107
|
+
case 'group': return pa.ss($, ($) => interface_1.t.group($.map(($, key) => (0, exports.Type_Node)($))));
|
|
108
|
+
case 'list': return pa.ss($, ($) => {
|
|
109
|
+
const type = $.node;
|
|
110
|
+
return interface_1.t.component_imported("core", "List", {
|
|
111
|
+
"L": (0, exports.Type_Node)($.node)
|
|
112
|
+
}, []);
|
|
113
|
+
});
|
|
114
|
+
case 'identifier value pair': return pa.ss($, ($) => interface_1.t.key_value_pair((0, exports.Type_Node)($)));
|
|
115
|
+
case 'nothing': return pa.ss($, ($) => interface_1.t.null_());
|
|
116
|
+
case 'optional': return pa.ss($, ($) => interface_1.t.optional((0, exports.Type_Node)($)));
|
|
117
|
+
case 'reference': return pa.ss($, ($) => {
|
|
118
|
+
const referent = $.referent;
|
|
119
|
+
return pa.cc($.type, ($) => {
|
|
120
|
+
switch ($[0]) {
|
|
121
|
+
case 'derived': return pa.ss($, ($) => interface_1.t.component_imported("core", "Derived Reference", {
|
|
122
|
+
"Type": (0, exports.r_Type_Reference)(referent, { 'add dictionary tail': false }),
|
|
123
|
+
}, []));
|
|
124
|
+
case 'selected': return pa.ss($, ($) => interface_1.t.component_imported("core", pa.cc($.dependency, ($) => {
|
|
125
|
+
switch ($[0]) {
|
|
126
|
+
case 'cyclic': return pa.ss($, ($) => "Reference To Circular Dependent Sibling");
|
|
127
|
+
case 'acyclic': return pa.ss($, ($) => "Reference To Normal Dictionary Entry");
|
|
128
|
+
case 'stack': return pa.ss($, ($) => "Reference To Stacked Dictionary Entry");
|
|
129
|
+
default: return pa.au($[0]);
|
|
130
|
+
}
|
|
131
|
+
}), {
|
|
132
|
+
"Dictionary Entry": (0, exports.r_Type_Reference)(referent, { 'add dictionary tail': true }),
|
|
133
|
+
}, []));
|
|
134
|
+
default: return pa.au($[0]);
|
|
135
|
+
}
|
|
136
|
+
});
|
|
137
|
+
});
|
|
138
|
+
case 'state group': return pa.ss($, ($) => interface_1.t.component_imported("core", "State Group", {
|
|
139
|
+
"SG": interface_1.t.tagged_union($.map(($, key) => (0, exports.Type_Node)($)))
|
|
140
|
+
}, []));
|
|
141
|
+
case 'type parameter': return pa.ss($, ($) => interface_1.t.type_parameter($.key));
|
|
142
|
+
default: return pa.au($[0]);
|
|
143
|
+
}
|
|
144
|
+
});
|
|
145
|
+
};
|
|
146
|
+
exports.Type_Node = Type_Node;
|
|
147
|
+
const Types = ($, $p) => {
|
|
148
|
+
const context = $;
|
|
149
|
+
return interface_1.m.module(op['flatten dictionary'](pa.dictionary_literal({
|
|
150
|
+
"core": pa.dictionary_literal({
|
|
151
|
+
"": interface_1.import_.ancestor(2, "core", [
|
|
152
|
+
pa.cc($p['what to generate'], ($) => {
|
|
153
|
+
switch ($[0]) {
|
|
154
|
+
case 'unconstrained': return pa.ss($, ($) => "unconstrained");
|
|
155
|
+
case 'resolved': return pa.ss($, ($) => "resolved");
|
|
156
|
+
case 'unresolved': return pa.ss($, ($) => "unresolved");
|
|
157
|
+
default: return pa.au($[0]);
|
|
158
|
+
}
|
|
159
|
+
}),
|
|
160
|
+
], {
|
|
161
|
+
"Source": pa.cc($p['what to generate'], ($) => {
|
|
162
|
+
switch ($[0]) {
|
|
163
|
+
case 'unconstrained': return pa.ss($, ($) => interface_1.t.null_());
|
|
164
|
+
case 'resolved': return pa.ss($, ($) => interface_1.t.null_());
|
|
165
|
+
case 'unresolved': return pa.ss($, ($) => interface_1.t.module_parameter("Source"));
|
|
166
|
+
default: return pa.au($[0]);
|
|
167
|
+
}
|
|
168
|
+
}),
|
|
169
|
+
})
|
|
170
|
+
}),
|
|
171
|
+
"imports ": pa.block(() => {
|
|
172
|
+
const types = $p['what to generate'];
|
|
173
|
+
return $p.imports.map(($) => interface_1.import_.ancestor(1 + $['schema set child']['up steps'], $['schema set child'].key, [
|
|
174
|
+
pa.cc(types, ($) => {
|
|
175
|
+
switch ($[0]) {
|
|
176
|
+
case 'unresolved': return pa.ss($, ($) => "unresolved");
|
|
177
|
+
case 'resolved': return pa.ss($, ($) => "resolved");
|
|
178
|
+
case 'unconstrained': return pa.ss($, ($) => "unconstrained");
|
|
179
|
+
default: return pa.au($[0]);
|
|
180
|
+
}
|
|
181
|
+
})
|
|
182
|
+
], pa.cc(types, ($) => {
|
|
183
|
+
switch ($[0]) {
|
|
184
|
+
case 'resolved': return pa.ss($, ($) => pa.dictionary_literal({}));
|
|
185
|
+
case 'unconstrained': return pa.ss($, ($) => pa.dictionary_literal({}));
|
|
186
|
+
case 'unresolved': return pa.ss($, ($) => pa.dictionary_literal({
|
|
187
|
+
"Source": interface_1.t.module_parameter("Source"),
|
|
188
|
+
}));
|
|
189
|
+
default: return pa.au($[0]);
|
|
190
|
+
}
|
|
191
|
+
})));
|
|
192
|
+
}),
|
|
193
|
+
}), {
|
|
194
|
+
'separator': "",
|
|
195
|
+
}), pa.cc($p['what to generate'], ($) => {
|
|
196
|
+
switch ($[0]) {
|
|
197
|
+
case 'resolved': return pa.ss($, ($) => ({}));
|
|
198
|
+
case 'unconstrained': return pa.ss($, ($) => ({}));
|
|
199
|
+
case 'unresolved': return pa.ss($, ($) => ({ "Source": null }));
|
|
200
|
+
default: return pa.au($[0]);
|
|
201
|
+
}
|
|
202
|
+
}), context.dictionary.map(($) => ({
|
|
203
|
+
'parameters': {
|
|
204
|
+
'location': pd.get_location_info(1),
|
|
205
|
+
'dictionary': pa.dictionary_literal({}),
|
|
206
|
+
},
|
|
207
|
+
'type': (0, exports.Type_Node)($.node),
|
|
208
|
+
})));
|
|
209
|
+
};
|
|
210
|
+
exports.Types = Types;
|
|
211
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHlwZXMuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi8uLi9zcmMvdHJhbnNmb3JtYXRpb25zL3NjaGVtYS9leHVwZXJ5X2ludGVyZmFjZS90eXBlcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUFBLHNEQUF1QztBQUN2Qyx1REFBd0M7QUFDeEMscURBQXNDO0FBTXRDLGlFQUE0RTtBQUU1RSwyRUFBaUQ7QUFFakQsTUFBTSxFQUFFLEdBQUc7SUFDUCxjQUFjLEVBQUUsaUNBQUksQ0FBQyxJQUFJLENBQUMsT0FBTztJQUNqQyxvQkFBb0IsRUFBRSxpQ0FBSSxDQUFDLFVBQVUsQ0FBQyxPQUFPO0lBQzdDLGdCQUFnQixFQUFFLGlDQUFJLENBQUMsSUFBSSxDQUFDLGdCQUFnQixDQUFDO0NBQ2hELENBQUE7QUFFTSxNQUFNLGdCQUFnQixHQUFHLENBQzVCLENBQTBCLEVBQzFCLEVBRUMsRUFFNEIsRUFBRTtJQUMvQixNQUFNLFFBQVEsR0FBRyxDQUFDLENBQUE7SUFDbEIsTUFBTSx1QkFBdUIsR0FBRyxDQUM1QixDQUEwQixFQUMxQixFQUVDLEVBRW1FLEVBQUU7UUFDdEUsTUFBTSxJQUFJLEdBQXlFLENBQUMsQ0FBQyxJQUFJLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFO1lBQ2hILFFBQVEsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7Z0JBQ1gsS0FBSyxZQUFZLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxlQUFHLENBQUMsVUFBVSxFQUFFLENBQUMsQ0FBQTtnQkFDM0QsS0FBSyxPQUFPLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxlQUFHLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFBO2dCQUN0RCxLQUFLLHVCQUF1QixDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsSUFBSSxDQUFDLFlBQVksRUFBRSxDQUFDLENBQUE7Z0JBQ3pFLEtBQUssTUFBTSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsZUFBRyxDQUFDLElBQUksRUFBRSxDQUFDLENBQUE7Z0JBQy9DLEtBQUssVUFBVSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsZUFBRyxDQUFDLFFBQVEsRUFBRSxDQUFDLENBQUE7Z0JBQ3ZELEtBQUssYUFBYSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsZUFBRyxDQUFDLFdBQVcsQ0FBQyxDQUFDLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQTtnQkFDbEUsT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO1lBQy9CLENBQUM7UUFDTCxDQUFDLENBQUMsQ0FBQyxDQUFBO1FBQ0gsT0FBTyxFQUFFLENBQUMscUJBQXFCLENBQUM7WUFDNUIsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxnQkFBZ0IsQ0FBQyxDQUNsQixJQUFJLEVBQ0o7Z0JBQ0ksU0FBUyxFQUFFLGVBQUcsQ0FBQyxVQUFVLEVBQUU7YUFDOUIsQ0FDSjtZQUNELENBQUMsQ0FBQyxJQUFJLENBQUE7SUFDZCxDQUFDLENBQUE7SUFFRCxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLGVBQWUsQ0FBQyxDQUFDLFFBQVEsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFO1FBQzVDLFFBQVEsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7WUFDWCxLQUFLLFVBQVUsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLGFBQUMsQ0FBQyxrQkFBa0IsQ0FDeEQsV0FBVyxDQUFDLENBQUMsTUFBTSxDQUFDLEdBQUcsRUFBRSxFQUN6QixDQUFDLENBQUMsSUFBSSxDQUFDLEdBQUcsRUFDVixFQUFFLEVBQ0YsdUJBQXVCLENBQUMsUUFBUSxFQUFFLEVBQUUscUJBQXFCLEVBQUUsRUFBRSxDQUFDLHFCQUFxQixDQUFDLEVBQUMsQ0FBQyxDQUFDLGNBQWMsRUFBRSxDQUUxRyxDQUFDLENBQUE7WUFDRixLQUFLLFVBQVUsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLGFBQUMsQ0FBQyxpQkFBaUIsQ0FDdkQsQ0FBQyxDQUFDLEdBQUcsRUFDTCxFQUFFLEVBQ0YsdUJBQXVCLENBQUMsUUFBUSxFQUFFLEVBQUUscUJBQXFCLEVBQUUsRUFBRSxDQUFDLHFCQUFxQixDQUFDLEVBQUMsQ0FBQyxDQUFDLGNBQWMsRUFBRSxDQUMxRyxDQUFDLENBQUE7WUFDRixPQUFPLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7UUFDL0IsQ0FBQztJQUNMLENBQUMsQ0FBQyxDQUFBO0FBQ04sQ0FBQyxDQUFBO0FBckRZLFFBQUEsZ0JBQWdCLG9CQXFENUI7QUFFTSxNQUFNLFdBQVcsR0FBRyxDQUN2QixDQUFrQixFQUVXLEVBQUU7SUFDL0IsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxTQUFTLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRTtRQUM1QixRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO1lBQ1gsS0FBSyxlQUFlLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxhQUFDLENBQUMsS0FBSyxFQUFFLENBQUMsQ0FBQTtZQUN2RCxLQUFLLE9BQU8sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLElBQUksRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFO2dCQUNyRCxRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO29CQUNYLEtBQUssU0FBUyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsYUFBQyxDQUFDLE9BQU8sQ0FBQyxRQUFRLENBQUMsQ0FBQyxDQUFBO29CQUMzRCxLQUFLLFNBQVMsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLGFBQUMsQ0FBQyxPQUFPLENBQUMsVUFBVSxDQUFDLENBQUMsQ0FBQTtvQkFDN0QsS0FBSyxrQkFBa0IsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLGFBQUMsQ0FBQyxPQUFPLENBQUMsVUFBVSxDQUFDLENBQUMsQ0FBQTtvQkFDdEUsT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO2dCQUMvQixDQUFDO1lBQ0wsQ0FBQyxDQUFDLENBQUMsQ0FBQTtZQUNILE9BQU8sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQTtRQUMvQixDQUFDO0lBQ0wsQ0FBQyxDQUFDLENBQUE7QUFDTixDQUFDLENBQUE7QUFsQlksUUFBQSxXQUFXLGVBa0J2QjtBQUVNLE1BQU0sU0FBUyxHQUFHLENBQ3JCLENBQWdCLEVBRWEsRUFBRTtJQUMvQixPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUU7UUFDbEIsUUFBUSxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQztZQUNYLEtBQUssU0FBUyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsYUFBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLENBQUE7WUFDbkQsS0FBSyxRQUFRLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFO2dCQUNqRCxRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO29CQUNYLEtBQUssUUFBUSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsSUFBQSxtQkFBVyxFQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFBO29CQUMzRCxLQUFLLE9BQU8sQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLElBQUEsbUJBQVcsRUFBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO29CQUNwRCxPQUFPLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7Z0JBQy9CLENBQUM7WUFDTCxDQUFDLENBQUMsQ0FBQyxDQUFBO1lBQ0gsS0FBSyxNQUFNLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxhQUFDLENBQUMsTUFBTSxFQUFFLENBQUMsQ0FBQTtZQUMvQyxLQUFLLFdBQVcsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUU7Z0JBQ3BELFFBQVEsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7b0JBQ1gsS0FBSyxVQUFVLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxhQUFDLENBQUMsa0JBQWtCLENBQ3hELFdBQVcsQ0FBQyxDQUFDLE1BQU0sQ0FBQyxHQUFHLEVBQUUsRUFDekIsQ0FBQyxDQUFDLElBQUksQ0FBQyxHQUFHLEVBQ1YsRUFBRSxFQUNGLEVBQUUsQ0FDTCxDQUFDLENBQUE7b0JBQ0YsS0FBSyxVQUFVLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxhQUFDLENBQUMsaUJBQWlCLENBQ3ZELENBQUMsQ0FBQyxHQUFHLEVBQ0wsRUFBRSxFQUNGLEVBQUUsQ0FDTCxDQUFDLENBQUE7b0JBQ0YsS0FBSyxpQkFBaUIsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLGFBQUMsQ0FBQyxpQkFBaUIsQ0FBRSx5QkFBeUI7b0JBQ3pGLENBQUMsQ0FBQyxHQUFHLEVBQ0wsRUFBRSxFQUNGLEVBQUUsQ0FDTCxDQUFDLENBQUE7b0JBQ0YsT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO2dCQUMvQixDQUFDO1lBQ0wsQ0FBQyxDQUFDLENBQUMsQ0FBQTtZQUNILEtBQUssWUFBWSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsYUFBQyxDQUFDLGtCQUFrQixDQUMxRCxNQUFNLEVBQ04sQ0FBQyxDQUFDLE9BQU8sQ0FBQyxDQUFDLENBQUMsb0JBQW9CLENBQUMsQ0FBQyxDQUFDLFlBQVksRUFDL0M7Z0JBQ0ksR0FBRyxFQUFFLElBQUEsaUJBQVMsRUFBQyxDQUFDLENBQUMsSUFBSSxDQUFDO2FBQ3pCLEVBQ0QsRUFBRSxDQUNMLENBQUMsQ0FBQTtZQUNGLEtBQUssT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsYUFBQyxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxFQUFFLEdBQUcsRUFBRSxFQUFFLENBQUMsSUFBQSxpQkFBUyxFQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO1lBQzlFLEtBQUssTUFBTSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFO2dCQUMvQixNQUFNLElBQUksR0FBRyxDQUFDLENBQUMsSUFBSSxDQUFBO2dCQUNuQixPQUFPLGFBQUMsQ0FBQyxrQkFBa0IsQ0FDdkIsTUFBTSxFQUNOLE1BQU0sRUFDTjtvQkFDSSxHQUFHLEVBQUUsSUFBQSxpQkFBUyxFQUFDLENBQUMsQ0FBQyxJQUFJLENBQUM7aUJBQ3pCLEVBQ0QsRUFBRSxDQUNMLENBQUE7WUFDTCxDQUFDLENBQUMsQ0FBQTtZQUNGLEtBQUssdUJBQXVCLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxhQUFDLENBQUMsY0FBYyxDQUFDLElBQUEsaUJBQVMsRUFBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7WUFDcEYsS0FBSyxTQUFTLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxhQUFDLENBQUMsS0FBSyxFQUFFLENBQUMsQ0FBQTtZQUNqRCxLQUFLLFVBQVUsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLGFBQUMsQ0FBQyxRQUFRLENBQUMsSUFBQSxpQkFBUyxFQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQTtZQUNqRSxLQUFLLFdBQVcsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRTtnQkFDcEMsTUFBTSxRQUFRLEdBQUcsQ0FBQyxDQUFDLFFBQVEsQ0FBQTtnQkFDM0IsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxJQUFJLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRTtvQkFDdkIsUUFBUSxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQzt3QkFDWCxLQUFLLFNBQVMsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLGFBQUMsQ0FBQyxrQkFBa0IsQ0FDdkQsTUFBTSxFQUNOLG1CQUFtQixFQUNuQjs0QkFDSSxNQUFNLEVBQUUsSUFBQSx3QkFBZ0IsRUFBQyxRQUFRLEVBQUUsRUFBRSxxQkFBcUIsRUFBRSxLQUFLLEVBQUUsQ0FBQzt5QkFDdkUsRUFDRCxFQUFFLENBQ0wsQ0FBQyxDQUFBO3dCQUNGLEtBQUssVUFBVSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsYUFBQyxDQUFDLGtCQUFrQixDQUN4RCxNQUFNLEVBQ04sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsVUFBVSxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUU7NEJBQ3RCLFFBQVEsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7Z0NBQ1gsS0FBSyxRQUFRLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyx5Q0FBeUMsQ0FBQyxDQUFBO2dDQUNoRixLQUFLLFNBQVMsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLHNDQUFzQyxDQUFDLENBQUE7Z0NBQzlFLEtBQUssT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsdUNBQXVDLENBQUMsQ0FBQTtnQ0FDN0UsT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBOzRCQUMvQixDQUFDO3dCQUNMLENBQUMsQ0FBQyxFQUNGOzRCQUNJLGtCQUFrQixFQUFFLElBQUEsd0JBQWdCLEVBQUMsUUFBUSxFQUFFLEVBQUUscUJBQXFCLEVBQUUsSUFBSSxFQUFFLENBQUM7eUJBQ2xGLEVBQ0QsRUFBRSxDQUNMLENBQUMsQ0FBQTt3QkFDRixPQUFPLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7b0JBQy9CLENBQUM7Z0JBQ0wsQ0FBQyxDQUFDLENBQUE7WUFDTixDQUFDLENBQUMsQ0FBQTtZQUVGLEtBQUssYUFBYSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsYUFBQyxDQUFDLGtCQUFrQixDQUMzRCxNQUFNLEVBQ04sYUFBYSxFQUNiO2dCQUNJLElBQUksRUFBRSxhQUFDLENBQUMsWUFBWSxDQUFDLENBQUMsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLEVBQUUsR0FBRyxFQUFFLEVBQUUsQ0FBQyxJQUFBLGlCQUFTLEVBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQzthQUN4RCxFQUNELEVBQUUsQ0FDTCxDQUFDLENBQUE7WUFDRixLQUFLLGdCQUFnQixDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsYUFBQyxDQUFDLGNBQWMsQ0FBQyxDQUFDLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQTtZQUN0RSxPQUFPLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7UUFDL0IsQ0FBQztJQUNMLENBQUMsQ0FBQyxDQUFBO0FBQ04sQ0FBQyxDQUFBO0FBdkdZLFFBQUEsU0FBUyxhQXVHckI7QUFJTSxNQUFNLEtBQUssR0FBRyxDQUNqQixDQUFZLEVBQ1osRUFNQyxFQUNvQyxFQUFFO0lBQ3ZDLE1BQU0sT0FBTyxHQUFHLENBQUMsQ0FBQTtJQUNqQixPQUFPLGFBQUMsQ0FBQyxNQUFNLENBQ1gsRUFBRSxDQUFDLG9CQUFvQixDQUFDLENBQ3BCLEVBQUUsQ0FBQyxrQkFBa0IsQ0FBQztRQUNsQixNQUFNLEVBQUUsRUFBRSxDQUFDLGtCQUFrQixDQUFDO1lBQzFCLEVBQUUsRUFBRSxtQkFBTyxDQUFDLFFBQVEsQ0FDaEIsQ0FBQyxFQUNELE1BQU0sRUFDTjtnQkFDSSxFQUFFLENBQUMsRUFBRSxDQUFDLEVBQUUsQ0FBQyxrQkFBa0IsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUU7b0JBQ2hDLFFBQVEsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7d0JBQ1gsS0FBSyxlQUFlLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxlQUFlLENBQUMsQ0FBQTt3QkFDN0QsS0FBSyxVQUFVLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxVQUFVLENBQUMsQ0FBQTt3QkFDbkQsS0FBSyxZQUFZLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxZQUFZLENBQUMsQ0FBQTt3QkFDdkQsT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO29CQUMvQixDQUFDO2dCQUNMLENBQUMsQ0FBQzthQUNMLEVBQ0Q7Z0JBQ0ksUUFBUSxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUMsRUFBRSxDQUFDLGtCQUFrQixDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRTtvQkFDMUMsUUFBUSxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQzt3QkFDWCxLQUFLLGVBQWUsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLGFBQUMsQ0FBQyxLQUFLLEVBQUUsQ0FBQyxDQUFBO3dCQUN2RCxLQUFLLFVBQVUsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLGFBQUMsQ0FBQyxLQUFLLEVBQUUsQ0FBQyxDQUFBO3dCQUNsRCxLQUFLLFlBQVksQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLGFBQUMsQ0FBQyxnQkFBZ0IsQ0FBQyxRQUFRLENBQUMsQ0FBQyxDQUFBO3dCQUN2RSxPQUFPLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7b0JBQy9CLENBQUM7Z0JBQ0wsQ0FBQyxDQUFDO2FBQ0wsQ0FDSjtTQUNKLENBQUM7UUFDRixVQUFVLEVBQUUsRUFBRSxDQUFDLEtBQUssQ0FBQyxHQUFHLEVBQUU7WUFDdEIsTUFBTSxLQUFLLEdBQUcsRUFBRSxDQUFDLGtCQUFrQixDQUFDLENBQUE7WUFDcEMsT0FBTyxFQUFFLENBQUMsT0FBTyxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsbUJBQU8sQ0FBQyxRQUFRLENBQ3pDLENBQUMsR0FBRyxDQUFDLENBQUMsa0JBQWtCLENBQUMsQ0FBQyxVQUFVLENBQUMsRUFDckMsQ0FBQyxDQUFDLGtCQUFrQixDQUFDLENBQUMsR0FBRyxFQUN6QjtnQkFDSSxFQUFFLENBQUMsRUFBRSxDQUFDLEtBQUssRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFO29CQUNmLFFBQVEsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7d0JBQ1gsS0FBSyxZQUFZLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxZQUFZLENBQUMsQ0FBQTt3QkFDdkQsS0FBSyxVQUFVLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxVQUFVLENBQUMsQ0FBQTt3QkFDbkQsS0FBSyxlQUFlLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxlQUFlLENBQUMsQ0FBQTt3QkFDN0QsT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO29CQUMvQixDQUFDO2dCQUNMLENBQUMsQ0FBQzthQUNMLEVBQ0QsRUFBRSxDQUFDLEVBQUUsQ0FBQyxLQUFLLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRTtnQkFDZixRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO29CQUVYLEtBQUssVUFBVSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLGtCQUFrQixDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUE7b0JBQ2xFLEtBQUssZUFBZSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLGtCQUFrQixDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUE7b0JBQ3ZFLEtBQUssWUFBWSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLGtCQUFrQixDQUFDO3dCQUM1RCxRQUFRLEVBQUUsYUFBQyxDQUFDLGdCQUFnQixDQUFDLFFBQVEsQ0FBQztxQkFDekMsQ0FBQyxDQUFDLENBQUE7b0JBQ0gsT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO2dCQUMvQixDQUFDO1lBQ0wsQ0FBQyxDQUFDLENBQ0wsQ0FBQyxDQUFBO1FBQ04sQ0FBQyxDQUFDO0tBQ0wsQ0FBQyxFQUNGO1FBQ0ksV0FBVyxFQUFFLEVBQUU7S0FDbEIsQ0FDSixFQUNELEVBQUUsQ0FBQyxFQUFFLENBQUMsRUFBRSxDQUFDLGtCQUFrQixDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRTtRQUNoQyxRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO1lBQ1gsS0FBSyxVQUFVLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUE7WUFDN0MsS0FBSyxlQUFlLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUE7WUFDbEQsS0FBSyxZQUFZLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLEVBQUUsUUFBUSxFQUFFLElBQUksRUFBRSxDQUFDLENBQUMsQ0FBQTtZQUMvRCxPQUFPLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7UUFDL0IsQ0FBQztJQUNMLENBQUMsQ0FBQyxFQUNGLE9BQU8sQ0FBQyxVQUFVLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDO1FBQzNCLFlBQVksRUFBRTtZQUNWLFVBQVUsRUFBRSxFQUFFLENBQUMsaUJBQWlCLENBQUMsQ0FBQyxDQUFDO1lBQ25DLFlBQVksRUFBRSxFQUFFLENBQUMsa0JBQWtCLENBQUMsRUFBRSxDQUFDO1NBQzFDO1FBQ0QsTUFBTSxFQUFFLElBQUEsaUJBQVMsRUFBQyxDQUFDLENBQUMsSUFBSSxDQUFDO0tBQzVCLENBQUMsQ0FBQyxDQUNOLENBQUE7QUFDTCxDQUFDLENBQUE7QUF6RlksUUFBQSxLQUFLLFNBeUZqQiJ9
|
|
@@ -0,0 +1,8 @@
|
|
|
1
|
+
import * as _in from "pareto/dist/generated/interface/schemas/schema/resolved";
|
|
2
|
+
import * as _out from "../../../../generated/interface/schemas/graphviz_high_level/unconstrained";
|
|
3
|
+
export declare const Type_Node: ($: _in.Type_Node, $p: {
|
|
4
|
+
"type name": string;
|
|
5
|
+
}) => _out.Graph._type.SG.directed.edges;
|
|
6
|
+
export declare const Schema: ($: _in.Schemas.D.SG.schema, $p: {
|
|
7
|
+
"name": string;
|
|
8
|
+
}) => _out.Graph;
|
|
@@ -0,0 +1,103 @@
|
|
|
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.Schema = exports.Type_Node = void 0;
|
|
27
|
+
const pa = __importStar(require("exupery-core-alg"));
|
|
28
|
+
const pareto_standard_operations_1 = require("pareto-standard-operations");
|
|
29
|
+
const op = {
|
|
30
|
+
'dictionary to list, sorted by code point': pareto_standard_operations_1.impure.dictionary['to list, sorted by code point'],
|
|
31
|
+
'flatten': pareto_standard_operations_1.pure.list.flatten
|
|
32
|
+
};
|
|
33
|
+
const Type_Node = ($, $p) => {
|
|
34
|
+
return pa.cc($, ($) => {
|
|
35
|
+
switch ($[0]) {
|
|
36
|
+
case 'number': return pa.ss($, ($) => pa.array_literal([]));
|
|
37
|
+
case 'boolean': return pa.ss($, ($) => pa.array_literal([]));
|
|
38
|
+
case 'list': return pa.ss($, ($) => (0, exports.Type_Node)($.node, $p));
|
|
39
|
+
case 'nothing': return pa.ss($, ($) => pa.array_literal([]));
|
|
40
|
+
case 'reference': return pa.ss($, ($) => pa.array_literal([]));
|
|
41
|
+
case 'component': return pa.ss($, ($) => pa.array_literal([
|
|
42
|
+
{
|
|
43
|
+
'from': {
|
|
44
|
+
'start': $p['type name'],
|
|
45
|
+
'tail': pa.array_literal([]),
|
|
46
|
+
'port data': pa.not_set()
|
|
47
|
+
},
|
|
48
|
+
'to': {
|
|
49
|
+
'start': pa.cc($, ($) => {
|
|
50
|
+
switch ($[0]) {
|
|
51
|
+
case 'external': return pa.ss($, ($) => "FIXME");
|
|
52
|
+
case 'internal': return pa.ss($, ($) => $.key);
|
|
53
|
+
case 'internal cyclic': return pa.ss($, ($) => $.key);
|
|
54
|
+
default: return pa.au($[0]);
|
|
55
|
+
}
|
|
56
|
+
}),
|
|
57
|
+
'tail': pa.array_literal([]),
|
|
58
|
+
'port data': pa.not_set()
|
|
59
|
+
},
|
|
60
|
+
'attributes': pa.cc($, ($) => {
|
|
61
|
+
switch ($[0]) {
|
|
62
|
+
case 'external': return pa.ss($, ($) => pa.array_literal([]));
|
|
63
|
+
case 'internal': return pa.ss($, ($) => pa.array_literal([]));
|
|
64
|
+
case 'internal cyclic': return pa.ss($, ($) => pa.array_literal([
|
|
65
|
+
['color', "red"],
|
|
66
|
+
]));
|
|
67
|
+
default: return pa.au($[0]);
|
|
68
|
+
}
|
|
69
|
+
}),
|
|
70
|
+
}
|
|
71
|
+
]));
|
|
72
|
+
case 'dictionary': return pa.ss($, ($) => (0, exports.Type_Node)($.node, $p));
|
|
73
|
+
case 'group': return pa.ss($, ($) => op.flatten(op['dictionary to list, sorted by code point']($.map(($) => (0, exports.Type_Node)($, $p))).map(($) => $.value)));
|
|
74
|
+
case 'identifier value pair': return pa.ss($, ($) => (0, exports.Type_Node)($, $p));
|
|
75
|
+
case 'optional': return pa.ss($, ($) => (0, exports.Type_Node)($, $p));
|
|
76
|
+
case 'state group': return pa.ss($, ($) => op.flatten(op['dictionary to list, sorted by code point']($.map(($) => (0, exports.Type_Node)($, $p))).map(($) => $.value)));
|
|
77
|
+
case 'text': return pa.ss($, ($) => pa.array_literal([]));
|
|
78
|
+
case 'type parameter': return pa.ss($, ($) => pa.array_literal([]));
|
|
79
|
+
default: return pa.au($[0]);
|
|
80
|
+
}
|
|
81
|
+
});
|
|
82
|
+
};
|
|
83
|
+
exports.Type_Node = Type_Node;
|
|
84
|
+
const Schema = ($, $p) => {
|
|
85
|
+
return {
|
|
86
|
+
'name': pa.set($p.name),
|
|
87
|
+
'tree': {
|
|
88
|
+
'attributes': pa.array_literal([]),
|
|
89
|
+
'elements': $.types.dictionary.map(($) => {
|
|
90
|
+
return ['node', {
|
|
91
|
+
'attributes': pa.array_literal([]),
|
|
92
|
+
}];
|
|
93
|
+
}),
|
|
94
|
+
},
|
|
95
|
+
'type': ['directed', {
|
|
96
|
+
'edges': op.flatten($.types['ordered list'].map(($) => {
|
|
97
|
+
return (0, exports.Type_Node)($.value.node, { 'type name': $.key });
|
|
98
|
+
})),
|
|
99
|
+
}],
|
|
100
|
+
};
|
|
101
|
+
};
|
|
102
|
+
exports.Schema = Schema;
|
|
103
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZ3JhcGh2aXouanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvdHJhbnNmb3JtYXRpb25zL3NjaGVtYS9ncmFwaHZpei50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUNBLHFEQUFzQztBQVF0QywyRUFBeUQ7QUFFekQsTUFBTSxFQUFFLEdBQUc7SUFDUCwwQ0FBMEMsRUFBRSxtQ0FBTSxDQUFDLFVBQVUsQ0FBQywrQkFBK0IsQ0FBQztJQUM5RixTQUFTLEVBQUUsaUNBQUksQ0FBQyxJQUFJLENBQUMsT0FBTztDQUUvQixDQUFBO0FBRU0sTUFBTSxTQUFTLEdBQUcsQ0FDckIsQ0FBZ0IsRUFDaEIsRUFFQyxFQUNpQyxFQUFFO0lBQ3BDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRTtRQUNsQixRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO1lBQ1gsS0FBSyxRQUFRLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUMsYUFBYSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUE7WUFDM0QsS0FBSyxTQUFTLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUMsYUFBYSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUE7WUFDNUQsS0FBSyxNQUFNLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxJQUFBLGlCQUFTLEVBQUMsQ0FBQyxDQUFDLElBQUksRUFBRSxFQUFFLENBQUMsQ0FBQyxDQUFBO1lBQzFELEtBQUssU0FBUyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLGFBQWEsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFBO1lBQzVELEtBQUssV0FBVyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLGFBQWEsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFBO1lBQzlELEtBQUssV0FBVyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLGFBQWEsQ0FBdUM7Z0JBQzVGO29CQUNJLE1BQU0sRUFBRTt3QkFDSixPQUFPLEVBQUUsRUFBRSxDQUFDLFdBQVcsQ0FBQzt3QkFDeEIsTUFBTSxFQUFFLEVBQUUsQ0FBQyxhQUFhLENBQUMsRUFBRSxDQUFDO3dCQUM1QixXQUFXLEVBQUUsRUFBRSxDQUFDLE9BQU8sRUFBRTtxQkFDNUI7b0JBQ0QsSUFBSSxFQUFFO3dCQUNGLE9BQU8sRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFOzRCQUNwQixRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO2dDQUNYLEtBQUssVUFBVSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsT0FBTyxDQUFDLENBQUE7Z0NBQ2hELEtBQUssVUFBVSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFBO2dDQUM5QyxLQUFLLGlCQUFpQixDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFBO2dDQUNyRCxPQUFPLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7NEJBQy9CLENBQUM7d0JBQ0wsQ0FBQyxDQUFDO3dCQUNGLE1BQU0sRUFBRSxFQUFFLENBQUMsYUFBYSxDQUFDLEVBQUUsQ0FBQzt3QkFDNUIsV0FBVyxFQUFFLEVBQUUsQ0FBQyxPQUFPLEVBQUU7cUJBQzVCO29CQUNELFlBQVksRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFO3dCQUN6QixRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDOzRCQUNYLEtBQUssVUFBVSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLGFBQWEsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFBOzRCQUM3RCxLQUFLLFVBQVUsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQyxhQUFhLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQTs0QkFDN0QsS0FBSyxpQkFBaUIsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQyxhQUFhLENBQUM7Z0NBQzVELENBQUMsT0FBTyxFQUFFLEtBQUssQ0FBQzs2QkFDbkIsQ0FBQyxDQUFDLENBQUE7NEJBQ0gsT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO3dCQUMvQixDQUFDO29CQUNMLENBQUMsQ0FBQztpQkFDTDthQUVKLENBQUMsQ0FBQyxDQUFBO1lBQ0gsS0FBSyxZQUFZLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxJQUFBLGlCQUFTLEVBQUMsQ0FBQyxDQUFDLElBQUksRUFBRSxFQUFFLENBQUMsQ0FBQyxDQUFBO1lBQ2hFLEtBQUssT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLE9BQU8sQ0FBQyxFQUFFLENBQUMsMENBQTBDLENBQUMsQ0FBQyxDQUFDLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxJQUFBLGlCQUFTLEVBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDLENBQUE7WUFDcEosS0FBSyx1QkFBdUIsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLElBQUEsaUJBQVMsRUFBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsQ0FBQTtZQUN0RSxLQUFLLFVBQVUsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLElBQUEsaUJBQVMsRUFBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsQ0FBQTtZQUN6RCxLQUFLLGFBQWEsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQyxPQUFPLENBQUMsRUFBRSxDQUFDLDBDQUEwQyxDQUFDLENBQUMsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsSUFBQSxpQkFBUyxFQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBQyxDQUFDLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxDQUFBO1lBQzFKLEtBQUssTUFBTSxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLGFBQWEsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFBO1lBQ3pELEtBQUssZ0JBQWdCLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUMsYUFBYSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUE7WUFDbkUsT0FBTyxDQUFDLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO1FBQy9CLENBQUM7SUFDTCxDQUFDLENBQUMsQ0FBQTtBQUNOLENBQUMsQ0FBQTtBQXZEWSxRQUFBLFNBQVMsYUF1RHJCO0FBRU0sTUFBTSxNQUFNLEdBQUcsQ0FDbEIsQ0FBMEIsRUFDMUIsRUFFQyxFQUVTLEVBQUU7SUFDWixPQUFPO1FBQ0gsTUFBTSxFQUFFLEVBQUUsQ0FBQyxHQUFHLENBQUMsRUFBRSxDQUFDLElBQUksQ0FBQztRQUN2QixNQUFNLEVBQUU7WUFDSixZQUFZLEVBQUUsRUFBRSxDQUFDLGFBQWEsQ0FBQyxFQUFFLENBQUM7WUFDbEMsVUFBVSxFQUFFLENBQUMsQ0FBQyxLQUFLLENBQUMsVUFBVSxDQUFDLEdBQUcsQ0FBdUIsQ0FBQyxDQUFDLEVBQUUsRUFBRTtnQkFDM0QsT0FBTyxDQUFDLE1BQU0sRUFBRTt3QkFFWixZQUFZLEVBQUUsRUFBRSxDQUFDLGFBQWEsQ0FBQyxFQUFFLENBQUM7cUJBQ3JDLENBQUMsQ0FBQTtZQUNOLENBQUMsQ0FBQztTQUNMO1FBQ0QsTUFBTSxFQUFFLENBQUMsVUFBVSxFQUFFO2dCQUNqQixPQUFPLEVBQUUsRUFBRSxDQUFDLE9BQU8sQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUFDLGNBQWMsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsRUFBRSxFQUFFO29CQUNsRCxPQUFPLElBQUEsaUJBQVMsRUFBQyxDQUFDLENBQUMsS0FBSyxDQUFDLElBQUksRUFBRSxFQUFFLFdBQVcsRUFBRSxDQUFDLENBQUMsR0FBRyxFQUFFLENBQUMsQ0FBQTtnQkFDMUQsQ0FBQyxDQUFDLENBQUM7YUFDTixDQUFDO0tBQ0wsQ0FBQTtBQUNMLENBQUMsQ0FBQTtBQXhCWSxRQUFBLE1BQU0sVUF3QmxCIn0=
|
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
import * as _in from "pareto/dist/generated/interface/schemas/schema/resolved";
|
|
2
|
+
import * as _in_m from "pareto/dist/generated/interface/schemas/module/resolved";
|
|
3
|
+
import * as _out from "../../../../generated/interface/schemas/lionweb/unconstrained";
|
|
4
|
+
export declare const MetaPointer: ($: string) => _out.MetaPointer;
|
|
5
|
+
export declare const Type_Node_2_properties: ($: _in.Type_Node, $p: {
|
|
6
|
+
"path": string;
|
|
7
|
+
}) => _out.SerializationChunk.nodes.L.properties;
|
|
8
|
+
export declare const Type_Node_2_Document_nodes: ($: _in.Type_Node, $p: {
|
|
9
|
+
"path": string;
|
|
10
|
+
}) => _out.SerializationChunk.nodes;
|
|
11
|
+
export declare const Schemas: ($: _in.Schemas, $p: {
|
|
12
|
+
"path": string;
|
|
13
|
+
}) => _out.SerializationChunks;
|
|
14
|
+
export declare const Module: ($: _in_m.Module) => _out.SerializationChunks;
|