@astrale-os/kernel-dsl 0.2.0-beta.1 → 0.2.0-beta.2
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/v1/builder/callable.d.ts +18 -7
- package/dist/v1/builder/callable.d.ts.map +1 -1
- package/dist/v1/builder/callable.js +3 -1
- package/dist/v1/builder/callable.js.map +1 -1
- package/dist/v1/builder/compiler/callable.d.ts.map +1 -1
- package/dist/v1/builder/compiler/callable.js +7 -8
- package/dist/v1/builder/compiler/callable.js.map +1 -1
- package/dist/v1/builder/compiler/definition.d.ts +8 -2
- package/dist/v1/builder/compiler/definition.d.ts.map +1 -1
- package/dist/v1/builder/compiler/definition.js +52 -9
- package/dist/v1/builder/compiler/definition.js.map +1 -1
- package/dist/v1/builder/compiler/value.d.ts +5 -1
- package/dist/v1/builder/compiler/value.d.ts.map +1 -1
- package/dist/v1/builder/compiler/value.js +14 -3
- package/dist/v1/builder/compiler/value.js.map +1 -1
- package/dist/v1/builder/core.d.ts +1 -1
- package/dist/v1/builder/core.d.ts.map +1 -1
- package/dist/v1/builder/core.js +1 -1
- package/dist/v1/builder/core.js.map +1 -1
- package/dist/v1/builder/definition.d.ts +55 -5
- package/dist/v1/builder/definition.d.ts.map +1 -1
- package/dist/v1/builder/definition.js +64 -20
- package/dist/v1/builder/definition.js.map +1 -1
- package/dist/v1/builder/full-match.d.ts.map +1 -1
- package/dist/v1/builder/full-match.js.map +1 -1
- package/dist/v1/builder/index.d.ts +3 -3
- package/dist/v1/builder/index.d.ts.map +1 -1
- package/dist/v1/builder/index.js +1 -1
- package/dist/v1/builder/index.js.map +1 -1
- package/dist/v1/builder/internal/authoring.d.ts +1 -1
- package/dist/v1/builder/internal/authoring.d.ts.map +1 -1
- package/dist/v1/builder/internal/authoring.js.map +1 -1
- package/dist/v1/builder/property.d.ts +15 -1
- package/dist/v1/builder/property.d.ts.map +1 -1
- package/dist/v1/builder/property.js +26 -2
- package/dist/v1/builder/property.js.map +1 -1
- package/dist/v1/builder/view.d.ts +2 -2
- package/dist/v1/builder/view.d.ts.map +1 -1
- package/dist/v1/index.d.ts +2 -2
- package/dist/v1/index.d.ts.map +1 -1
- package/dist/v1/index.js +1 -1
- package/dist/v1/index.js.map +1 -1
- package/dist/v1/schema/callable.d.ts +2 -2
- package/dist/v1/schema/callable.d.ts.map +1 -1
- package/dist/v1/schema/canonical/domain.js +48 -15
- package/dist/v1/schema/canonical/domain.js.map +1 -1
- package/dist/v1/schema/core/validate.js +31 -11
- package/dist/v1/schema/core/validate.js.map +1 -1
- package/dist/v1/schema/definition/analysis.d.ts +2 -0
- package/dist/v1/schema/definition/analysis.d.ts.map +1 -1
- package/dist/v1/schema/definition/analysis.js +3 -1
- package/dist/v1/schema/definition/analysis.js.map +1 -1
- package/dist/v1/schema/definition/class.d.ts +2 -2
- package/dist/v1/schema/definition/class.d.ts.map +1 -1
- package/dist/v1/schema/definition/edge.d.ts +22 -9
- package/dist/v1/schema/definition/edge.d.ts.map +1 -1
- package/dist/v1/schema/definition/interface.d.ts +2 -2
- package/dist/v1/schema/definition/interface.d.ts.map +1 -1
- package/dist/v1/schema/definition/property.d.ts +7 -0
- package/dist/v1/schema/definition/property.d.ts.map +1 -1
- package/dist/v1/schema/definition/validate.d.ts.map +1 -1
- package/dist/v1/schema/definition/validate.js +84 -15
- package/dist/v1/schema/definition/validate.js.map +1 -1
- package/dist/v1/schema/domain.accept.d.ts.map +1 -1
- package/dist/v1/schema/domain.accept.js +1 -1
- package/dist/v1/schema/domain.accept.js.map +1 -1
- package/dist/v1/schema/domain.codec.d.ts.map +1 -1
- package/dist/v1/schema/domain.codec.js.map +1 -1
- package/dist/v1/schema/domain.revision.d.ts.map +1 -1
- package/dist/v1/schema/domain.revision.js.map +1 -1
- package/dist/v1/schema/index.d.ts +4 -4
- package/dist/v1/schema/index.d.ts.map +1 -1
- package/dist/v1/schema/index.js.map +1 -1
- package/dist/v1/schema/policy/validation/typing.js +9 -6
- package/dist/v1/schema/policy/validation/typing.js.map +1 -1
- package/dist/v1/schema/policy/validation/uses.d.ts.map +1 -1
- package/dist/v1/schema/policy/validation/uses.js +5 -2
- package/dist/v1/schema/policy/validation/uses.js.map +1 -1
- package/dist/v1/schema/resolution/origins.d.ts.map +1 -1
- package/dist/v1/schema/resolution/origins.js +5 -2
- package/dist/v1/schema/resolution/origins.js.map +1 -1
- package/dist/v1/schema/validation/domain.route.d.ts.map +1 -1
- package/dist/v1/schema/validation/domain.route.js.map +1 -1
- package/dist/v1/schema/validation/domain.structure.d.ts.map +1 -1
- package/dist/v1/schema/validation/domain.structure.js +51 -20
- package/dist/v1/schema/validation/domain.structure.js.map +1 -1
- package/dist/v1/schema/value/profile/canonicalize.d.ts.map +1 -1
- package/dist/v1/schema/value/profile/canonicalize.js +1 -1
- package/dist/v1/schema/value/profile/canonicalize.js.map +1 -1
- package/dist/v1/schema/value/profile/json.validate.d.ts.map +1 -1
- package/dist/v1/schema/value/profile/json.validate.js +1 -1
- package/dist/v1/schema/value/profile/json.validate.js.map +1 -1
- package/dist/v1/schema/value/profile/meta-schema.compiled.d.ts +79 -0
- package/dist/v1/schema/value/profile/meta-schema.compiled.d.ts.map +1 -0
- package/dist/v1/schema/value/profile/meta-schema.compiled.js +2080 -0
- package/dist/v1/schema/value/profile/meta-schema.compiled.js.map +1 -0
- package/dist/v1/schema/value/profile/meta-schema.validate.d.ts.map +1 -1
- package/dist/v1/schema/value/profile/meta-schema.validate.js +4 -10
- package/dist/v1/schema/value/profile/meta-schema.validate.js.map +1 -1
- package/dist/v1/schema/value/regexp/lower.d.ts.map +1 -1
- package/dist/v1/schema/value/regexp/lower.js +1 -1
- package/dist/v1/schema/value/regexp/lower.js.map +1 -1
- package/dist/v1/schema/value/regexp/syntax.js +1 -3
- package/dist/v1/schema/value/regexp/syntax.js.map +1 -1
- package/dist/v1/schema/value/resources/recursion.js +1 -1
- package/dist/v1/schema/value/resources/recursion.js.map +1 -1
- package/dist/v1/schema/view/declaration.d.ts +2 -2
- package/dist/v1/schema/view/declaration.d.ts.map +1 -1
- package/package.json +5 -4
|
@@ -61,35 +61,79 @@ export function nodeClass(config) {
|
|
|
61
61
|
config: { ...admitted },
|
|
62
62
|
});
|
|
63
63
|
}
|
|
64
|
-
export
|
|
65
|
-
|
|
66
|
-
|
|
67
|
-
|
|
68
|
-
|
|
69
|
-
|
|
70
|
-
|
|
71
|
-
|
|
72
|
-
|
|
73
|
-
|
|
74
|
-
|
|
75
|
-
|
|
64
|
+
export const edgeClass = Object.freeze({
|
|
65
|
+
directed(input) {
|
|
66
|
+
assertKnownKeys(input, [
|
|
67
|
+
'source',
|
|
68
|
+
'target',
|
|
69
|
+
'description',
|
|
70
|
+
'implements',
|
|
71
|
+
'properties',
|
|
72
|
+
'policies',
|
|
73
|
+
'constraints',
|
|
74
|
+
]);
|
|
75
|
+
validateDirectedSourceInput(input.source);
|
|
76
|
+
validateDirectedTargetInput(input.target);
|
|
77
|
+
const { source, target, ...options } = input;
|
|
78
|
+
validateEdgeClassOptions(options);
|
|
79
|
+
return authoringValue('definition', {
|
|
80
|
+
definitionKind: 'edge-class',
|
|
81
|
+
orientation: 'directed',
|
|
82
|
+
source: { ...source },
|
|
83
|
+
target: { ...target },
|
|
84
|
+
options: { ...options },
|
|
85
|
+
});
|
|
86
|
+
},
|
|
87
|
+
undirected(input) {
|
|
88
|
+
assertKnownKeys(input, [
|
|
89
|
+
'endpoints',
|
|
90
|
+
'description',
|
|
91
|
+
'implements',
|
|
92
|
+
'properties',
|
|
93
|
+
'policies',
|
|
94
|
+
'constraints',
|
|
95
|
+
]);
|
|
96
|
+
if (input.endpoints.length !== 2) {
|
|
97
|
+
throw new TypeError('Undirected Edge Classes require exactly two endpoints.');
|
|
98
|
+
}
|
|
99
|
+
validateIncidentEndpointInput(input.endpoints[0]);
|
|
100
|
+
validateIncidentEndpointInput(input.endpoints[1]);
|
|
101
|
+
const { endpoints, ...options } = input;
|
|
102
|
+
validateUndirectedEdgeClassOptions(options);
|
|
103
|
+
return authoringValue('definition', {
|
|
104
|
+
definitionKind: 'edge-class',
|
|
105
|
+
orientation: 'undirected',
|
|
106
|
+
endpoints: [{ ...endpoints[0] }, { ...endpoints[1] }],
|
|
107
|
+
options: { ...options },
|
|
108
|
+
});
|
|
109
|
+
},
|
|
110
|
+
});
|
|
76
111
|
function validateEndpointInput(value) {
|
|
77
112
|
assertKnownKeys(value, ['as', 'accepts', 'cardinality']);
|
|
78
113
|
}
|
|
114
|
+
function validateDirectedSourceInput(value) {
|
|
115
|
+
assertKnownKeys(value, ['as', 'accepts', 'outgoing']);
|
|
116
|
+
}
|
|
117
|
+
function validateDirectedTargetInput(value) {
|
|
118
|
+
assertKnownKeys(value, ['as', 'accepts', 'incoming']);
|
|
119
|
+
}
|
|
120
|
+
function validateIncidentEndpointInput(value) {
|
|
121
|
+
assertKnownKeys(value, ['as', 'accepts', 'incident']);
|
|
122
|
+
}
|
|
79
123
|
function validateEdgeClassOptions(value) {
|
|
80
|
-
assertKnownKeys(value, [
|
|
81
|
-
'description',
|
|
82
|
-
'implements',
|
|
83
|
-
'properties',
|
|
84
|
-
'orientation',
|
|
85
|
-
'policies',
|
|
86
|
-
'constraints',
|
|
87
|
-
]);
|
|
124
|
+
assertKnownKeys(value, ['description', 'implements', 'properties', 'policies', 'constraints']);
|
|
88
125
|
if (value.policies !== undefined)
|
|
89
126
|
assertKnownKeys(value.policies, ['traverse'], '/policies');
|
|
90
127
|
if (value.constraints !== undefined)
|
|
91
128
|
assertKnownKeys(value.constraints, ['noSelf', 'acyclic']);
|
|
92
129
|
}
|
|
130
|
+
function validateUndirectedEdgeClassOptions(value) {
|
|
131
|
+
assertKnownKeys(value, ['description', 'implements', 'properties', 'policies', 'constraints']);
|
|
132
|
+
if (value.policies !== undefined)
|
|
133
|
+
assertKnownKeys(value.policies, ['traverse'], '/policies');
|
|
134
|
+
if (value.constraints !== undefined)
|
|
135
|
+
assertKnownKeys(value.constraints, ['noSelf'], '/constraints');
|
|
136
|
+
}
|
|
93
137
|
function validateEdgeInterfaceOptions(value) {
|
|
94
138
|
if (value.constraints !== undefined)
|
|
95
139
|
assertKnownKeys(value.constraints, ['noSelf', 'acyclic']);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"definition.js","sourceRoot":"","sources":["../../../v1/builder/definition.ts"],"names":[],"mappings":"AASA,OAAO,EAAkB,cAAc,EAAE,MAAM,yBAAyB,CAAA;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAA;
|
|
1
|
+
{"version":3,"file":"definition.js","sourceRoot":"","sources":["../../../v1/builder/definition.ts"],"names":[],"mappings":"AASA,OAAO,EAAkB,cAAc,EAAE,MAAM,yBAAyB,CAAA;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAA;AAgK1D,MAAM,UAAU,eAAe,CAC7B,MAAc;IAEd,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC7B,eAAe,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,aAAa,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC,CAAA;IAC7E,CAAC;SAAM,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QACpC,eAAe,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,aAAa,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAA;IAChG,CAAC;SAAM,CAAC;QACN,eAAe,CAAC,MAAM,EAAE;YACtB,QAAQ;YACR,QAAQ;YACR,QAAQ;YACR,aAAa;YACb,SAAS;YACT,YAAY;YACZ,aAAa;YACb,aAAa;SACd,CAAC,CAAA;QACF,qBAAqB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QACpC,qBAAqB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QACpC,4BAA4B,CAAC,MAAM,CAAC,CAAA;IACtC,CAAC;IACD,OAAO,cAAc,CAAC,YAAY,EAAE;QAClC,cAAc,EAAE,WAAoB;QACpC,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE;KACtB,CAA+B,CAAA;AAClC,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,aAAa,CAC3B,MAAe;IAEf,MAAM,QAAQ,GAAG,MAAM,IAAK,EAAa,CAAA;IACzC,OAAO,eAAe,CAAC,EAAE,GAAG,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,CAAmC,CAAA;AAC3F,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,aAAa,CAK3B,MAAc,EACd,MAAc,EACd,OAAiB;IAEjB,MAAM,QAAQ,GAAG,OAAO,IAAK,EAAc,CAAA;IAC3C,OAAO,eAAe,CAAC;QACrB,GAAG,QAAQ;QACX,MAAM,EAAE,MAAM;QACd,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE;QACrB,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE;KACtB,CAAoD,CAAA;AACvD,CAAC;AAED,MAAM,UAAU,SAAS,CACvB,MAAe;IAEf,MAAM,QAAQ,GAAG,MAAM,IAAK,EAAa,CAAA;IACzC,eAAe,CAAC,QAAQ,EAAE;QACxB,aAAa;QACb,YAAY;QACZ,YAAY;QACZ,MAAM;QACN,SAAS;QACT,MAAM;QACN,UAAU;KACX,CAAC,CAAA;IACF,IAAI,QAAQ,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACpC,eAAe,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,WAAW,CAAC,CAAA;IACvE,CAAC;IACD,OAAO,cAAc,CAAC,YAAY,EAAE;QAClC,cAAc,EAAE,YAAqB;QACrC,MAAM,EAAE,EAAE,GAAG,QAAQ,EAAE;KACxB,CAA+B,CAAA;AAClC,CAAC;AAED,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC;IACrC,QAAQ,CACN,KAGC;QAMD,eAAe,CAAC,KAAK,EAAE;YACrB,QAAQ;YACR,QAAQ;YACR,aAAa;YACb,YAAY;YACZ,YAAY;YACZ,UAAU;YACV,aAAa;SACd,CAAC,CAAA;QACF,2BAA2B,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;QACzC,2BAA2B,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;QACzC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,EAAE,GAAG,KAAK,CAAA;QAC5C,wBAAwB,CAAC,OAAO,CAAC,CAAA;QACjC,OAAO,cAAc,CAAC,YAAY,EAAE;YAClC,cAAc,EAAE,YAAqB;YACrC,WAAW,EAAE,UAAmB;YAChC,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE;YACrB,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE;YACrB,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE;SACxB,CAIA,CAAA;IACH,CAAC;IAED,UAAU,CACR,KAKC;QAMD,eAAe,CAAC,KAAK,EAAE;YACrB,WAAW;YACX,aAAa;YACb,YAAY;YACZ,YAAY;YACZ,UAAU;YACV,aAAa;SACd,CAAC,CAAA;QACF,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,SAAS,CAAC,wDAAwD,CAAC,CAAA;QAC/E,CAAC;QACD,6BAA6B,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;QACjD,6BAA6B,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;QACjD,MAAM,EAAE,SAAS,EAAE,GAAG,OAAO,EAAE,GAAG,KAAK,CAAA;QACvC,kCAAkC,CAAC,OAAO,CAAC,CAAA;QAC3C,OAAO,cAAc,CAAC,YAAY,EAAE;YAClC,cAAc,EAAE,YAAqB;YACrC,WAAW,EAAE,YAAqB;YAClC,SAAS,EAAE,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;YACrD,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE;SACxB,CAIA,CAAA;IACH,CAAC;CACF,CAAC,CAAA;AAEF,SAAS,qBAAqB,CAAC,KAAoB;IACjD,eAAe,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC,CAAA;AAC1D,CAAC;AAED,SAAS,2BAA2B,CAAC,KAA0B;IAC7D,eAAe,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,CAAA;AACvD,CAAC;AAED,SAAS,2BAA2B,CAAC,KAA0B;IAC7D,eAAe,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,CAAA;AACvD,CAAC;AAED,SAAS,6BAA6B,CAAC,KAA4B;IACjE,eAAe,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,CAAA;AACvD,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAuB;IACvD,eAAe,CAAC,KAAK,EAAE,CAAC,aAAa,EAAE,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC,CAAA;IAC9F,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS;QAAE,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC,CAAA;IAC5F,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS;QAAE,eAAe,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAA;AAChG,CAAC;AAED,SAAS,kCAAkC,CACzC,KAEC;IAED,eAAe,CAAC,KAAK,EAAE,CAAC,aAAa,EAAE,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC,CAAA;IAC9F,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS;QAAE,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC,CAAA;IAC5F,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS;QACjC,eAAe,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,EAAE,cAAc,CAAC,CAAA;AAClE,CAAC;AAED,SAAS,4BAA4B,CAAC,KAA2B;IAC/D,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS;QAAE,eAAe,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAA;AAChG,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"full-match.d.ts","sourceRoot":"","sources":["../../../v1/builder/full-match.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"full-match.d.ts","sourceRoot":"","sources":["../../../v1/builder/full-match.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAU5C;;;;GAIG;AACH,4EAA4E;AAC5E,MAAM,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC,CAAA;AAEzC,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAcnD;AAED,wEAAwE;AACxE,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAElE"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"full-match.js","sourceRoot":"","sources":["../../../v1/builder/full-match.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"full-match.js","sourceRoot":"","sources":["../../../v1/builder/full-match.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,OAAO,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAA;AACjE,OAAO,EAAE,SAAS,EAAE,MAAM,kCAAkC,CAAA;AAC5D,OAAO,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AAE/C,MAAM,OAAO,GAAG,IAAI,OAAO,EAAkB,CAAA;AAU7C,MAAM,UAAU,SAAS,CAAC,MAAc;IACtC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QACvB,IAAI,CACF,4BAA4B,EAC5B,YAAY,EACZ,8DAA8D,CAC/D,CAAA;IACH,CAAC;IACD,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAA;IACtC,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAS,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;QAChE,KAAK,EAAE,oCAAoC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG;KACrE,CAAC,CAAA;IACF,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IAC1B,OAAO,KAAK,CAAA;AACd,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AACrF,CAAC"}
|
|
@@ -5,17 +5,17 @@ export { fullMatch } from './full-match.js';
|
|
|
5
5
|
export type { FullMatch } from './full-match.js';
|
|
6
6
|
export { path } from './path.js';
|
|
7
7
|
export { definePolicy, policy } from './policy.js';
|
|
8
|
-
export { property } from './property.js';
|
|
8
|
+
export { auto, property } from './property.js';
|
|
9
9
|
export { defineSchema } from './schema.js';
|
|
10
10
|
export { valueSchema } from './value-schema.js';
|
|
11
11
|
export { view } from './view.js';
|
|
12
12
|
export type { AuthoredCallableInput, CallableInput, CallableOutputInput, CallablePolicyBuilder, CallablePolicyContext, BinaryOutput, FunctionAuthoring as Function, PolicyObjectAuthoring, PolicyObjectInput, StreamOutput, } from './callable.js';
|
|
13
13
|
export type { CoreEdgeAuthoring as Edge, CoreEndpointAuthoring as CoreEndpoint, CoreInput as Core, CoreNodeAuthoring as Node, } from './core.js';
|
|
14
|
-
export type { DefinitionAuthoring as Definition, DefinitionReferenceInput as DefinitionRef, DefinitionReferenceInput as DefinitionReference, EdgeClassAuthoring as EdgeClass, EdgeInterfaceAuthoring as EdgeInterface, EdgeClassOptions, EdgeInterfaceOptions, EndpointInput as Endpoint, InterfaceAuthoring as Interface, InterfaceInput, NodeClassAuthoring as NodeClass, NodeClassInput, NodeDefinitionReferenceInput as NodeDefinitionReference, NodeInterfaceAuthoring as NodeInterface, NodeInterfaceInput, } from './definition.js';
|
|
14
|
+
export type { DefinitionAuthoring as Definition, DefinitionReferenceInput as DefinitionRef, DefinitionReferenceInput as DefinitionReference, DirectedEdgeClassAuthoring as DirectedEdgeClass, DirectedEdgeClassInput, DirectedSourceInput as DirectedSource, DirectedTargetInput as DirectedTarget, EdgeClassAuthoring as EdgeClass, EdgeInterfaceAuthoring as EdgeInterface, EdgeClassOptions, EdgeInterfaceOptions, EndpointInput as Endpoint, IncidentEndpointInput as IncidentEndpoint, InterfaceAuthoring as Interface, InterfaceInput, NodeClassAuthoring as NodeClass, NodeClassInput, NodeDefinitionReferenceInput as NodeDefinitionReference, NodeInterfaceAuthoring as NodeInterface, NodeInterfaceInput, UndirectedEdgeClassAuthoring as UndirectedEdgeClass, UndirectedEdgeClassInput, } from './definition.js';
|
|
15
15
|
export type { PathAuthoring as Path } from './path.js';
|
|
16
16
|
export type { Lazy } from './internal/authoring.lazy.js';
|
|
17
17
|
export type { MatchPolicyInput, Policy, PolicyComposition, PolicyEdgeInput, PolicyExistsContext, PolicyInput, PolicyPatternContext, } from './policy.js';
|
|
18
|
-
export type { PropertyAuthoring as Property, PropertyFieldInput, PropertyOptions, PropertyRecordInput, ValueSchemaInput, } from './property.js';
|
|
18
|
+
export type { AutoOptions, AutoPropertyAuthoring as AutoProperty, PropertyAuthoring as Property, PropertyFieldInput, PropertyOptions, PropertyRecordInput, ValueSchemaInput, } from './property.js';
|
|
19
19
|
export type { DomainSchemaInput as SchemaInput } from './schema.input.js';
|
|
20
20
|
export type { TypedValueSchema } from './value-schema.js';
|
|
21
21
|
export type { ViewAuthoring as View, ViewDefinitionTargetsInput, ViewInput, ViewTargetInput, } from './view.js';
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../v1/builder/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,eAAe,CAAA;AAC1C,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAC9C,OAAO,EACL,eAAe,EACf,SAAS,EACT,aAAa,EACb,SAAS,EACT,aAAa,GACd,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAC3C,YAAY,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAChD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAChC,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../v1/builder/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,eAAe,CAAA;AAC1C,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAC9C,OAAO,EACL,eAAe,EACf,SAAS,EACT,aAAa,EACb,SAAS,EACT,aAAa,GACd,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAC3C,YAAY,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAChD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAChC,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAClD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAEhC,YAAY,EACV,qBAAqB,EACrB,aAAa,EACb,mBAAmB,EACnB,qBAAqB,EACrB,qBAAqB,EACrB,YAAY,EACZ,iBAAiB,IAAI,QAAQ,EAC7B,qBAAqB,EACrB,iBAAiB,EACjB,YAAY,GACb,MAAM,eAAe,CAAA;AACtB,YAAY,EACV,iBAAiB,IAAI,IAAI,EACzB,qBAAqB,IAAI,YAAY,EACrC,SAAS,IAAI,IAAI,EACjB,iBAAiB,IAAI,IAAI,GAC1B,MAAM,WAAW,CAAA;AAClB,YAAY,EACV,mBAAmB,IAAI,UAAU,EACjC,wBAAwB,IAAI,aAAa,EACzC,wBAAwB,IAAI,mBAAmB,EAC/C,0BAA0B,IAAI,iBAAiB,EAC/C,sBAAsB,EACtB,mBAAmB,IAAI,cAAc,EACrC,mBAAmB,IAAI,cAAc,EACrC,kBAAkB,IAAI,SAAS,EAC/B,sBAAsB,IAAI,aAAa,EACvC,gBAAgB,EAChB,oBAAoB,EACpB,aAAa,IAAI,QAAQ,EACzB,qBAAqB,IAAI,gBAAgB,EACzC,kBAAkB,IAAI,SAAS,EAC/B,cAAc,EACd,kBAAkB,IAAI,SAAS,EAC/B,cAAc,EACd,4BAA4B,IAAI,uBAAuB,EACvD,sBAAsB,IAAI,aAAa,EACvC,kBAAkB,EAClB,4BAA4B,IAAI,mBAAmB,EACnD,wBAAwB,GACzB,MAAM,iBAAiB,CAAA;AACxB,YAAY,EAAE,aAAa,IAAI,IAAI,EAAE,MAAM,WAAW,CAAA;AACtD,YAAY,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAA;AACxD,YAAY,EACV,gBAAgB,EAChB,MAAM,EACN,iBAAiB,EACjB,eAAe,EACf,mBAAmB,EACnB,WAAW,EACX,oBAAoB,GACrB,MAAM,aAAa,CAAA;AACpB,YAAY,EACV,WAAW,EACX,qBAAqB,IAAI,YAAY,EACrC,iBAAiB,IAAI,QAAQ,EAC7B,kBAAkB,EAClB,eAAe,EACf,mBAAmB,EACnB,gBAAgB,GACjB,MAAM,eAAe,CAAA;AACtB,YAAY,EAAE,iBAAiB,IAAI,WAAW,EAAE,MAAM,mBAAmB,CAAA;AACzE,YAAY,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AACzD,YAAY,EACV,aAAa,IAAI,IAAI,EACrB,0BAA0B,EAC1B,SAAS,EACT,eAAe,GAChB,MAAM,WAAW,CAAA"}
|
package/dist/v1/builder/index.js
CHANGED
|
@@ -4,7 +4,7 @@ export { defineInterface, edgeClass, edgeInterface, nodeClass, nodeInterface, }
|
|
|
4
4
|
export { fullMatch } from './full-match.js';
|
|
5
5
|
export { path } from './path.js';
|
|
6
6
|
export { definePolicy, policy } from './policy.js';
|
|
7
|
-
export { property } from './property.js';
|
|
7
|
+
export { auto, property } from './property.js';
|
|
8
8
|
export { defineSchema } from './schema.js';
|
|
9
9
|
export { valueSchema } from './value-schema.js';
|
|
10
10
|
export { view } from './view.js';
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../v1/builder/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,eAAe,CAAA;AAC1C,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAC9C,OAAO,EACL,eAAe,EACf,SAAS,EACT,aAAa,EACb,SAAS,EACT,aAAa,GACd,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAE3C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAChC,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../v1/builder/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,eAAe,CAAA;AAC1C,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAC9C,OAAO,EACL,eAAe,EACf,SAAS,EACT,aAAa,EACb,SAAS,EACT,aAAa,GACd,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAE3C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAChC,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAClD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA"}
|
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
export declare const AUTHORING: unique symbol;
|
|
2
|
-
export type AuthoringKind = 'definition' | 'function' | 'callable-output' | 'policy' | 'view' | 'core-node' | 'core-edge' | 'property' | 'policy-composition';
|
|
2
|
+
export type AuthoringKind = 'definition' | 'function' | 'callable-output' | 'policy' | 'view' | 'core-node' | 'core-edge' | 'property' | 'auto' | 'policy-composition';
|
|
3
3
|
export interface AuthoringValue<Kind extends AuthoringKind> {
|
|
4
4
|
readonly [AUTHORING]: Kind;
|
|
5
5
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"authoring.d.ts","sourceRoot":"","sources":["../../../../v1/builder/internal/authoring.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,SAAS,eAAiC,CAAA;AAEvD,MAAM,MAAM,aAAa,GACrB,YAAY,GACZ,UAAU,GACV,iBAAiB,GACjB,QAAQ,GACR,MAAM,GACN,WAAW,GACX,WAAW,GACX,UAAU,GACV,oBAAoB,CAAA;AAExB,MAAM,WAAW,cAAc,CAAC,IAAI,SAAS,aAAa;IACxD,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE,IAAI,CAAA;CAC3B;AAED,wBAAgB,cAAc,CAAC,IAAI,SAAS,aAAa,EAAE,KAAK,SAAS,MAAM,EAC7E,IAAI,EAAE,IAAI,EACV,KAAK,EAAE,KAAK,GACX,QAAQ,CAAC,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CASxC;AAED,wBAAgB,gBAAgB,CAAC,IAAI,SAAS,aAAa,EACzD,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,IAAI,GACT,KAAK,IAAI,cAAc,CAAC,IAAI,CAAC,GAAG,MAAM,CAMxC"}
|
|
1
|
+
{"version":3,"file":"authoring.d.ts","sourceRoot":"","sources":["../../../../v1/builder/internal/authoring.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,SAAS,eAAiC,CAAA;AAEvD,MAAM,MAAM,aAAa,GACrB,YAAY,GACZ,UAAU,GACV,iBAAiB,GACjB,QAAQ,GACR,MAAM,GACN,WAAW,GACX,WAAW,GACX,UAAU,GACV,MAAM,GACN,oBAAoB,CAAA;AAExB,MAAM,WAAW,cAAc,CAAC,IAAI,SAAS,aAAa;IACxD,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE,IAAI,CAAA;CAC3B;AAED,wBAAgB,cAAc,CAAC,IAAI,SAAS,aAAa,EAAE,KAAK,SAAS,MAAM,EAC7E,IAAI,EAAE,IAAI,EACV,KAAK,EAAE,KAAK,GACX,QAAQ,CAAC,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CASxC;AAED,wBAAgB,gBAAgB,CAAC,IAAI,SAAS,aAAa,EACzD,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,IAAI,GACT,KAAK,IAAI,cAAc,CAAC,IAAI,CAAC,GAAG,MAAM,CAMxC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"authoring.js","sourceRoot":"","sources":["../../../../v1/builder/internal/authoring.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,sBAAsB,CAAC,CAAA;
|
|
1
|
+
{"version":3,"file":"authoring.js","sourceRoot":"","sources":["../../../../v1/builder/internal/authoring.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,sBAAsB,CAAC,CAAA;AAkBvD,MAAM,UAAU,cAAc,CAC5B,IAAU,EACV,KAAY;IAEZ,OAAO,MAAM,CAAC,MAAM,CAClB,MAAM,CAAC,cAAc,CAAC,EAAE,GAAG,KAAK,EAAE,EAAE,SAAS,EAAE;QAC7C,YAAY,EAAE,KAAK;QACnB,UAAU,EAAE,KAAK;QACjB,KAAK,EAAE,IAAI;QACX,QAAQ,EAAE,KAAK;KAChB,CAAC,CACuC,CAAA;AAC7C,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,KAAc,EACd,IAAU;IAEV,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACb,KAA4C,CAAC,SAAS,CAAC,KAAK,IAAI,CAClE,CAAA;AACH,CAAC"}
|
|
@@ -1,4 +1,5 @@
|
|
|
1
1
|
import type { z } from 'zod';
|
|
2
|
+
import type { AutoEvent, AutoSet } from '../schema/index.js';
|
|
2
3
|
import type { JsonSchema } from '../schema/value/schema.js';
|
|
3
4
|
import type { AUTHORING } from './internal/authoring.js';
|
|
4
5
|
declare const PROPERTY_OPTIONS: unique symbol;
|
|
@@ -7,6 +8,10 @@ export interface PropertyOptions {
|
|
|
7
8
|
readonly visibility?: 'public' | 'private';
|
|
8
9
|
readonly required?: boolean;
|
|
9
10
|
}
|
|
11
|
+
export interface AutoOptions {
|
|
12
|
+
readonly on: AutoEvent | readonly AutoEvent[];
|
|
13
|
+
readonly set: AutoSet;
|
|
14
|
+
}
|
|
10
15
|
export interface PropertyAuthoring<out Schema extends ValueSchemaInput = ValueSchemaInput, out Options extends PropertyOptions = PropertyOptions> {
|
|
11
16
|
readonly [AUTHORING]: 'property';
|
|
12
17
|
readonly schema: Schema;
|
|
@@ -16,8 +21,17 @@ export interface PropertyAuthoring<out Schema extends ValueSchemaInput = ValueSc
|
|
|
16
21
|
}
|
|
17
22
|
export type PropertySchemaOf<Value extends PropertyAuthoring> = Value extends PropertyAuthoring<infer Schema, PropertyOptions> ? Schema : never;
|
|
18
23
|
export type PropertyOptionsOf<Value extends PropertyAuthoring> = Value extends PropertyAuthoring<ValueSchemaInput, infer Options> ? Options : never;
|
|
19
|
-
export
|
|
24
|
+
export interface AutoPropertyAuthoring<out Property extends PropertyAuthoring = PropertyAuthoring> {
|
|
25
|
+
readonly [AUTHORING]: 'auto';
|
|
26
|
+
readonly property: Property;
|
|
27
|
+
readonly options: {
|
|
28
|
+
readonly on: readonly AutoEvent[];
|
|
29
|
+
readonly set: AutoSet;
|
|
30
|
+
};
|
|
31
|
+
}
|
|
32
|
+
export type PropertyFieldInput = ValueSchemaInput | PropertyAuthoring | AutoPropertyAuthoring;
|
|
20
33
|
export type PropertyRecordInput = Readonly<Record<string, PropertyFieldInput>>;
|
|
21
34
|
export declare function property<const Schema extends ValueSchemaInput, const Options extends PropertyOptions = Record<never, never>>(schema: Schema, options?: Options): PropertyAuthoring<Schema, Options>;
|
|
35
|
+
export declare function auto<const Property extends PropertyAuthoring>(property: Property, options: AutoOptions): AutoPropertyAuthoring<Property>;
|
|
22
36
|
export {};
|
|
23
37
|
//# sourceMappingURL=property.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"property.d.ts","sourceRoot":"","sources":["../../../v1/builder/property.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAE5B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAA;AAC3D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AAKxD,OAAO,CAAC,MAAM,gBAAgB,EAAE,OAAO,MAAM,CAAA;AAE7C,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,OAAO,GAAG,UAAU,CAAA;AAErD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAA;IAC1C,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;CAC5B;AAED,MAAM,WAAW,iBAAiB,CAChC,GAAG,CAAC,MAAM,SAAS,gBAAgB,GAAG,gBAAgB,EACtD,GAAG,CAAC,OAAO,SAAS,eAAe,GAAG,eAAe;IAErD,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE,UAAU,CAAA;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,UAAU,EAAE,QAAQ,GAAG,SAAS,CAAA;IACzC,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAA;CACrC;AAED,MAAM,MAAM,gBAAgB,CAAC,KAAK,SAAS,iBAAiB,IAC1D,KAAK,SAAS,iBAAiB,CAAC,MAAM,MAAM,EAAE,eAAe,CAAC,GAAG,MAAM,GAAG,KAAK,CAAA;AACjF,MAAM,MAAM,iBAAiB,CAAC,KAAK,SAAS,iBAAiB,IAC3D,KAAK,SAAS,iBAAiB,CAAC,gBAAgB,EAAE,MAAM,OAAO,CAAC,GAAG,OAAO,GAAG,KAAK,CAAA;AAEpF,MAAM,MAAM,kBAAkB,GAAG,gBAAgB,GAAG,iBAAiB,CAAA;
|
|
1
|
+
{"version":3,"file":"property.d.ts","sourceRoot":"","sources":["../../../v1/builder/property.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAE5B,OAAO,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAA;AAC3D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AAKxD,OAAO,CAAC,MAAM,gBAAgB,EAAE,OAAO,MAAM,CAAA;AAE7C,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,OAAO,GAAG,UAAU,CAAA;AAErD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAA;IAC1C,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;CAC5B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,EAAE,EAAE,SAAS,GAAG,SAAS,SAAS,EAAE,CAAA;IAC7C,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAA;CACtB;AAED,MAAM,WAAW,iBAAiB,CAChC,GAAG,CAAC,MAAM,SAAS,gBAAgB,GAAG,gBAAgB,EACtD,GAAG,CAAC,OAAO,SAAS,eAAe,GAAG,eAAe;IAErD,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE,UAAU,CAAA;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,UAAU,EAAE,QAAQ,GAAG,SAAS,CAAA;IACzC,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAA;CACrC;AAED,MAAM,MAAM,gBAAgB,CAAC,KAAK,SAAS,iBAAiB,IAC1D,KAAK,SAAS,iBAAiB,CAAC,MAAM,MAAM,EAAE,eAAe,CAAC,GAAG,MAAM,GAAG,KAAK,CAAA;AACjF,MAAM,MAAM,iBAAiB,CAAC,KAAK,SAAS,iBAAiB,IAC3D,KAAK,SAAS,iBAAiB,CAAC,gBAAgB,EAAE,MAAM,OAAO,CAAC,GAAG,OAAO,GAAG,KAAK,CAAA;AAEpF,MAAM,WAAW,qBAAqB,CAAC,GAAG,CAAC,QAAQ,SAAS,iBAAiB,GAAG,iBAAiB;IAC/F,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;IAC3B,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,EAAE,EAAE,SAAS,SAAS,EAAE,CAAA;QACjC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAA;KACtB,CAAA;CACF;AAED,MAAM,MAAM,kBAAkB,GAAG,gBAAgB,GAAG,iBAAiB,GAAG,qBAAqB,CAAA;AAC7F,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC,CAAA;AAE9E,wBAAgB,QAAQ,CACtB,KAAK,CAAC,MAAM,SAAS,gBAAgB,EACrC,KAAK,CAAC,OAAO,SAAS,eAAe,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAC5D,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,iBAAiB,CAAC,MAAM,EAAE,OAAO,CAAC,CAQvE;AAED,wBAAgB,IAAI,CAAC,KAAK,CAAC,QAAQ,SAAS,iBAAiB,EAC3D,QAAQ,EAAE,QAAQ,EAClB,OAAO,EAAE,WAAW,GACnB,qBAAqB,CAAC,QAAQ,CAAC,CAuBjC"}
|
|
@@ -1,5 +1,5 @@
|
|
|
1
|
-
import { authoringValue } from './internal/authoring.js';
|
|
2
|
-
import { assertKnownKeys } from './internal/diagnostic.js';
|
|
1
|
+
import { authoringValue, isAuthoringValue } from './internal/authoring.js';
|
|
2
|
+
import { assertKnownKeys, fail } from './internal/diagnostic.js';
|
|
3
3
|
export function property(schema, options) {
|
|
4
4
|
const admitted = options ?? {};
|
|
5
5
|
assertKnownKeys(admitted, ['visibility', 'required']);
|
|
@@ -9,4 +9,28 @@ export function property(schema, options) {
|
|
|
9
9
|
...(admitted.required === undefined ? {} : { required: admitted.required }),
|
|
10
10
|
});
|
|
11
11
|
}
|
|
12
|
+
export function auto(property, options) {
|
|
13
|
+
if (isAuthoringValue(property, 'auto')) {
|
|
14
|
+
fail('BUILDER_AUTO_NESTED', '', 'auto(...) cannot wrap another automatic Property.');
|
|
15
|
+
}
|
|
16
|
+
assertKnownKeys(options, ['on', 'set']);
|
|
17
|
+
const authored = Array.isArray(options.on) ? options.on : [options.on];
|
|
18
|
+
if (authored.length === 0)
|
|
19
|
+
fail('BUILDER_AUTO_EVENT_INVALID', '/on', 'auto(...) requires an event.');
|
|
20
|
+
const events = [...new Set(authored)];
|
|
21
|
+
if (events.some((event) => event !== 'create' && event !== 'update')) {
|
|
22
|
+
fail('BUILDER_AUTO_EVENT_INVALID', '/on', 'Automatic events are create or update.');
|
|
23
|
+
}
|
|
24
|
+
if (options.set !== 'instant') {
|
|
25
|
+
fail('BUILDER_AUTO_SET_INVALID', '/set', 'The automatic setter must be instant.');
|
|
26
|
+
}
|
|
27
|
+
events.sort((left, right) => (left === right ? 0 : left === 'create' ? -1 : 1));
|
|
28
|
+
if (property.required === true && !events.includes('create')) {
|
|
29
|
+
fail('BUILDER_AUTO_EVENT_INVALID', '/on', 'A required automatic Property must run on create.');
|
|
30
|
+
}
|
|
31
|
+
return authoringValue('auto', {
|
|
32
|
+
property,
|
|
33
|
+
options: { on: Object.freeze(events), set: options.set },
|
|
34
|
+
});
|
|
35
|
+
}
|
|
12
36
|
//# sourceMappingURL=property.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"property.js","sourceRoot":"","sources":["../../../v1/builder/property.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"property.js","sourceRoot":"","sources":["../../../v1/builder/property.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAA;AAC1E,OAAO,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AA4ChE,MAAM,UAAU,QAAQ,CAGtB,MAAc,EAAE,OAAiB;IACjC,MAAM,QAAQ,GAAG,OAAO,IAAK,EAAc,CAAA;IAC3C,eAAe,CAAC,QAAQ,EAAE,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC,CAAA;IACrD,OAAO,cAAc,CAAC,UAAU,EAAE;QAChC,MAAM;QACN,UAAU,EAAE,QAAQ,CAAC,UAAU,IAAI,QAAQ;QAC3C,GAAG,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC;KAC5E,CAAuC,CAAA;AAC1C,CAAC;AAED,MAAM,UAAU,IAAI,CAClB,QAAkB,EAClB,OAAoB;IAEpB,IAAI,gBAAgB,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;QACvC,IAAI,CAAC,qBAAqB,EAAE,EAAE,EAAE,mDAAmD,CAAC,CAAA;IACtF,CAAC;IACD,eAAe,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;IACvC,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IACtE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QACvB,IAAI,CAAC,4BAA4B,EAAE,KAAK,EAAE,8BAA8B,CAAC,CAAA;IAC3E,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAA;IACrC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,QAAQ,CAAC,EAAE,CAAC;QACrE,IAAI,CAAC,4BAA4B,EAAE,KAAK,EAAE,wCAAwC,CAAC,CAAA;IACrF,CAAC;IACD,IAAI,OAAO,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;QAC9B,IAAI,CAAC,0BAA0B,EAAE,MAAM,EAAE,uCAAuC,CAAC,CAAA;IACnF,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/E,IAAI,QAAQ,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7D,IAAI,CAAC,4BAA4B,EAAE,KAAK,EAAE,mDAAmD,CAAC,CAAA;IAChG,CAAC;IACD,OAAO,cAAc,CAAC,MAAM,EAAE;QAC5B,QAAQ;QACR,OAAO,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE;KACzD,CAAoC,CAAA;AACvC,CAAC"}
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import type {
|
|
1
|
+
import type { ViewAuth } from '../schema/view/declaration.js';
|
|
2
2
|
import type { NodeDefinitionReferenceInput } from './definition.js';
|
|
3
3
|
import type { AUTHORING } from './internal/authoring.js';
|
|
4
4
|
export type ViewDefinitionTargetsInput = readonly [
|
|
@@ -9,7 +9,7 @@ export type ViewTargetInput = 'domain' | NodeDefinitionReferenceInput | ViewDefi
|
|
|
9
9
|
export interface ViewInput {
|
|
10
10
|
readonly description?: string;
|
|
11
11
|
readonly target?: ViewTargetInput;
|
|
12
|
-
readonly auth?:
|
|
12
|
+
readonly auth?: ViewAuth;
|
|
13
13
|
}
|
|
14
14
|
export interface ViewAuthoring<out Config extends ViewInput = ViewInput> {
|
|
15
15
|
readonly [AUTHORING]: 'view';
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"view.d.ts","sourceRoot":"","sources":["../../../v1/builder/view.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,
|
|
1
|
+
{"version":3,"file":"view.d.ts","sourceRoot":"","sources":["../../../v1/builder/view.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,+BAA+B,CAAA;AAC7D,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,iBAAiB,CAAA;AACnE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AAKxD,MAAM,MAAM,0BAA0B,GAAG,SAAS;IAChD,4BAA4B;IAC5B,GAAG,4BAA4B,EAAE;CAClC,CAAA;AAED,MAAM,MAAM,eAAe,GAAG,QAAQ,GAAG,4BAA4B,GAAG,0BAA0B,CAAA;AAClG,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,eAAe,CAAA;IACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAA;CACzB;AAED,MAAM,WAAW,aAAa,CAAC,GAAG,CAAC,MAAM,SAAS,SAAS,GAAG,SAAS;IACrE,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED,wBAAgB,IAAI,CAAC,KAAK,CAAC,MAAM,SAAS,SAAS,EAAE,MAAM,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAG1F"}
|
package/dist/v1/index.d.ts
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
/** Stable aggregate facade for the V1 language. */
|
|
2
|
-
export { defineInterface, definePolicy, defineSchema, domain, edge, edgeClass, edgeInterface, fn, fullMatch, node, nodeClass, nodeInterface, output, path, policy, property, valueSchema, view, } from './builder/index.js';
|
|
2
|
+
export { auto, defineInterface, definePolicy, defineSchema, domain, edge, edgeClass, edgeInterface, fn, fullMatch, node, nodeClass, nodeInterface, output, path, policy, property, valueSchema, view, } from './builder/index.js';
|
|
3
3
|
export type * from './builder/index.js';
|
|
4
|
-
export type {
|
|
4
|
+
export type { FunctionAuth, MethodInheritance, PolicyCheckExpression, ViewAuth, } from './schema/index.js';
|
|
5
5
|
export { Key, PropertyKey, Ref } from './addressing/index.js';
|
|
6
6
|
export type * as builder from './builder/index.js';
|
|
7
7
|
export * as schema from './schema/index.js';
|
package/dist/v1/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../v1/index.ts"],"names":[],"mappings":"AAAA,mDAAmD;AAEnD,OAAO,EACL,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,MAAM,EACN,IAAI,EACJ,SAAS,EACT,aAAa,EACb,EAAE,EACF,SAAS,EACT,IAAI,EACJ,SAAS,EACT,aAAa,EACb,MAAM,EACN,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,WAAW,EACX,IAAI,GACL,MAAM,oBAAoB,CAAA;AAE3B,mBAAmB,oBAAoB,CAAA;AAEvC,YAAY,EACV,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../v1/index.ts"],"names":[],"mappings":"AAAA,mDAAmD;AAEnD,OAAO,EACL,IAAI,EACJ,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,MAAM,EACN,IAAI,EACJ,SAAS,EACT,aAAa,EACb,EAAE,EACF,SAAS,EACT,IAAI,EACJ,SAAS,EACT,aAAa,EACb,MAAM,EACN,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,WAAW,EACX,IAAI,GACL,MAAM,oBAAoB,CAAA;AAE3B,mBAAmB,oBAAoB,CAAA;AAEvC,YAAY,EACV,YAAY,EACZ,iBAAiB,EACjB,qBAAqB,EACrB,QAAQ,GACT,MAAM,mBAAmB,CAAA;AAE1B,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,uBAAuB,CAAA;AAE7D,YAAY,KAAK,OAAO,MAAM,oBAAoB,CAAA;AAElD,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAA;AAE3C,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAA"}
|
package/dist/v1/index.js
CHANGED
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
/** Stable aggregate facade for the V1 language. */
|
|
2
|
-
export { defineInterface, definePolicy, defineSchema, domain, edge, edgeClass, edgeInterface, fn, fullMatch, node, nodeClass, nodeInterface, output, path, policy, property, valueSchema, view, } from './builder/index.js';
|
|
2
|
+
export { auto, defineInterface, definePolicy, defineSchema, domain, edge, edgeClass, edgeInterface, fn, fullMatch, node, nodeClass, nodeInterface, output, path, policy, property, valueSchema, view, } from './builder/index.js';
|
|
3
3
|
export { Key, PropertyKey, Ref } from './addressing/index.js';
|
|
4
4
|
export * as schema from './schema/index.js';
|
|
5
5
|
export * as bundle from './bundle/index.js';
|
package/dist/v1/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../v1/index.ts"],"names":[],"mappings":"AAAA,mDAAmD;AAEnD,OAAO,EACL,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,MAAM,EACN,IAAI,EACJ,SAAS,EACT,aAAa,EACb,EAAE,EACF,SAAS,EACT,IAAI,EACJ,SAAS,EACT,aAAa,EACb,MAAM,EACN,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,WAAW,EACX,IAAI,GACL,MAAM,oBAAoB,CAAA;
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../v1/index.ts"],"names":[],"mappings":"AAAA,mDAAmD;AAEnD,OAAO,EACL,IAAI,EACJ,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,MAAM,EACN,IAAI,EACJ,SAAS,EACT,aAAa,EACb,EAAE,EACF,SAAS,EACT,IAAI,EACJ,SAAS,EACT,aAAa,EACb,MAAM,EACN,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,WAAW,EACX,IAAI,GACL,MAAM,oBAAoB,CAAA;AAW3B,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,uBAAuB,CAAA;AAI7D,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAA;AAE3C,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAA"}
|
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
import type { PolicyCheckExpression } from './policy/ast.js';
|
|
2
2
|
import type { JsonSchema } from './value/schema.js';
|
|
3
3
|
export type MethodInheritance = 'abstract' | 'default' | 'sealed';
|
|
4
|
-
export type
|
|
4
|
+
export type FunctionAuth = 'anonymous' | 'authenticated' | 'authorized';
|
|
5
5
|
export type CallableOutput = {
|
|
6
6
|
readonly mode: 'value';
|
|
7
7
|
readonly schema: JsonSchema;
|
|
@@ -16,7 +16,7 @@ export interface CallableContract {
|
|
|
16
16
|
readonly description?: string;
|
|
17
17
|
readonly input: JsonSchema;
|
|
18
18
|
readonly output: CallableOutput;
|
|
19
|
-
readonly auth:
|
|
19
|
+
readonly auth: FunctionAuth;
|
|
20
20
|
readonly policy?: PolicyCheckExpression;
|
|
21
21
|
}
|
|
22
22
|
export interface FunctionDeclaration extends CallableContract {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"callable.d.ts","sourceRoot":"","sources":["../../../v1/schema/callable.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAA;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AAEnD,MAAM,MAAM,iBAAiB,GAAG,UAAU,GAAG,SAAS,GAAG,QAAQ,CAAA;AAEjE,MAAM,MAAM,
|
|
1
|
+
{"version":3,"file":"callable.d.ts","sourceRoot":"","sources":["../../../v1/schema/callable.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAA;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AAEnD,MAAM,MAAM,iBAAiB,GAAG,UAAU,GAAG,SAAS,GAAG,QAAQ,CAAA;AAEjE,MAAM,MAAM,YAAY,GAAG,WAAW,GAAG,eAAe,GAAG,YAAY,CAAA;AAEvE,MAAM,MAAM,cAAc,GACtB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GACtD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAA;AAE/B,MAAM,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC,CAAA;AAE/C,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;IAC1B,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAA;IAC/B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,qBAAqB,CAAA;CACxC;AAED,MAAM,WAAW,mBAAoB,SAAQ,gBAAgB;CAAG;AAEhE,MAAM,WAAW,iBAAkB,SAAQ,gBAAgB;IACzD,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAA;CACxC;AAED,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC,CAAA"}
|
|
@@ -59,12 +59,19 @@ function canonicalizeInterface(value) {
|
|
|
59
59
|
...(value.data === undefined ? {} : { data: { mediaType: value.data.mediaType } }),
|
|
60
60
|
};
|
|
61
61
|
}
|
|
62
|
-
return
|
|
63
|
-
|
|
64
|
-
|
|
65
|
-
|
|
66
|
-
|
|
67
|
-
|
|
62
|
+
return value.orientation === 'directed'
|
|
63
|
+
? {
|
|
64
|
+
...base,
|
|
65
|
+
orientation: 'directed',
|
|
66
|
+
endpoints: canonicalizeDirectedEndpoints(value.endpoints),
|
|
67
|
+
constraints: value.constraints,
|
|
68
|
+
}
|
|
69
|
+
: {
|
|
70
|
+
...base,
|
|
71
|
+
orientation: 'undirected',
|
|
72
|
+
endpoints: canonicalizeIncidentEndpoints(value.endpoints),
|
|
73
|
+
constraints: value.constraints,
|
|
74
|
+
};
|
|
68
75
|
}
|
|
69
76
|
function canonicalizeClass(value) {
|
|
70
77
|
const base = {
|
|
@@ -83,13 +90,21 @@ function canonicalizeClass(value) {
|
|
|
83
90
|
policies: value.policies,
|
|
84
91
|
};
|
|
85
92
|
}
|
|
86
|
-
return
|
|
87
|
-
|
|
88
|
-
|
|
89
|
-
|
|
90
|
-
|
|
91
|
-
|
|
92
|
-
|
|
93
|
+
return value.orientation === 'directed'
|
|
94
|
+
? {
|
|
95
|
+
...base,
|
|
96
|
+
orientation: 'directed',
|
|
97
|
+
endpoints: canonicalizeDirectedEndpoints(value.endpoints),
|
|
98
|
+
policies: value.policies,
|
|
99
|
+
constraints: value.constraints,
|
|
100
|
+
}
|
|
101
|
+
: {
|
|
102
|
+
...base,
|
|
103
|
+
orientation: 'undirected',
|
|
104
|
+
endpoints: canonicalizeIncidentEndpoints(value.endpoints),
|
|
105
|
+
policies: value.policies,
|
|
106
|
+
constraints: value.constraints,
|
|
107
|
+
};
|
|
93
108
|
}
|
|
94
109
|
function canonicalizeFunction(value) {
|
|
95
110
|
return {
|
|
@@ -123,16 +138,34 @@ function canonicalizePropertyFacet(value) {
|
|
|
123
138
|
}
|
|
124
139
|
function canonicalizePropertyMetadata(value) {
|
|
125
140
|
return Object.fromEntries(Object.entries(value)
|
|
126
|
-
.filter(([, metadata]) => metadata.visibility === 'private')
|
|
141
|
+
.filter(([, metadata]) => metadata.visibility === 'private' || metadata.auto !== undefined)
|
|
142
|
+
.map(([name, metadata]) => [
|
|
143
|
+
name,
|
|
144
|
+
metadata.auto === undefined
|
|
145
|
+
? { visibility: metadata.visibility }
|
|
146
|
+
: {
|
|
147
|
+
visibility: metadata.visibility,
|
|
148
|
+
auto: {
|
|
149
|
+
on: [...new Set(metadata.auto.on)].sort(compareUnicode),
|
|
150
|
+
set: metadata.auto.set,
|
|
151
|
+
},
|
|
152
|
+
},
|
|
153
|
+
])
|
|
127
154
|
.sort(([left], [right]) => compareUnicode(left, right)));
|
|
128
155
|
}
|
|
129
|
-
function
|
|
156
|
+
function canonicalizeDirectedEndpoints(value) {
|
|
130
157
|
return {
|
|
131
158
|
...value,
|
|
132
159
|
source: { ...value.source, accepts: [...value.source.accepts].sort(compareSchemaRefs) },
|
|
133
160
|
target: { ...value.target, accepts: [...value.target.accepts].sort(compareSchemaRefs) },
|
|
134
161
|
};
|
|
135
162
|
}
|
|
163
|
+
function canonicalizeIncidentEndpoints(value) {
|
|
164
|
+
return [
|
|
165
|
+
{ ...value[0], accepts: [...value[0].accepts].sort(compareSchemaRefs) },
|
|
166
|
+
{ ...value[1], accepts: [...value[1].accepts].sort(compareSchemaRefs) },
|
|
167
|
+
];
|
|
168
|
+
}
|
|
136
169
|
function canonicalizeCoreEdge(edge, origin, orientationByClass) {
|
|
137
170
|
const isLocal = edge.class.origin === origin;
|
|
138
171
|
const isUndirected = isLocal && orientationByClass.get(edge.class.name) === 'undirected';
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"domain.js","sourceRoot":"","sources":["../../../../v1/schema/canonical/domain.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAA;AAWnD,OAAO,EAAE,qBAAqB,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAA;AAC1F,OAAO,EACL,iBAAiB,EACjB,cAAc,GAGf,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAA;AAE1E,MAAM,UAAU,wBAAwB,CAAC,MAAsB;IAC7D,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAA;IAC5D,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAChC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;SACpB,MAAM,CACL,CAAC,KAAK,EAAoE,EAAE,CAC1E,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAC7B;SACA,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC,CACjE,CAAA;IAED,MAAM,SAAS,GAAmB;QAChC,MAAM,EAAE,aAAa;QACrB,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC1D,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAC1C;QACD,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,uBAAuB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QACvF,UAAU,EAAE,SAAS,CAAC,MAAM,CAAC,UAAU,EAAE,qBAAqB,CAAC;QAC/D,OAAO;QACP,SAAS,EAAE,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,oBAAoB,CAAC;QAC5D,QAAQ,EAAE,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,0BAA0B,CAAC;QAChE,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,gBAAgB,CAAC;QAChD,IAAI,EAAE;YACJ,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC7C,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,UAAU,CAA2B;aACrE,CAAC,CAAC;YACH,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK;iBACrB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;iBAC5E,IAAI,CAAC,gBAAgB,CAAC;SAC1B;KACF,CAAA;IACD,OAAO,aAAa,CAAC,SAAS,CAA8B,CAAA;AAC9D,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAsB;IAC9C,OAAO;QACL,GAAG,eAAe,CAAC,KAAK,CAAC;QACzB,MAAM,EACJ,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;YAC5B,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE;YACpB,CAAC,CAAC;gBACE,IAAI,EAAE,YAAY;gBAClB,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAGhE;aACF;QACP,IAAI,EAAE,KAAK,CAAC,IAAI;KACjB,CAAA;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,KAA2B;IACxD,MAAM,IAAI,GAAG;QACX,GAAG,eAAe,CAAC,KAAK,CAAC;QACzB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC;QACnD,UAAU,EAAE,yBAAyB,CAAC,KAAK,CAAC,UAAU,CAAC;QACvD,gBAAgB,EAAE,4BAA4B,CAAC,KAAK,CAAC,gBAAgB,CAAC;KACvE,CAAA;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,IAA4B,CAAA;IAChE,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO;YACL,GAAG,IAAI;YACP,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,kBAAkB,CAAC;YACrD,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC;SAC3D,CAAA;IAC3B,CAAC;IACD,OAAO;
|
|
1
|
+
{"version":3,"file":"domain.js","sourceRoot":"","sources":["../../../../v1/schema/canonical/domain.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAA;AAWnD,OAAO,EAAE,qBAAqB,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAA;AAC1F,OAAO,EACL,iBAAiB,EACjB,cAAc,GAGf,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAA;AAE1E,MAAM,UAAU,wBAAwB,CAAC,MAAsB;IAC7D,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAA;IAC5D,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAChC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;SACpB,MAAM,CACL,CAAC,KAAK,EAAoE,EAAE,CAC1E,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAC7B;SACA,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC,CACjE,CAAA;IAED,MAAM,SAAS,GAAmB;QAChC,MAAM,EAAE,aAAa;QACrB,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC1D,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAC1C;QACD,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,uBAAuB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QACvF,UAAU,EAAE,SAAS,CAAC,MAAM,CAAC,UAAU,EAAE,qBAAqB,CAAC;QAC/D,OAAO;QACP,SAAS,EAAE,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,oBAAoB,CAAC;QAC5D,QAAQ,EAAE,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,0BAA0B,CAAC;QAChE,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,gBAAgB,CAAC;QAChD,IAAI,EAAE;YACJ,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC7C,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,UAAU,CAA2B;aACrE,CAAC,CAAC;YACH,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK;iBACrB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;iBAC5E,IAAI,CAAC,gBAAgB,CAAC;SAC1B;KACF,CAAA;IACD,OAAO,aAAa,CAAC,SAAS,CAA8B,CAAA;AAC9D,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAsB;IAC9C,OAAO;QACL,GAAG,eAAe,CAAC,KAAK,CAAC;QACzB,MAAM,EACJ,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;YAC5B,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE;YACpB,CAAC,CAAC;gBACE,IAAI,EAAE,YAAY;gBAClB,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAGhE;aACF;QACP,IAAI,EAAE,KAAK,CAAC,IAAI;KACjB,CAAA;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,KAA2B;IACxD,MAAM,IAAI,GAAG;QACX,GAAG,eAAe,CAAC,KAAK,CAAC;QACzB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC;QACnD,UAAU,EAAE,yBAAyB,CAAC,KAAK,CAAC,UAAU,CAAC;QACvD,gBAAgB,EAAE,4BAA4B,CAAC,KAAK,CAAC,gBAAgB,CAAC;KACvE,CAAA;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,IAA4B,CAAA;IAChE,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO;YACL,GAAG,IAAI;YACP,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,kBAAkB,CAAC;YACrD,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC;SAC3D,CAAA;IAC3B,CAAC;IACD,OAAO,KAAK,CAAC,WAAW,KAAK,UAAU;QACrC,CAAC,CAAE;YACC,GAAG,IAAI;YACP,WAAW,EAAE,UAAU;YACvB,SAAS,EAAE,6BAA6B,CAAC,KAAK,CAAC,SAAS,CAAC;YACzD,WAAW,EAAE,KAAK,CAAC,WAAW;SACN;QAC5B,CAAC,CAAE;YACC,GAAG,IAAI;YACP,WAAW,EAAE,YAAY;YACzB,SAAS,EAAE,6BAA6B,CAAC,KAAK,CAAC,SAAS,CAAC;YACzD,WAAW,EAAE,KAAK,CAAC,WAAW;SACN,CAAA;AAChC,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAuB;IAChD,MAAM,IAAI,GAAG;QACX,GAAG,eAAe,CAAC,KAAK,CAAC;QACzB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,UAAU,EAAE,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC;QACzD,UAAU,EAAE,yBAAyB,CAAC,KAAK,CAAC,UAAU,CAAC;QACvD,gBAAgB,EAAE,4BAA4B,CAAC,KAAK,CAAC,gBAAgB,CAAC;KACvE,CAAA;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO;YACL,GAAG,IAAI;YACP,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,kBAAkB,CAAC;YACrD,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC;YAClF,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;YACzD,QAAQ,EAAE,KAAK,CAAC,QAAQ;SACL,CAAA;IACvB,CAAC;IACD,OAAO,KAAK,CAAC,WAAW,KAAK,UAAU;QACrC,CAAC,CAAE;YACC,GAAG,IAAI;YACP,WAAW,EAAE,UAAU;YACvB,SAAS,EAAE,6BAA6B,CAAC,KAAK,CAAC,SAAS,CAAC;YACzD,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,WAAW,EAAE,KAAK,CAAC,WAAW;SACV;QACxB,CAAC,CAAE;YACC,GAAG,IAAI;YACP,WAAW,EAAE,YAAY;YACzB,SAAS,EAAE,6BAA6B,CAAC,KAAK,CAAC,SAAS,CAAC;YACzD,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,WAAW,EAAE,KAAK,CAAC,WAAW;SACV,CAAA;AAC5B,CAAC;AAED,SAAS,oBAAoB,CAAC,KAA0B;IACtD,OAAO;QACL,GAAG,eAAe,CAAC,KAAK,CAAC;QACzB,KAAK,EAAE,uBAAuB,CAAC,KAAK,CAAC,KAAK,EAAE,gBAAgB,CAAC;QAC7D,MAAM,EAAE,0BAA0B,CAAC,KAAK,CAAC,MAAM,CAAC;QAChD,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,qBAAqB,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;KACvF,CAAA;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAwB;IAClD,OAAO;QACL,GAAG,oBAAoB,CAAC,KAAK,CAAC;QAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,WAAW,EAAE,KAAK,CAAC,WAAW;KAC/B,CAAA;AACH,CAAC;AAED,SAAS,0BAA0B,CAAC,KAAqB;IACvD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,uBAAuB,CAAC,KAAK,CAAC,MAAM,EAAE,iBAAiB,CAAC,EAAE,CAAA;QAC5F,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,uBAAuB,CAAC,KAAK,CAAC,IAAI,EAAE,iBAAiB,CAAC,EAAE,CAAA;QACzF,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;IAC7B,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAAC,KAA2B;IAC5D,MAAM,SAAS,GAAG,uBAAuB,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAA;IAClE,OAAO,SAAiC,CAAA;AAC1C,CAAC;AAED,SAAS,4BAA4B,CAAC,KAA6B;IACjE,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;SAClB,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,UAAU,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC;SAC1F,GAAG,CACF,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,CACnB;QACE,IAAI;QACJ,QAAQ,CAAC,IAAI,KAAK,SAAS;YACzB,CAAC,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE;YACrC,CAAC,CAAC;gBACE,UAAU,EAAE,QAAQ,CAAC,UAAU;gBAC/B,IAAI,EAAE;oBACJ,EAAE,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;oBACvD,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG;iBACvB;aACF;KACG,CACb;SACA,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAC1D,CAAA;AACH,CAAC;AAED,SAAS,6BAA6B,CAKpC,KAAQ;IACR,OAAO;QACL,GAAG,KAAK;QACR,MAAM,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE;QACvF,MAAM,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE;KACxF,CAAA;AACH,CAAC;AAED,SAAS,6BAA6B,CAKpC,KAAQ;IACR,OAAO;QACL,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE;QACvE,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE;KACxD,CAAA;AACnB,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAAyB,EACzB,MAAc,EACd,kBAA+C;IAE/C,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAA;IAC5C,MAAM,YAAY,GAAG,OAAO,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,YAAY,CAAA;IACxF,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GACpB,YAAY,IAAI,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;QAChE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QAC5B,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;IAChC,OAAO;QACL,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,MAAM;QACN,MAAM;QACN,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,UAAU,CAA2B;KACrE,CAAA;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAyB,EAAE,KAA0B;IAC7E,OAAO,CACL,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;QAC1C,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;QAC/C,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;QAC/C,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAChF,CAAA;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAqB,EAAE,KAAsB;IACzE,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACnE,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAA;IACrC,OAAO,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;AACvC,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,KAAa;IAC/C,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAA;IACjC,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC9B,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAA;IAC3C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAC5C,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;IACrE,CAAC;IACD,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAA;AAC5B,CAAC;AAED,SAAS,SAAS,CAChB,KAAkC,EAClC,GAAkC;IAElC,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;SAClB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;SACtD,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CACpD,CAAA;AACH,CAAC;AAED,SAAS,eAAe,CAAC,KAAwC;IAG/D,OAAO,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAA;AAClF,CAAC;AAED,SAAS,aAAa,CAAC,KAAiC;IACtD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,oCAAoC,CAAC,CAAA;QACnF,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IAC7D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAc,CAAA;IACxF,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,aAAa,CAAC,KAAkB,CAAC,CAAC,CAAC,CACzE,CAAA;AAChB,CAAC"}
|
|
@@ -51,8 +51,14 @@ function resolveCoreEdges(environment, analysis, registry, nodesByRef, diagnosti
|
|
|
51
51
|
const declaration = resolved.declaration;
|
|
52
52
|
if (source === undefined || target === undefined)
|
|
53
53
|
continue;
|
|
54
|
-
|
|
55
|
-
|
|
54
|
+
const endpointsSatisfy = declaration.orientation === 'directed'
|
|
55
|
+
? endpointSatisfies(environment, source, declaration.endpoints.source.accepts) &&
|
|
56
|
+
endpointSatisfies(environment, target, declaration.endpoints.target.accepts)
|
|
57
|
+
: (endpointSatisfies(environment, source, declaration.endpoints[0].accepts) &&
|
|
58
|
+
endpointSatisfies(environment, target, declaration.endpoints[1].accepts)) ||
|
|
59
|
+
(endpointSatisfies(environment, source, declaration.endpoints[1].accepts) &&
|
|
60
|
+
endpointSatisfies(environment, target, declaration.endpoints[0].accepts));
|
|
61
|
+
if (!endpointsSatisfy) {
|
|
56
62
|
diagnostics.push(diagnostic('DV_CORE_EDGE_CLASS', pointer, `Core Edge endpoints do not satisfy ${formatSchemaRef(edge.class)}.`, formatSchemaRef(edge.class)));
|
|
57
63
|
continue;
|
|
58
64
|
}
|
|
@@ -141,33 +147,47 @@ function validateCoreEdgeSet(environment, edges, nodesByRef, diagnostics) {
|
|
|
141
147
|
}
|
|
142
148
|
function validateCardinality(environment, declaration, edges, nodesByRef, diagnostics) {
|
|
143
149
|
if (declaration.orientation === 'undirected') {
|
|
150
|
+
const [first, second] = declaration.endpoints;
|
|
144
151
|
for (const node of nodesByRef.values()) {
|
|
145
|
-
|
|
152
|
+
const matchesFirst = classSatisfies(environment, node.classRef, first.accepts);
|
|
153
|
+
const matchesSecond = classSatisfies(environment, node.classRef, second.accepts);
|
|
154
|
+
if (!matchesFirst && !matchesSecond)
|
|
146
155
|
continue;
|
|
147
|
-
}
|
|
148
156
|
const degree = edges.filter((edge) => edge.source.key === node.key || edge.target.key === node.key).length;
|
|
149
|
-
|
|
157
|
+
if (matchesFirst)
|
|
158
|
+
checkIncidentBound(first, degree, node, diagnostics);
|
|
159
|
+
if (matchesSecond && !sameIncidentEndpointContract(first, second)) {
|
|
160
|
+
checkIncidentBound(second, degree, node, diagnostics);
|
|
161
|
+
}
|
|
150
162
|
}
|
|
151
163
|
return;
|
|
152
164
|
}
|
|
153
165
|
for (const node of nodesByRef.values()) {
|
|
154
166
|
if (classSatisfies(environment, node.classRef, declaration.endpoints.source.accepts)) {
|
|
155
167
|
const degree = edges.filter((edge) => edge.source.key === node.key).length;
|
|
156
|
-
checkBound(declaration.endpoints.source, degree, node, diagnostics);
|
|
168
|
+
checkBound(declaration.endpoints.source, declaration.endpoints.source.outgoing, degree, node, diagnostics);
|
|
157
169
|
}
|
|
158
170
|
if (classSatisfies(environment, node.classRef, declaration.endpoints.target.accepts)) {
|
|
159
171
|
const degree = edges.filter((edge) => edge.target.key === node.key).length;
|
|
160
|
-
checkBound(declaration.endpoints.target, degree, node, diagnostics);
|
|
172
|
+
checkBound(declaration.endpoints.target, declaration.endpoints.target.incoming, degree, node, diagnostics);
|
|
161
173
|
}
|
|
162
174
|
}
|
|
163
175
|
}
|
|
164
|
-
function checkBound(endpoint, degree, node, diagnostics) {
|
|
165
|
-
const [minimum, maximum] =
|
|
176
|
+
function checkBound(endpoint, count, degree, node, diagnostics) {
|
|
177
|
+
const [minimum, maximum] = countBounds(count);
|
|
166
178
|
if (degree >= minimum && degree <= maximum)
|
|
167
179
|
return;
|
|
168
|
-
diagnostics.push(diagnostic('DV_CORE_EDGE_CONSTRAINTS', `/core/nodes/${escapePointer(node.slug)}`, `Core degree ${degree} violates ${endpoint.role}
|
|
180
|
+
diagnostics.push(diagnostic('DV_CORE_EDGE_CONSTRAINTS', `/core/nodes/${escapePointer(node.slug)}`, `Core degree ${degree} violates ${endpoint.role} Edge count ${count}.`));
|
|
181
|
+
}
|
|
182
|
+
function checkIncidentBound(endpoint, degree, node, diagnostics) {
|
|
183
|
+
checkBound(endpoint, endpoint.incident, degree, node, diagnostics);
|
|
184
|
+
}
|
|
185
|
+
function sameIncidentEndpointContract(left, right) {
|
|
186
|
+
return (left.incident === right.incident &&
|
|
187
|
+
left.accepts.length === right.accepts.length &&
|
|
188
|
+
left.accepts.every((ref, index) => schemaRefIndex(ref) === schemaRefIndex(right.accepts[index])));
|
|
169
189
|
}
|
|
170
|
-
function
|
|
190
|
+
function countBounds(value) {
|
|
171
191
|
switch (value) {
|
|
172
192
|
case '0..*':
|
|
173
193
|
return [0, Number.POSITIVE_INFINITY];
|