@cratis/scene.engine 4.2.1 → 4.4.0

package/dist/cjs/editing/diagnostics.js

@@ -0,0 +1,36 @@
+'use strict';
+
+var scene_model = require('@cratis/scene.model');
+
+// Copyright (c) Cratis. All rights reserved.
+// Licensed under the MIT license. See LICENSE file in the project root for full license information.
+/**
+ * Builds an error diagnostic: the edit or resolution step that produced it did not happen.
+ */ function errorDiagnostic(code, message, context = {}) {
+    return {
+        code,
+        severity: scene_model.DiagnosticSeverity.Error,
+        message,
+        ...context
+    };
+}
+/**
+ * Builds a warning diagnostic: the work went ahead, and the author should know something about it.
+ */ function warningDiagnostic(code, message, context = {}) {
+    return {
+        code,
+        severity: scene_model.DiagnosticSeverity.Warning,
+        message,
+        ...context
+    };
+}
+/**
+ * Whether any diagnostic is an error.
+ */ function hasErrors(diagnostics) {
+    return diagnostics.some((diagnostic)=>diagnostic.severity === scene_model.DiagnosticSeverity.Error);
+}
+
+exports.errorDiagnostic = errorDiagnostic;
+exports.hasErrors = hasErrors;
+exports.warningDiagnostic = warningDiagnostic;
+//# sourceMappingURL=diagnostics.js.map

package/dist/cjs/editing/diagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.js","sources":["../../../editing/diagnostics.ts"],"sourcesContent":["// Copyright (c) Cratis. All rights reserved.\n// Licensed under the MIT license. See LICENSE file in the project root for full license information.\n\nimport { DiagnosticCode, DiagnosticSeverity, SceneDiagnostic } from '@cratis/scene.model';\n\n/**\n * The context a diagnostic can carry besides its code and message.\n */\nexport type DiagnosticContext = Partial<Omit<SceneDiagnostic, 'code' | 'severity' | 'message'>>;\n\n/**\n * Builds an error diagnostic: the edit or resolution step that produced it did not happen.\n */\nexport function errorDiagnostic(code: DiagnosticCode, message: string, context: DiagnosticContext = {}): SceneDiagnostic {\n    return { code, severity: DiagnosticSeverity.Error, message, ...context };\n}\n\n/**\n * Builds a warning diagnostic: the work went ahead, and the author should know something about it.\n */\nexport function warningDiagnostic(code: DiagnosticCode, message: string, context: DiagnosticContext = {}): SceneDiagnostic {\n    return { code, severity: DiagnosticSeverity.Warning, message, ...context };\n}\n\n/**\n * Whether any diagnostic is an error.\n */\nexport function hasErrors(diagnostics: SceneDiagnostic[]): boolean {\n    return diagnostics.some(diagnostic => diagnostic.severity === DiagnosticSeverity.Error);\n}\n"],"names":["errorDiagnostic","code","message","context","severity","DiagnosticSeverity","Error","warningDiagnostic","Warning","hasErrors","diagnostics","some","diagnostic"],"mappings":";;;;AAAA;AACA;AASA;;IAGO,SAASA,eAAAA,CAAgBC,IAAoB,EAAEC,OAAe,EAAEC,OAAAA,GAA6B,EAAE,EAAA;IAClG,OAAO;AAAEF,QAAAA,IAAAA;AAAMG,QAAAA,QAAAA,EAAUC,+BAAmBC,KAAK;AAAEJ,QAAAA,OAAAA;AAAS,QAAA,GAAGC;AAAQ,KAAA;AAC3E;AAEA;;IAGO,SAASI,iBAAAA,CAAkBN,IAAoB,EAAEC,OAAe,EAAEC,OAAAA,GAA6B,EAAE,EAAA;IACpG,OAAO;AAAEF,QAAAA,IAAAA;AAAMG,QAAAA,QAAAA,EAAUC,+BAAmBG,OAAO;AAAEN,QAAAA,OAAAA;AAAS,QAAA,GAAGC;AAAQ,KAAA;AAC7E;AAEA;;IAGO,SAASM,SAAAA,CAAUC,WAA8B,EAAA;IACpD,OAAOA,WAAAA,CAAYC,IAAI,CAACC,CAAAA,aAAcA,UAAAA,CAAWR,QAAQ,KAAKC,8BAAAA,CAAmBC,KAAK,CAAA;AAC1F;;;;"}

package/dist/cjs/editing/documentPaths.js

@@ -0,0 +1,45 @@
+'use strict';
+
+// Copyright (c) Cratis. All rights reserved.
+// Licensed under the MIT license. See LICENSE file in the project root for full license information.
+/**
+ * Reads the value at a document path.
+ */ function getAtPath(root, path) {
+    let current = root;
+    for (const key of path){
+        if (current === null || typeof current !== 'object') return undefined;
+        current = current[key];
+    }
+    return current;
+}
+/**
+ * Reads the array at a path, creating it - and any objects on the way - when it is not there yet. Mutates `root`,
+ * which callers hold a copy of.
+ */ function ensureArrayAt(root, path) {
+    let current = root;
+    path.forEach((key, position)=>{
+        if (current[key] === undefined) current[key] = position === path.length - 1 ? [] : {};
+        current = current[key];
+    });
+    return current;
+}
+/**
+ * The paths a change to `path` must be made at: the path itself and, for a node inside a freeform element, the same
+ * place in every other size-class variant's copy.
+ */ function mirroredPaths(mirror, path) {
+    if (!mirror || mirror.prefix.some((key, position)=>path[position] !== key)) return [
+        path
+    ];
+    return [
+        path,
+        ...mirror.others.map((other)=>[
+                ...other,
+                ...path.slice(mirror.prefix.length)
+            ])
+    ];
+}
+
+exports.ensureArrayAt = ensureArrayAt;
+exports.getAtPath = getAtPath;
+exports.mirroredPaths = mirroredPaths;
+//# sourceMappingURL=documentPaths.js.map

package/dist/cjs/editing/documentPaths.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"documentPaths.js","sources":["../../../editing/documentPaths.ts"],"sourcesContent":["// Copyright (c) Cratis. All rights reserved.\n// Licensed under the MIT license. See LICENSE file in the project root for full license information.\n\nimport { DocumentPath } from './DocumentIndex';\n\n/**\n * Reads the value at a document path.\n */\nexport function getAtPath(root: unknown, path: DocumentPath): unknown {\n    let current = root;\n    for (const key of path) {\n        if (current === null || typeof current !== 'object') return undefined;\n        current = (current as Record<string | number, unknown>)[key];\n    }\n\n    return current;\n}\n\n/**\n * Reads the array at a path, creating it - and any objects on the way - when it is not there yet. Mutates `root`,\n * which callers hold a copy of.\n */\nexport function ensureArrayAt(root: unknown, path: DocumentPath): unknown[] {\n    let current = root as Record<string | number, unknown>;\n    path.forEach((key, position) => {\n        if (current[key] === undefined) current[key] = position === path.length - 1 ? [] : {};\n        current = current[key] as Record<string | number, unknown>;\n    });\n\n    return current as unknown as unknown[];\n}\n\n/**\n * The paths a change to `path` must be made at: the path itself and, for a node inside a freeform element, the same\n * place in every other size-class variant's copy.\n */\nexport function mirroredPaths(mirror: { prefix: DocumentPath; others: DocumentPath[] } | undefined, path: DocumentPath): DocumentPath[] {\n    if (!mirror || mirror.prefix.some((key, position) => path[position] !== key)) return [path];\n    return [path, ...mirror.others.map(other => [...other, ...path.slice(mirror.prefix.length)])];\n}\n"],"names":["getAtPath","root","path","current","key","undefined","ensureArrayAt","forEach","position","length","mirroredPaths","mirror","prefix","some","others","map","other","slice"],"mappings":";;AAAA;AACA;AAIA;;AAEC,IACM,SAASA,SAAAA,CAAUC,IAAa,EAAEC,IAAkB,EAAA;AACvD,IAAA,IAAIC,OAAAA,GAAUF,IAAAA;IACd,KAAK,MAAMG,OAAOF,IAAAA,CAAM;AACpB,QAAA,IAAIC,OAAAA,KAAY,IAAA,IAAQ,OAAOA,OAAAA,KAAY,UAAU,OAAOE,SAAAA;QAC5DF,OAAAA,GAAWA,OAA4C,CAACC,GAAAA,CAAI;AAChE,IAAA;IAEA,OAAOD,OAAAA;AACX;AAEA;;;AAGC,IACM,SAASG,aAAAA,CAAcL,IAAa,EAAEC,IAAkB,EAAA;AAC3D,IAAA,IAAIC,OAAAA,GAAUF,IAAAA;IACdC,IAAAA,CAAKK,OAAO,CAAC,CAACH,GAAAA,EAAKI,QAAAA,GAAAA;AACf,QAAA,IAAIL,OAAO,CAACC,GAAAA,CAAI,KAAKC,SAAAA,EAAWF,OAAO,CAACC,GAAAA,CAAI,GAAGI,QAAAA,KAAaN,KAAKO,MAAM,GAAG,CAAA,GAAI,EAAE,GAAG,EAAC;QACpFN,OAAAA,GAAUA,OAAO,CAACC,GAAAA,CAAI;AAC1B,IAAA,CAAA,CAAA;IAEA,OAAOD,OAAAA;AACX;AAEA;;;AAGC,IACM,SAASO,aAAAA,CAAcC,MAAoE,EAAET,IAAkB,EAAA;AAClH,IAAA,IAAI,CAACS,MAAAA,IAAUA,MAAAA,CAAOC,MAAM,CAACC,IAAI,CAAC,CAACT,GAAAA,EAAKI,WAAaN,IAAI,CAACM,QAAAA,CAAS,KAAKJ,MAAM,OAAO;AAACF,QAAAA;AAAK,KAAA;IAC3F,OAAO;AAACA,QAAAA,IAAAA;AAASS,QAAAA,GAAAA,MAAAA,CAAOG,MAAM,CAACC,GAAG,CAACC,CAAAA,KAAAA,GAAS;AAAIA,gBAAAA,GAAAA,KAAAA;AAAUd,gBAAAA,GAAAA,IAAAA,CAAKe,KAAK,CAACN,MAAAA,CAAOC,MAAM,CAACH,MAAM;AAAE,aAAA;AAAE,KAAA;AACjG;;;;"}

package/dist/cjs/editing/exposureEdits.js

@@ -0,0 +1,106 @@
+'use strict';
+
+var scene_model = require('@cratis/scene.model');
+var DescriptorCatalog = require('./DescriptorCatalog.js');
+var diagnostics = require('./diagnostics.js');
+var exposureGrants = require('./exposureGrants.js');
+var pathAccess = require('./pathAccess.js');
+
+// Copyright (c) Cratis. All rights reserved.
+// Licensed under the MIT license. See LICENSE file in the project root for full license information.
+function ownsDeclaration(session, owner, diagnostics$1) {
+    const level = session.chain.levels.at(-1);
+    if (!level || level.owner !== owner) {
+        diagnostics$1.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.NodeNotEditable, `Exposure is declared by the layout or template that owns the component. '${owner}' is not what is being edited.`));
+        return false;
+    }
+    return true;
+}
+function validateExposure(session, property, diagnostics$1) {
+    const context = {
+        component: property.component,
+        path: property.path
+    };
+    const level = session.chain.levels.at(-1);
+    const reExposed = property.reExposes !== undefined;
+    if (!reExposed && !level.elements.some((candidate)=>candidate.id === property.component)) {
+        diagnostics$1.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.ExposureTargetMissing, `'${level.owner}' has no component '${property.component}'.`, context));
+        return false;
+    }
+    const grant = reExposed ? session.scopeGrants.get(exposureGrants.grantKey(property.component, property.path)) : undefined;
+    if (reExposed && (!grant || grant.owner !== property.reExposes)) {
+        diagnostics$1.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.ReExposureBroken, `'${property.reExposes}' does not expose '${property.path}' on '${property.component}' to '${level.owner}', so it cannot be passed on.`, context));
+        return false;
+    }
+    const element = level.elements.find((candidate)=>candidate.id === property.component);
+    const descriptor = grant ? grant.descriptor : DescriptorCatalog.findComponentDescriptor(session.context.catalog, element.componentName)?.properties.find((candidate)=>candidate.path === property.path);
+    if (!descriptor) {
+        diagnostics$1.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.ExposureTargetMissing, `There is no editable property '${property.path}' on '${property.component}'.`, context));
+        return false;
+    }
+    const operations = property.operations ?? [];
+    if (descriptor.valueType !== scene_model.PropertyValueType.Collection) {
+        if (operations.length > 0 || property.editableFields !== undefined) {
+            diagnostics$1.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.InvalidEdit, `'${descriptor.label}' is not a collection, so operations and editable fields do not apply.`, context));
+            return false;
+        }
+        return true;
+    }
+    const known = Object.values(scene_model.CollectionOperation);
+    const unknown = operations.find((operation)=>!known.includes(operation));
+    if (unknown !== undefined) {
+        diagnostics$1.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.InvalidEdit, `'${unknown}' is not a collection operation.`, context));
+        return false;
+    }
+    const fields = descriptor.item?.properties.map((candidate)=>candidate.path) ?? [];
+    const unknownField = property.editableFields?.find((field)=>!fields.includes(field));
+    if (unknownField !== undefined) {
+        diagnostics$1.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.UnknownCollectionField, `Items of '${descriptor.label}' have no field '${unknownField}'.`, context));
+        return false;
+    }
+    if (grant && (operations.some((operation)=>!grant.operations.includes(operation)) || grant.editableFields !== undefined && (property.editableFields ?? fields).some((field)=>!grant.editableFields.includes(field)))) {
+        diagnostics$1.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.ExposureWidensOwner, `'${property.reExposes}' exposed less of '${descriptor.label}' than this re-exposes.`, context));
+        return false;
+    }
+    return true;
+}
+/**
+ * Applies an exposure declaration to a copy of the document.
+ *
+ * Exposure only narrows: the property has to be one the component's descriptor supports, a collection's
+ * operations and fields have to exist, and a re-exposure cannot grant more than the owner it passes on.
+ */ function applyExposeProperty(session, edit, clone, diagnostics) {
+    if (!ownsDeclaration(session, edit.owner, diagnostics) || !validateExposure(session, edit.property, diagnostics)) return;
+    let declaration = clone.exposures.find((candidate)=>candidate.owner === edit.owner);
+    if (!declaration) {
+        declaration = {
+            owner: edit.owner,
+            properties: []
+        };
+        clone.exposures.push(declaration);
+    }
+    const same = (candidate)=>candidate.component === edit.property.component && candidate.path === edit.property.path && candidate.reExposes === edit.property.reExposes;
+    const position = declaration.properties.findIndex(same);
+    if (position >= 0) declaration.properties[position] = pathAccess.cloneData(edit.property);
+    else declaration.properties.push(pathAccess.cloneData(edit.property));
+}
+/**
+ * Applies an exposure withdrawal to a copy of the document. Values already saved against it are not touched.
+ */ function applyUnexposeProperty(session, edit, clone, diagnostics$1) {
+    if (!ownsDeclaration(session, edit.owner, diagnostics$1)) return;
+    const declaration = clone.exposures.find((candidate)=>candidate.owner === edit.owner);
+    const remaining = declaration?.properties.filter((candidate)=>!(candidate.component === edit.component && candidate.path === edit.path));
+    if (!declaration || remaining.length === declaration.properties.length) {
+        diagnostics$1.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.ExposureTargetMissing, `'${edit.owner}' does not expose '${edit.path}' on '${edit.component}'.`, {
+            component: edit.component,
+            path: edit.path
+        }));
+        return;
+    }
+    if (remaining.length === 0) clone.exposures.splice(clone.exposures.indexOf(declaration), 1);
+    else declaration.properties = remaining;
+}
+
+exports.applyExposeProperty = applyExposeProperty;
+exports.applyUnexposeProperty = applyUnexposeProperty;
+//# sourceMappingURL=exposureEdits.js.map

package/dist/cjs/editing/exposureEdits.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exposureEdits.js","sources":["../../../editing/exposureEdits.ts"],"sourcesContent":["// Copyright (c) Cratis. All rights reserved.\n// Licensed under the MIT license. See LICENSE file in the project root for full license information.\n\nimport {\n    CollectionOperation, DiagnosticCode, ExposedProperty, ExposePropertyEdit, PropertyValueType, SceneDiagnostic,\n    SceneDocument, UnexposePropertyEdit,\n} from '@cratis/scene.model';\nimport { findComponentDescriptor } from './DescriptorCatalog';\nimport { errorDiagnostic } from './diagnostics';\nimport { EditSession } from './EditSession';\nimport { grantKey } from './exposureGrants';\nimport { cloneData } from './pathAccess';\n\nfunction ownsDeclaration(session: EditSession, owner: string, diagnostics: SceneDiagnostic[]): boolean {\n    const level = session.chain.levels.at(-1);\n    if (!level || level.owner !== owner) {\n        diagnostics.push(errorDiagnostic(DiagnosticCode.NodeNotEditable, `Exposure is declared by the layout or template that owns the component. '${owner}' is not what is being edited.`));\n        return false;\n    }\n\n    return true;\n}\n\nfunction validateExposure(session: EditSession, property: ExposedProperty, diagnostics: SceneDiagnostic[]): boolean {\n    const context = { component: property.component, path: property.path };\n    const level = session.chain.levels.at(-1)!;\n    const reExposed = property.reExposes !== undefined;\n\n    if (!reExposed && !level.elements.some(candidate => candidate.id === property.component)) {\n        diagnostics.push(errorDiagnostic(DiagnosticCode.ExposureTargetMissing, `'${level.owner}' has no component '${property.component}'.`, context));\n        return false;\n    }\n\n    const grant = reExposed ? session.scopeGrants.get(grantKey(property.component, property.path)) : undefined;\n    if (reExposed && (!grant || grant.owner !== property.reExposes)) {\n        diagnostics.push(errorDiagnostic(DiagnosticCode.ReExposureBroken, `'${property.reExposes}' does not expose '${property.path}' on '${property.component}' to '${level.owner}', so it cannot be passed on.`, context));\n        return false;\n    }\n\n    const element = level.elements.find(candidate => candidate.id === property.component);\n    const descriptor = grant\n        ? grant.descriptor\n        : findComponentDescriptor(session.context.catalog, element!.componentName)?.properties.find(candidate => candidate.path === property.path);\n    if (!descriptor) {\n        diagnostics.push(errorDiagnostic(DiagnosticCode.ExposureTargetMissing, `There is no editable property '${property.path}' on '${property.component}'.`, context));\n        return false;\n    }\n\n    const operations = property.operations ?? [];\n    if (descriptor.valueType !== PropertyValueType.Collection) {\n        if (operations.length > 0 || property.editableFields !== undefined) {\n            diagnostics.push(errorDiagnostic(DiagnosticCode.InvalidEdit, `'${descriptor.label}' is not a collection, so operations and editable fields do not apply.`, context));\n            return false;\n        }\n\n        return true;\n    }\n\n    const known = Object.values(CollectionOperation) as string[];\n    const unknown = operations.find(operation => !known.includes(operation));\n    if (unknown !== undefined) {\n        diagnostics.push(errorDiagnostic(DiagnosticCode.InvalidEdit, `'${unknown}' is not a collection operation.`, context));\n        return false;\n    }\n\n    const fields = descriptor.item?.properties.map(candidate => candidate.path) ?? [];\n    const unknownField = property.editableFields?.find(field => !fields.includes(field));\n    if (unknownField !== undefined) {\n        diagnostics.push(errorDiagnostic(DiagnosticCode.UnknownCollectionField, `Items of '${descriptor.label}' have no field '${unknownField}'.`, context));\n        return false;\n    }\n\n    if (grant && (operations.some(operation => !grant.operations.includes(operation))\n        || (grant.editableFields !== undefined && (property.editableFields ?? fields).some(field => !grant.editableFields!.includes(field))))) {\n        diagnostics.push(errorDiagnostic(DiagnosticCode.ExposureWidensOwner, `'${property.reExposes}' exposed less of '${descriptor.label}' than this re-exposes.`, context));\n        return false;\n    }\n\n    return true;\n}\n\n/**\n * Applies an exposure declaration to a copy of the document.\n *\n * Exposure only narrows: the property has to be one the component's descriptor supports, a collection's\n * operations and fields have to exist, and a re-exposure cannot grant more than the owner it passes on.\n */\nexport function applyExposeProperty(session: EditSession, edit: ExposePropertyEdit, clone: SceneDocument, diagnostics: SceneDiagnostic[]): void {\n    if (!ownsDeclaration(session, edit.owner, diagnostics) || !validateExposure(session, edit.property, diagnostics)) return;\n\n    let declaration = clone.exposures.find(candidate => candidate.owner === edit.owner);\n    if (!declaration) {\n        declaration = { owner: edit.owner, properties: [] };\n        clone.exposures.push(declaration);\n    }\n\n    const same = (candidate: ExposedProperty) => candidate.component === edit.property.component\n        && candidate.path === edit.property.path && candidate.reExposes === edit.property.reExposes;\n    const position = declaration.properties.findIndex(same);\n    if (position >= 0) declaration.properties[position] = cloneData(edit.property);\n    else declaration.properties.push(cloneData(edit.property));\n}\n\n/**\n * Applies an exposure withdrawal to a copy of the document. Values already saved against it are not touched.\n */\nexport function applyUnexposeProperty(session: EditSession, edit: UnexposePropertyEdit, clone: SceneDocument, diagnostics: SceneDiagnostic[]): void {\n    if (!ownsDeclaration(session, edit.owner, diagnostics)) return;\n\n    const declaration = clone.exposures.find(candidate => candidate.owner === edit.owner);\n    const remaining = declaration?.properties.filter(candidate => !(candidate.component === edit.component && candidate.path === edit.path));\n    if (!declaration || remaining!.length === declaration.properties.length) {\n        diagnostics.push(errorDiagnostic(DiagnosticCode.ExposureTargetMissing, `'${edit.owner}' does not expose '${edit.path}' on '${edit.component}'.`, { component: edit.component, path: edit.path }));\n        return;\n    }\n\n    if (remaining!.length === 0) clone.exposures.splice(clone.exposures.indexOf(declaration), 1);\n    else declaration.properties = remaining!;\n}\n"],"names":["ownsDeclaration","session","owner","diagnostics","level","chain","levels","at","push","errorDiagnostic","DiagnosticCode","NodeNotEditable","validateExposure","property","context","component","path","reExposed","reExposes","undefined","elements","some","candidate","id","ExposureTargetMissing","grant","scopeGrants","get","grantKey","ReExposureBroken","element","find","descriptor","findComponentDescriptor","catalog","componentName","properties","operations","valueType","PropertyValueType","Collection","length","editableFields","InvalidEdit","label","known","Object","values","CollectionOperation","unknown","operation","includes","fields","item","map","unknownField","field","UnknownCollectionField","ExposureWidensOwner","applyExposeProperty","edit","clone","declaration","exposures","same","position","findIndex","cloneData","applyUnexposeProperty","remaining","filter","splice","indexOf"],"mappings":";;;;;;;;AAAA;AACA;AAYA,SAASA,eAAAA,CAAgBC,OAAoB,EAAEC,KAAa,EAAEC,aAA8B,EAAA;IACxF,MAAMC,KAAAA,GAAQH,QAAQI,KAAK,CAACC,MAAM,CAACC,EAAE,CAAC,EAAC,CAAA;AACvC,IAAA,IAAI,CAACH,KAAAA,IAASA,KAAAA,CAAMF,KAAK,KAAKA,KAAAA,EAAO;QACjCC,aAAAA,CAAYK,IAAI,CAACC,2BAAAA,CAAgBC,0BAAAA,CAAeC,eAAe,EAAE,CAAC,yEAAyE,EAAET,KAAAA,CAAM,8BAA8B,CAAC,CAAA,CAAA;QAClL,OAAO,KAAA;AACX,IAAA;IAEA,OAAO,IAAA;AACX;AAEA,SAASU,gBAAAA,CAAiBX,OAAoB,EAAEY,QAAyB,EAAEV,aAA8B,EAAA;AACrG,IAAA,MAAMW,OAAAA,GAAU;AAAEC,QAAAA,SAAAA,EAAWF,SAASE,SAAS;AAAEC,QAAAA,IAAAA,EAAMH,SAASG;AAAK,KAAA;IACrE,MAAMZ,KAAAA,GAAQH,QAAQI,KAAK,CAACC,MAAM,CAACC,EAAE,CAAC,EAAC,CAAA;IACvC,MAAMU,SAAAA,GAAYJ,QAAAA,CAASK,SAAS,KAAKC,SAAAA;AAEzC,IAAA,IAAI,CAACF,SAAAA,IAAa,CAACb,KAAAA,CAAMgB,QAAQ,CAACC,IAAI,CAACC,CAAAA,YAAaA,SAAAA,CAAUC,EAAE,KAAKV,QAAAA,CAASE,SAAS,CAAA,EAAG;AACtFZ,QAAAA,aAAAA,CAAYK,IAAI,CAACC,2BAAAA,CAAgBC,2BAAec,qBAAqB,EAAE,CAAC,CAAC,EAAEpB,MAAMF,KAAK,CAAC,oBAAoB,EAAEW,QAAAA,CAASE,SAAS,CAAC,EAAE,CAAC,EAAED,OAAAA,CAAAA,CAAAA;QACrI,OAAO,KAAA;AACX,IAAA;AAEA,IAAA,MAAMW,KAAAA,GAAQR,SAAAA,GAAYhB,OAAAA,CAAQyB,WAAW,CAACC,GAAG,CAACC,uBAAAA,CAASf,QAAAA,CAASE,SAAS,EAAEF,QAAAA,CAASG,IAAI,CAAA,CAAA,GAAKG,SAAAA;IACjG,IAAIF,SAAAA,KAAc,CAACQ,KAAAA,IAASA,KAAAA,CAAMvB,KAAK,KAAKW,QAAAA,CAASK,SAAQ,CAAA,EAAI;AAC7Df,QAAAA,aAAAA,CAAYK,IAAI,CAACC,2BAAAA,CAAgBC,0BAAAA,CAAemB,gBAAgB,EAAE,CAAC,CAAC,EAAEhB,QAAAA,CAASK,SAAS,CAAC,mBAAmB,EAAEL,QAAAA,CAASG,IAAI,CAAC,MAAM,EAAEH,QAAAA,CAASE,SAAS,CAAC,MAAM,EAAEX,KAAAA,CAAMF,KAAK,CAAC,6BAA6B,CAAC,EAAEY,OAAAA,CAAAA,CAAAA;QAC3M,OAAO,KAAA;AACX,IAAA;AAEA,IAAA,MAAMgB,OAAAA,GAAU1B,KAAAA,CAAMgB,QAAQ,CAACW,IAAI,CAACT,CAAAA,SAAAA,GAAaA,SAAAA,CAAUC,EAAE,KAAKV,QAAAA,CAASE,SAAS,CAAA;IACpF,MAAMiB,UAAAA,GAAaP,QACbA,KAAAA,CAAMO,UAAU,GAChBC,yCAAAA,CAAwBhC,OAAAA,CAAQa,OAAO,CAACoB,OAAO,EAAEJ,QAASK,aAAa,CAAA,EAAGC,WAAWL,IAAAA,CAAKT,CAAAA,YAAaA,SAAAA,CAAUN,IAAI,KAAKH,QAAAA,CAASG,IAAI,CAAA;AAC7I,IAAA,IAAI,CAACgB,UAAAA,EAAY;AACb7B,QAAAA,aAAAA,CAAYK,IAAI,CAACC,2BAAAA,CAAgBC,2BAAec,qBAAqB,EAAE,CAAC,+BAA+B,EAAEX,SAASG,IAAI,CAAC,MAAM,EAAEH,QAAAA,CAASE,SAAS,CAAC,EAAE,CAAC,EAAED,OAAAA,CAAAA,CAAAA;QACvJ,OAAO,KAAA;AACX,IAAA;AAEA,IAAA,MAAMuB,UAAAA,GAAaxB,QAAAA,CAASwB,UAAU,IAAI,EAAE;AAC5C,IAAA,IAAIL,UAAAA,CAAWM,SAAS,KAAKC,6BAAAA,CAAkBC,UAAU,EAAE;AACvD,QAAA,IAAIH,WAAWI,MAAM,GAAG,KAAK5B,QAAAA,CAAS6B,cAAc,KAAKvB,SAAAA,EAAW;AAChEhB,YAAAA,aAAAA,CAAYK,IAAI,CAACC,2BAAAA,CAAgBC,0BAAAA,CAAeiC,WAAW,EAAE,CAAC,CAAC,EAAEX,UAAAA,CAAWY,KAAK,CAAC,sEAAsE,CAAC,EAAE9B,OAAAA,CAAAA,CAAAA;YAC3J,OAAO,KAAA;AACX,QAAA;QAEA,OAAO,IAAA;AACX,IAAA;IAEA,MAAM+B,KAAAA,GAAQC,MAAAA,CAAOC,MAAM,CAACC,+BAAAA,CAAAA;IAC5B,MAAMC,OAAAA,GAAUZ,WAAWN,IAAI,CAACmB,CAAAA,SAAAA,GAAa,CAACL,KAAAA,CAAMM,QAAQ,CAACD,SAAAA,CAAAA,CAAAA;AAC7D,IAAA,IAAID,YAAY9B,SAAAA,EAAW;AACvBhB,QAAAA,aAAAA,CAAYK,IAAI,CAACC,2BAAAA,CAAgBC,0BAAAA,CAAeiC,WAAW,EAAE,CAAC,CAAC,EAAEM,OAAAA,CAAQ,gCAAgC,CAAC,EAAEnC,OAAAA,CAAAA,CAAAA;QAC5G,OAAO,KAAA;AACX,IAAA;IAEA,MAAMsC,MAAAA,GAASpB,UAAAA,CAAWqB,IAAI,EAAEjB,UAAAA,CAAWkB,GAAAA,CAAIhC,CAAAA,SAAAA,GAAaA,SAAAA,CAAUN,IAAI,CAAA,IAAK,EAAE;IACjF,MAAMuC,YAAAA,GAAe1C,QAAAA,CAAS6B,cAAc,EAAEX,IAAAA,CAAKyB,CAAAA,KAAAA,GAAS,CAACJ,MAAAA,CAAOD,QAAQ,CAACK,KAAAA,CAAAA,CAAAA;AAC7E,IAAA,IAAID,iBAAiBpC,SAAAA,EAAW;AAC5BhB,QAAAA,aAAAA,CAAYK,IAAI,CAACC,2BAAAA,CAAgBC,0BAAAA,CAAe+C,sBAAsB,EAAE,CAAC,UAAU,EAAEzB,UAAAA,CAAWY,KAAK,CAAC,iBAAiB,EAAEW,YAAAA,CAAa,EAAE,CAAC,EAAEzC,OAAAA,CAAAA,CAAAA;QAC3I,OAAO,KAAA;AACX,IAAA;AAEA,IAAA,IAAIW,UAAUY,UAAAA,CAAWhB,IAAI,CAAC6B,CAAAA,SAAAA,GAAa,CAACzB,KAAAA,CAAMY,UAAU,CAACc,QAAQ,CAACD,SAAAA,CAAAA,CAAAA,IAC9DzB,KAAAA,CAAMiB,cAAc,KAAKvB,SAAAA,IAAa,CAACN,SAAS6B,cAAc,IAAIU,MAAK,EAAG/B,IAAI,CAACmC,CAAAA,KAAAA,GAAS,CAAC/B,MAAMiB,cAAc,CAAES,QAAQ,CAACK,OAAO,CAAA,EAAI;AACvIrD,QAAAA,aAAAA,CAAYK,IAAI,CAACC,2BAAAA,CAAgBC,2BAAegD,mBAAmB,EAAE,CAAC,CAAC,EAAE7C,SAASK,SAAS,CAAC,mBAAmB,EAAEc,UAAAA,CAAWY,KAAK,CAAC,uBAAuB,CAAC,EAAE9B,OAAAA,CAAAA,CAAAA;QAC5J,OAAO,KAAA;AACX,IAAA;IAEA,OAAO,IAAA;AACX;AAEA;;;;;IAMO,SAAS6C,mBAAAA,CAAoB1D,OAAoB,EAAE2D,IAAwB,EAAEC,KAAoB,EAAE1D,WAA8B,EAAA;AACpI,IAAA,IAAI,CAACH,eAAAA,CAAgBC,OAAAA,EAAS2D,IAAAA,CAAK1D,KAAK,EAAEC,WAAAA,CAAAA,IAAgB,CAACS,gBAAAA,CAAiBX,OAAAA,EAAS2D,IAAAA,CAAK/C,QAAQ,EAAEV,WAAAA,CAAAA,EAAc;AAElH,IAAA,IAAI2D,WAAAA,GAAcD,KAAAA,CAAME,SAAS,CAAChC,IAAI,CAACT,CAAAA,SAAAA,GAAaA,SAAAA,CAAUpB,KAAK,KAAK0D,IAAAA,CAAK1D,KAAK,CAAA;AAClF,IAAA,IAAI,CAAC4D,WAAAA,EAAa;QACdA,WAAAA,GAAc;AAAE5D,YAAAA,KAAAA,EAAO0D,KAAK1D,KAAK;AAAEkC,YAAAA,UAAAA,EAAY;AAAG,SAAA;QAClDyB,KAAAA,CAAME,SAAS,CAACvD,IAAI,CAACsD,WAAAA,CAAAA;AACzB,IAAA;IAEA,MAAME,IAAAA,GAAO,CAAC1C,SAAAA,GAA+BA,SAAAA,CAAUP,SAAS,KAAK6C,IAAAA,CAAK/C,QAAQ,CAACE,SAAS,IACrFO,SAAAA,CAAUN,IAAI,KAAK4C,IAAAA,CAAK/C,QAAQ,CAACG,IAAI,IAAIM,SAAAA,CAAUJ,SAAS,KAAK0C,IAAAA,CAAK/C,QAAQ,CAACK,SAAS;AAC/F,IAAA,MAAM+C,QAAAA,GAAWH,WAAAA,CAAY1B,UAAU,CAAC8B,SAAS,CAACF,IAAAA,CAAAA;IAClD,IAAIC,QAAAA,IAAY,GAAGH,WAAAA,CAAY1B,UAAU,CAAC6B,QAAAA,CAAS,GAAGE,oBAAAA,CAAUP,IAAAA,CAAK/C,QAAQ,CAAA;AACxEiD,SAAAA,WAAAA,CAAY1B,UAAU,CAAC5B,IAAI,CAAC2D,oBAAAA,CAAUP,KAAK/C,QAAQ,CAAA,CAAA;AAC5D;AAEA;;IAGO,SAASuD,qBAAAA,CAAsBnE,OAAoB,EAAE2D,IAA0B,EAAEC,KAAoB,EAAE1D,aAA8B,EAAA;AACxI,IAAA,IAAI,CAACH,eAAAA,CAAgBC,OAAAA,EAAS2D,IAAAA,CAAK1D,KAAK,EAAEC,aAAAA,CAAAA,EAAc;AAExD,IAAA,MAAM2D,WAAAA,GAAcD,KAAAA,CAAME,SAAS,CAAChC,IAAI,CAACT,CAAAA,SAAAA,GAAaA,SAAAA,CAAUpB,KAAK,KAAK0D,IAAAA,CAAK1D,KAAK,CAAA;AACpF,IAAA,MAAMmE,YAAYP,WAAAA,EAAa1B,UAAAA,CAAWkC,OAAOhD,CAAAA,SAAAA,GAAa,EAAEA,SAAAA,CAAUP,SAAS,KAAK6C,IAAAA,CAAK7C,SAAS,IAAIO,SAAAA,CAAUN,IAAI,KAAK4C,IAAAA,CAAK5C,IAAI,CAAD,CAAA;IACrI,IAAI,CAAC8C,eAAeO,SAAAA,CAAW5B,MAAM,KAAKqB,WAAAA,CAAY1B,UAAU,CAACK,MAAM,EAAE;QACrEtC,aAAAA,CAAYK,IAAI,CAACC,2BAAAA,CAAgBC,0BAAAA,CAAec,qBAAqB,EAAE,CAAC,CAAC,EAAEoC,IAAAA,CAAK1D,KAAK,CAAC,mBAAmB,EAAE0D,IAAAA,CAAK5C,IAAI,CAAC,MAAM,EAAE4C,KAAK7C,SAAS,CAAC,EAAE,CAAC,EAAE;AAAEA,YAAAA,SAAAA,EAAW6C,KAAK7C,SAAS;AAAEC,YAAAA,IAAAA,EAAM4C,KAAK5C;AAAK,SAAA,CAAA,CAAA;AAC9L,QAAA;AACJ,IAAA;AAEA,IAAA,IAAIqD,SAAAA,CAAW5B,MAAM,KAAK,CAAA,EAAGoB,MAAME,SAAS,CAACQ,MAAM,CAACV,KAAAA,CAAME,SAAS,CAACS,OAAO,CAACV,WAAAA,CAAAA,EAAc,CAAA,CAAA;AACrFA,SAAAA,WAAAA,CAAY1B,UAAU,GAAGiC,SAAAA;AAClC;;;"}

package/dist/cjs/editing/exposureGrants.js

@@ -0,0 +1,115 @@
+'use strict';
+
+var scene_model = require('@cratis/scene.model');
+var DescriptorCatalog = require('./DescriptorCatalog.js');
+var diagnostics = require('./diagnostics.js');
+
+// Copyright (c) Cratis. All rights reserved.
+// Licensed under the MIT license. See LICENSE file in the project root for full license information.
+/**
+ * The key a grant is stored under.
+ */ function grantKey(component, path) {
+    return `${component}\u0000${path}`;
+}
+function narrow(grant, reExposure) {
+    const requested = reExposure.operations ?? [];
+    const operations = requested.filter((operation)=>grant.operations.includes(operation));
+    const fields = grant.editableFields === undefined ? reExposure.editableFields : reExposure.editableFields === undefined ? grant.editableFields : reExposure.editableFields.filter((field)=>grant.editableFields.includes(field));
+    const widened = operations.length < requested.length || grant.editableFields !== undefined && reExposure.editableFields !== undefined && reExposure.editableFields.some((field)=>!grant.editableFields.includes(field));
+    return {
+        grant: {
+            ...grant,
+            operations,
+            editableFields: fields,
+            label: reExposure.label ?? grant.label
+        },
+        widened
+    };
+}
+/**
+ * Works out, for every instance in a chain, which properties it may configure.
+ *
+ * An owner's exposure reaches the instance directly inside it. It reaches further only through explicit
+ * re-exposure by every level in between, and each re-exposure can only narrow what it passes on - a nested
+ * template that lists more operations or fields than its owner granted gets the owner's, not its own.
+ *
+ * @param chain The chain to analyze.
+ * @param catalog The descriptors that say what each component supports.
+ */ function computeExposureGrants(chain, catalog) {
+    const result = {
+        exposed: [],
+        byInstance: new Map(),
+        diagnostics: []
+    };
+    for (const chainLevel of chain.levels)result.byInstance.set(chainLevel.instance, new Map());
+    const consumed = new Set();
+    chain.levels.forEach((owner, ownerLevel)=>{
+        for (const exposure of owner.exposures.filter((candidate)=>candidate.reExposes === undefined)){
+            const element = owner.elements.find((candidate)=>candidate.id === exposure.component);
+            if (!element) {
+                result.diagnostics.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.ExposureTargetMissing, `'${owner.owner}' exposes '${exposure.path}' on '${exposure.component}', but it has no such component.`, {
+                    component: exposure.component,
+                    path: exposure.path
+                }));
+                continue;
+            }
+            const descriptor = DescriptorCatalog.findComponentDescriptor(catalog, element.componentName);
+            if (!descriptor) {
+                result.diagnostics.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.MissingComponentDescriptor, `'${owner.owner}' exposes '${exposure.path}' on '${exposure.component}', but nothing describes the component '${element.componentName}'.`, {
+                    component: exposure.component,
+                    path: exposure.path
+                }));
+                continue;
+            }
+            const property = descriptor.properties.find((candidate)=>candidate.path === exposure.path);
+            if (!property) {
+                result.diagnostics.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.ExposureTargetMissing, `'${owner.owner}' exposes '${exposure.path}' on '${exposure.component}', but '${element.componentName}' no longer has that property.`, {
+                    component: exposure.component,
+                    path: exposure.path
+                }));
+                continue;
+            }
+            const isCollection = property.valueType === scene_model.PropertyValueType.Collection;
+            let current = {
+                component: exposure.component,
+                path: exposure.path,
+                descriptor: property,
+                owner: owner.owner,
+                ownerLevel,
+                operations: isCollection ? [
+                    ...new Set(exposure.operations ?? [])
+                ] : [],
+                editableFields: isCollection ? exposure.editableFields : undefined,
+                label: exposure.label
+            };
+            result.exposed.push(current);
+            for(let contributor = ownerLevel + 1; contributor < chain.levels.length; contributor++){
+                result.byInstance.get(chain.levels[contributor].instance).set(grantKey(exposure.component, exposure.path), current);
+                const reExposure = chain.levels[contributor].exposures.find((candidate)=>candidate.reExposes === owner.owner && candidate.component === exposure.component && candidate.path === exposure.path);
+                if (!reExposure) break;
+                consumed.add(reExposure);
+                const narrowed = narrow(current, reExposure);
+                if (narrowed.widened) {
+                    result.diagnostics.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.ExposureWidensOwner, `'${chain.levels[contributor].owner}' re-exposes more of '${exposure.path}' than '${owner.owner}' exposed; only what the owner granted is passed on.`, {
+                        component: exposure.component,
+                        path: exposure.path
+                    }));
+                }
+                current = narrowed.grant;
+            }
+        }
+    });
+    for (const chainLevel of chain.levels){
+        for (const reExposure of chainLevel.exposures.filter((candidate)=>candidate.reExposes !== undefined && !consumed.has(candidate))){
+            result.diagnostics.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.ReExposureBroken, `'${chainLevel.owner}' re-exposes '${reExposure.path}' on '${reExposure.component}' from '${reExposure.reExposes}', which does not expose it to this chain.`, {
+                component: reExposure.component,
+                path: reExposure.path
+            }));
+        }
+    }
+    return result;
+}
+
+exports.computeExposureGrants = computeExposureGrants;
+exports.grantKey = grantKey;
+//# sourceMappingURL=exposureGrants.js.map

package/dist/cjs/editing/exposureGrants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exposureGrants.js","sources":["../../../editing/exposureGrants.ts"],"sourcesContent":["// Copyright (c) Cratis. All rights reserved.\n// Licensed under the MIT license. See LICENSE file in the project root for full license information.\n\nimport {\n    CollectionOperation, DiagnosticCode, ExposedProperty, PropertyDescriptor, PropertyValueType, SceneDiagnostic,\n} from '@cratis/scene.model';\nimport { DescriptorCatalog, findComponentDescriptor } from './DescriptorCatalog';\nimport { errorDiagnostic } from './diagnostics';\nimport { TemplateChain } from './TemplateChain';\n\n/**\n * What one instance may configure on one property: the owner's exposure, narrowed by every re-exposure between the\n * owner and that instance.\n */\nexport interface ExposureGrant {\n    /** The id of the element that owns the property. */\n    component: string;\n\n    path: string;\n    descriptor: PropertyDescriptor;\n\n    /** The name of the layout or template that owns the element. */\n    owner: string;\n\n    /** The index of the owner in the chain. */\n    ownerLevel: number;\n\n    /** For a collection: what may be done to it. Empty for any other property. */\n    operations: CollectionOperation[];\n\n    /** For a collection: the item fields that may be changed; absent means all of them. */\n    editableFields?: string[];\n\n    label?: string;\n}\n\n/**\n * The outcome of working out who may configure what.\n */\nexport interface ExposureGrants {\n    /** Every valid exposure, one per owner-declared property, at the level of its owner. */\n    exposed: ExposureGrant[];\n\n    /** For each contributing instance id, what it may configure, keyed by {@link grantKey}. */\n    byInstance: Map<string, Map<string, ExposureGrant>>;\n\n    diagnostics: SceneDiagnostic[];\n}\n\n/**\n * The key a grant is stored under.\n */\nexport function grantKey(component: string, path: string): string {\n    return `${component}\\u0000${path}`;\n}\n\nfunction narrow(grant: ExposureGrant, reExposure: ExposedProperty): { grant: ExposureGrant; widened: boolean } {\n    const requested = reExposure.operations ?? [];\n    const operations = requested.filter(operation => grant.operations.includes(operation));\n    const fields = grant.editableFields === undefined\n        ? reExposure.editableFields\n        : (reExposure.editableFields === undefined ? grant.editableFields : reExposure.editableFields.filter(field => grant.editableFields!.includes(field)));\n\n    const widened = operations.length < requested.length\n        || (grant.editableFields !== undefined && reExposure.editableFields !== undefined && reExposure.editableFields.some(field => !grant.editableFields!.includes(field)));\n\n    return { grant: { ...grant, operations, editableFields: fields, label: reExposure.label ?? grant.label }, widened };\n}\n\n/**\n * Works out, for every instance in a chain, which properties it may configure.\n *\n * An owner's exposure reaches the instance directly inside it. It reaches further only through explicit\n * re-exposure by every level in between, and each re-exposure can only narrow what it passes on - a nested\n * template that lists more operations or fields than its owner granted gets the owner's, not its own.\n *\n * @param chain The chain to analyze.\n * @param catalog The descriptors that say what each component supports.\n */\nexport function computeExposureGrants(chain: TemplateChain, catalog: DescriptorCatalog): ExposureGrants {\n    const result: ExposureGrants = { exposed: [], byInstance: new Map(), diagnostics: [] };\n    for (const chainLevel of chain.levels) result.byInstance.set(chainLevel.instance, new Map());\n\n    const consumed = new Set<ExposedProperty>();\n\n    chain.levels.forEach((owner, ownerLevel) => {\n        for (const exposure of owner.exposures.filter(candidate => candidate.reExposes === undefined)) {\n            const element = owner.elements.find(candidate => candidate.id === exposure.component);\n            if (!element) {\n                result.diagnostics.push(errorDiagnostic(\n                    DiagnosticCode.ExposureTargetMissing,\n                    `'${owner.owner}' exposes '${exposure.path}' on '${exposure.component}', but it has no such component.`,\n                    { component: exposure.component, path: exposure.path }));\n                continue;\n            }\n\n            const descriptor = findComponentDescriptor(catalog, element.componentName);\n            if (!descriptor) {\n                result.diagnostics.push(errorDiagnostic(\n                    DiagnosticCode.MissingComponentDescriptor,\n                    `'${owner.owner}' exposes '${exposure.path}' on '${exposure.component}', but nothing describes the component '${element.componentName}'.`,\n                    { component: exposure.component, path: exposure.path }));\n                continue;\n            }\n\n            const property = descriptor.properties.find(candidate => candidate.path === exposure.path);\n            if (!property) {\n                result.diagnostics.push(errorDiagnostic(\n                    DiagnosticCode.ExposureTargetMissing,\n                    `'${owner.owner}' exposes '${exposure.path}' on '${exposure.component}', but '${element.componentName}' no longer has that property.`,\n                    { component: exposure.component, path: exposure.path }));\n                continue;\n            }\n\n            const isCollection = property.valueType === PropertyValueType.Collection;\n            let current: ExposureGrant = {\n                component: exposure.component,\n                path: exposure.path,\n                descriptor: property,\n                owner: owner.owner,\n                ownerLevel,\n                operations: isCollection ? [...new Set(exposure.operations ?? [])] : [],\n                editableFields: isCollection ? exposure.editableFields : undefined,\n                label: exposure.label,\n            };\n            result.exposed.push(current);\n\n            for (let contributor = ownerLevel + 1; contributor < chain.levels.length; contributor++) {\n                result.byInstance.get(chain.levels[contributor].instance)!.set(grantKey(exposure.component, exposure.path), current);\n\n                const reExposure = chain.levels[contributor].exposures.find(candidate =>\n                    candidate.reExposes === owner.owner && candidate.component === exposure.component && candidate.path === exposure.path);\n                if (!reExposure) break;\n\n                consumed.add(reExposure);\n                const narrowed = narrow(current, reExposure);\n                if (narrowed.widened) {\n                    result.diagnostics.push(errorDiagnostic(\n                        DiagnosticCode.ExposureWidensOwner,\n                        `'${chain.levels[contributor].owner}' re-exposes more of '${exposure.path}' than '${owner.owner}' exposed; only what the owner granted is passed on.`,\n                        { component: exposure.component, path: exposure.path }));\n                }\n\n                current = narrowed.grant;\n            }\n        }\n    });\n\n    for (const chainLevel of chain.levels) {\n        for (const reExposure of chainLevel.exposures.filter(candidate => candidate.reExposes !== undefined && !consumed.has(candidate))) {\n            result.diagnostics.push(errorDiagnostic(\n                DiagnosticCode.ReExposureBroken,\n                `'${chainLevel.owner}' re-exposes '${reExposure.path}' on '${reExposure.component}' from '${reExposure.reExposes}', which does not expose it to this chain.`,\n                { component: reExposure.component, path: reExposure.path }));\n        }\n    }\n\n    return result;\n}\n"],"names":["grantKey","component","path","narrow","grant","reExposure","requested","operations","filter","operation","includes","fields","editableFields","undefined","field","widened","length","some","label","computeExposureGrants","chain","catalog","result","exposed","byInstance","Map","diagnostics","chainLevel","levels","set","instance","consumed","Set","forEach","owner","ownerLevel","exposure","exposures","candidate","reExposes","element","elements","find","id","push","errorDiagnostic","DiagnosticCode","ExposureTargetMissing","descriptor","findComponentDescriptor","componentName","MissingComponentDescriptor","property","properties","isCollection","valueType","PropertyValueType","Collection","current","contributor","get","add","narrowed","ExposureWidensOwner","has","ReExposureBroken"],"mappings":";;;;;;AAAA;AACA;AAgDA;;AAEC,IACM,SAASA,QAAAA,CAASC,SAAiB,EAAEC,IAAY,EAAA;AACpD,IAAA,OAAO,CAAA,EAAGD,SAAAA,CAAU,MAAM,EAAEC,IAAAA,CAAAA,CAAM;AACtC;AAEA,SAASC,MAAAA,CAAOC,KAAoB,EAAEC,UAA2B,EAAA;AAC7D,IAAA,MAAMC,SAAAA,GAAYD,UAAAA,CAAWE,UAAU,IAAI,EAAE;IAC7C,MAAMA,UAAAA,GAAaD,SAAAA,CAAUE,MAAM,CAACC,CAAAA,YAAaL,KAAAA,CAAMG,UAAU,CAACG,QAAQ,CAACD,SAAAA,CAAAA,CAAAA;IAC3E,MAAME,MAAAA,GAASP,KAAAA,CAAMQ,cAAc,KAAKC,SAAAA,GAClCR,UAAAA,CAAWO,cAAc,GACxBP,UAAAA,CAAWO,cAAc,KAAKC,SAAAA,GAAYT,KAAAA,CAAMQ,cAAc,GAAGP,UAAAA,CAAWO,cAAc,CAACJ,MAAM,CAACM,CAAAA,KAAAA,GAASV,KAAAA,CAAMQ,cAAc,CAAEF,QAAQ,CAACI,KAAAA,CAAAA,CAAAA;IAEjJ,MAAMC,OAAAA,GAAUR,UAAAA,CAAWS,MAAM,GAAGV,SAAAA,CAAUU,MAAM,IAC5CZ,KAAAA,CAAMQ,cAAc,KAAKC,SAAAA,IAAaR,UAAAA,CAAWO,cAAc,KAAKC,SAAAA,IAAaR,UAAAA,CAAWO,cAAc,CAACK,IAAI,CAACH,CAAAA,KAAAA,GAAS,CAACV,KAAAA,CAAMQ,cAAc,CAAEF,QAAQ,CAACI,KAAAA,CAAAA,CAAAA;IAEjK,OAAO;QAAEV,KAAAA,EAAO;AAAE,YAAA,GAAGA,KAAK;AAAEG,YAAAA,UAAAA;YAAYK,cAAAA,EAAgBD,MAAAA;AAAQO,YAAAA,KAAAA,EAAOb,UAAAA,CAAWa,KAAK,IAAId,KAAAA,CAAMc;AAAM,SAAA;AAAGH,QAAAA;AAAQ,KAAA;AACtH;AAEA;;;;;;;;;AASC,IACM,SAASI,qBAAAA,CAAsBC,KAAoB,EAAEC,OAA0B,EAAA;AAClF,IAAA,MAAMC,MAAAA,GAAyB;AAAEC,QAAAA,OAAAA,EAAS,EAAE;AAAEC,QAAAA,UAAAA,EAAY,IAAIC,GAAAA,EAAAA;AAAOC,QAAAA,WAAAA,EAAa;AAAG,KAAA;AACrF,IAAA,KAAK,MAAMC,UAAAA,IAAcP,KAAAA,CAAMQ,MAAM,CAAEN,MAAAA,CAAOE,UAAU,CAACK,GAAG,CAACF,UAAAA,CAAWG,QAAQ,EAAE,IAAIL,GAAAA,EAAAA,CAAAA;AAEtF,IAAA,MAAMM,WAAW,IAAIC,GAAAA,EAAAA;AAErBZ,IAAAA,KAAAA,CAAMQ,MAAM,CAACK,OAAO,CAAC,CAACC,KAAAA,EAAOC,UAAAA,GAAAA;AACzB,QAAA,KAAK,MAAMC,QAAAA,IAAYF,KAAAA,CAAMG,SAAS,CAAC7B,MAAM,CAAC8B,CAAAA,SAAAA,GAAaA,SAAAA,CAAUC,SAAS,KAAK1B,SAAAA,CAAAA,CAAY;AAC3F,YAAA,MAAM2B,OAAAA,GAAUN,KAAAA,CAAMO,QAAQ,CAACC,IAAI,CAACJ,CAAAA,SAAAA,GAAaA,SAAAA,CAAUK,EAAE,KAAKP,QAAAA,CAASnC,SAAS,CAAA;AACpF,YAAA,IAAI,CAACuC,OAAAA,EAAS;gBACVlB,MAAAA,CAAOI,WAAW,CAACkB,IAAI,CAACC,2BAAAA,CACpBC,0BAAAA,CAAeC,qBAAqB,EACpC,CAAC,CAAC,EAAEb,KAAAA,CAAMA,KAAK,CAAC,WAAW,EAAEE,QAAAA,CAASlC,IAAI,CAAC,MAAM,EAAEkC,QAAAA,CAASnC,SAAS,CAAC,gCAAgC,CAAC,EACvG;AAAEA,oBAAAA,SAAAA,EAAWmC,SAASnC,SAAS;AAAEC,oBAAAA,IAAAA,EAAMkC,SAASlC;AAAK,iBAAA,CAAA,CAAA;AACzD,gBAAA;AACJ,YAAA;AAEA,YAAA,MAAM8C,UAAAA,GAAaC,yCAAAA,CAAwB5B,OAAAA,EAASmB,OAAAA,CAAQU,aAAa,CAAA;AACzE,YAAA,IAAI,CAACF,UAAAA,EAAY;AACb1B,gBAAAA,MAAAA,CAAOI,WAAW,CAACkB,IAAI,CAACC,2BAAAA,CACpBC,0BAAAA,CAAeK,0BAA0B,EACzC,CAAC,CAAC,EAAEjB,KAAAA,CAAMA,KAAK,CAAC,WAAW,EAAEE,QAAAA,CAASlC,IAAI,CAAC,MAAM,EAAEkC,SAASnC,SAAS,CAAC,wCAAwC,EAAEuC,OAAAA,CAAQU,aAAa,CAAC,EAAE,CAAC,EACzI;AAAEjD,oBAAAA,SAAAA,EAAWmC,SAASnC,SAAS;AAAEC,oBAAAA,IAAAA,EAAMkC,SAASlC;AAAK,iBAAA,CAAA,CAAA;AACzD,gBAAA;AACJ,YAAA;AAEA,YAAA,MAAMkD,QAAAA,GAAWJ,UAAAA,CAAWK,UAAU,CAACX,IAAI,CAACJ,CAAAA,SAAAA,GAAaA,SAAAA,CAAUpC,IAAI,KAAKkC,QAAAA,CAASlC,IAAI,CAAA;AACzF,YAAA,IAAI,CAACkD,QAAAA,EAAU;AACX9B,gBAAAA,MAAAA,CAAOI,WAAW,CAACkB,IAAI,CAACC,2BAAAA,CACpBC,0BAAAA,CAAeC,qBAAqB,EACpC,CAAC,CAAC,EAAEb,KAAAA,CAAMA,KAAK,CAAC,WAAW,EAAEE,QAAAA,CAASlC,IAAI,CAAC,MAAM,EAAEkC,SAASnC,SAAS,CAAC,QAAQ,EAAEuC,OAAAA,CAAQU,aAAa,CAAC,8BAA8B,CAAC,EACrI;AAAEjD,oBAAAA,SAAAA,EAAWmC,SAASnC,SAAS;AAAEC,oBAAAA,IAAAA,EAAMkC,SAASlC;AAAK,iBAAA,CAAA,CAAA;AACzD,gBAAA;AACJ,YAAA;AAEA,YAAA,MAAMoD,YAAAA,GAAeF,QAAAA,CAASG,SAAS,KAAKC,8BAAkBC,UAAU;AACxE,YAAA,IAAIC,OAAAA,GAAyB;AACzBzD,gBAAAA,SAAAA,EAAWmC,SAASnC,SAAS;AAC7BC,gBAAAA,IAAAA,EAAMkC,SAASlC,IAAI;gBACnB8C,UAAAA,EAAYI,QAAAA;AACZlB,gBAAAA,KAAAA,EAAOA,MAAMA,KAAK;AAClBC,gBAAAA,UAAAA;AACA5B,gBAAAA,UAAAA,EAAY+C,YAAAA,GAAe;AAAI,oBAAA,GAAA,IAAItB,GAAAA,CAAII,QAAAA,CAAS7B,UAAU,IAAI,EAAE;AAAE,iBAAA,GAAG,EAAE;gBACvEK,cAAAA,EAAgB0C,YAAAA,GAAelB,QAAAA,CAASxB,cAAc,GAAGC,SAAAA;AACzDK,gBAAAA,KAAAA,EAAOkB,SAASlB;AACpB,aAAA;YACAI,MAAAA,CAAOC,OAAO,CAACqB,IAAI,CAACc,OAAAA,CAAAA;YAEpB,IAAK,IAAIC,WAAAA,GAAcxB,UAAAA,GAAa,CAAA,EAAGwB,WAAAA,GAAcvC,MAAMQ,MAAM,CAACZ,MAAM,EAAE2C,WAAAA,EAAAA,CAAe;AACrFrC,gBAAAA,MAAAA,CAAOE,UAAU,CAACoC,GAAG,CAACxC,KAAAA,CAAMQ,MAAM,CAAC+B,WAAAA,CAAY,CAAC7B,QAAQ,CAAA,CAAGD,GAAG,CAAC7B,QAAAA,CAASoC,QAAAA,CAASnC,SAAS,EAAEmC,QAAAA,CAASlC,IAAI,CAAA,EAAGwD,OAAAA,CAAAA;AAE5G,gBAAA,MAAMrD,UAAAA,GAAae,KAAAA,CAAMQ,MAAM,CAAC+B,WAAAA,CAAY,CAACtB,SAAS,CAACK,IAAI,CAACJ,CAAAA,SAAAA,GACxDA,SAAAA,CAAUC,SAAS,KAAKL,KAAAA,CAAMA,KAAK,IAAII,SAAAA,CAAUrC,SAAS,KAAKmC,QAAAA,CAASnC,SAAS,IAAIqC,SAAAA,CAAUpC,IAAI,KAAKkC,QAAAA,CAASlC,IAAI,CAAA;AACzH,gBAAA,IAAI,CAACG,UAAAA,EAAY;AAEjB0B,gBAAAA,QAAAA,CAAS8B,GAAG,CAACxD,UAAAA,CAAAA;gBACb,MAAMyD,QAAAA,GAAW3D,OAAOuD,OAAAA,EAASrD,UAAAA,CAAAA;gBACjC,IAAIyD,QAAAA,CAAS/C,OAAO,EAAE;AAClBO,oBAAAA,MAAAA,CAAOI,WAAW,CAACkB,IAAI,CAACC,2BAAAA,CACpBC,0BAAAA,CAAeiB,mBAAmB,EAClC,CAAC,CAAC,EAAE3C,KAAAA,CAAMQ,MAAM,CAAC+B,WAAAA,CAAY,CAACzB,KAAK,CAAC,sBAAsB,EAAEE,QAAAA,CAASlC,IAAI,CAAC,QAAQ,EAAEgC,KAAAA,CAAMA,KAAK,CAAC,oDAAoD,CAAC,EACrJ;AAAEjC,wBAAAA,SAAAA,EAAWmC,SAASnC,SAAS;AAAEC,wBAAAA,IAAAA,EAAMkC,SAASlC;AAAK,qBAAA,CAAA,CAAA;AAC7D,gBAAA;AAEAwD,gBAAAA,OAAAA,GAAUI,SAAS1D,KAAK;AAC5B,YAAA;AACJ,QAAA;AACJ,IAAA,CAAA,CAAA;AAEA,IAAA,KAAK,MAAMuB,UAAAA,IAAcP,KAAAA,CAAMQ,MAAM,CAAE;AACnC,QAAA,KAAK,MAAMvB,UAAAA,IAAcsB,UAAAA,CAAWU,SAAS,CAAC7B,MAAM,CAAC8B,CAAAA,SAAAA,GAAaA,SAAAA,CAAUC,SAAS,KAAK1B,SAAAA,IAAa,CAACkB,QAAAA,CAASiC,GAAG,CAAC1B,SAAAA,CAAAA,CAAAA,CAAa;AAC9HhB,YAAAA,MAAAA,CAAOI,WAAW,CAACkB,IAAI,CAACC,2BAAAA,CACpBC,0BAAAA,CAAemB,gBAAgB,EAC/B,CAAC,CAAC,EAAEtC,UAAAA,CAAWO,KAAK,CAAC,cAAc,EAAE7B,UAAAA,CAAWH,IAAI,CAAC,MAAM,EAAEG,WAAWJ,SAAS,CAAC,QAAQ,EAAEI,UAAAA,CAAWkC,SAAS,CAAC,0CAA0C,CAAC,EAC5J;AAAEtC,gBAAAA,SAAAA,EAAWI,WAAWJ,SAAS;AAAEC,gBAAAA,IAAAA,EAAMG,WAAWH;AAAK,aAAA,CAAA,CAAA;AACjE,QAAA;AACJ,IAAA;IAEA,OAAOoB,MAAAA;AACX;;;"}

package/dist/cjs/editing/iconDiagnostics.js

@@ -0,0 +1,103 @@
+'use strict';
+
+var scene_model = require('@cratis/scene.model');
+
+// Copyright (c) Cratis. All rights reserved.
+// Licensed under the MIT license. See LICENSE file in the project root for full license information.
+const codes = {
+    'missing-library': scene_model.DiagnosticCode.MissingIconLibrary,
+    'missing-icon': scene_model.DiagnosticCode.MissingIcon,
+    'missing-variant': scene_model.DiagnosticCode.MissingIconVariant,
+    'incompatible-version': scene_model.DiagnosticCode.IncompatibleIconLibrary,
+    'catalog-unavailable': scene_model.DiagnosticCode.IconCatalogUnavailable
+};
+/**
+ * Checks one icon value against the effective icon catalog.
+ *
+ * Nothing is rewritten or dropped: this only reports. A value whose library, icon or variant is missing, or
+ * whose library is at an incompatible version, produces a diagnostic of the given severity - an error when
+ * the value is being *set* (the edit is refused), a warning when it is already stored (it is kept, and
+ * applies again if the icon comes back). A value that cannot be judged yet, because its library's catalog has
+ * not been loaded, produces an `IconNotVerified` warning rather than silently passing.
+ *
+ * @param catalog The effective catalog of the profile being edited.
+ * @param value The value; anything that is not an icon reference is left to `validateValue`.
+ * @param severity How serious a definite problem is.
+ * @param context What the diagnostic is about.
+ */ function iconProblem(catalog, value, severity, context) {
+    if (!scene_model.isIconReference(value)) return undefined;
+    const resolution = catalog.lookup(value);
+    if (resolution === undefined) {
+        return {
+            code: scene_model.DiagnosticCode.IconNotVerified,
+            severity: scene_model.DiagnosticSeverity.Warning,
+            message: `The catalog of the icon library '${value.library}' is not loaded, so '${value.key}' could not be verified.`,
+            ...context
+        };
+    }
+    return resolution.isResolved ? undefined : {
+        code: codes[resolution.diagnostic.kind],
+        severity,
+        message: `${resolution.diagnostic.message}.`,
+        ...context
+    };
+}
+/**
+ * Checks the icon fields of collection items.
+ *
+ * @param itemDescriptor What the items look like.
+ * @param items The items, each with its id and field values.
+ */ function iconProblemsOfItems(catalog, itemDescriptor, items, severity, context) {
+    const iconFields = (itemDescriptor?.properties ?? []).filter((field)=>field.valueType === scene_model.PropertyValueType.Icon);
+    return items.flatMap((item)=>iconFields.flatMap((field)=>{
+            const problem = iconProblem(catalog, item.values[field.path], severity, {
+                ...context,
+                itemId: item.id,
+                ...item.instance === undefined ? {} : {
+                    instance: item.instance
+                }
+            });
+            return problem ? [
+                {
+                    ...problem,
+                    message: `'${field.label}' of '${item.id}': ${problem.message}`
+                }
+            ] : [];
+        }));
+}
+/**
+ * Checks a property's value - an icon, or a collection whose items have icon fields - against the effective icon
+ * catalog. Any other kind of property has nothing to check.
+ *
+ * @param descriptor The property.
+ * @param value The value; for a collection, the flat items (`{ id, ...fields }`) as they are stored.
+ */ function iconProblemsOfProperty(catalog, descriptor, value, severity, context) {
+    if (descriptor.valueType === scene_model.PropertyValueType.Icon) {
+        const problem = iconProblem(catalog, value, severity, {
+            ...context,
+            path: descriptor.path
+        });
+        return problem ? [
+            {
+                ...problem,
+                message: `'${descriptor.label}': ${problem.message}`
+            }
+        ] : [];
+    }
+    if (descriptor.valueType === scene_model.PropertyValueType.Collection && Array.isArray(value)) {
+        const items = value.filter((item)=>item !== null && typeof item === 'object').map(({ id, ...values })=>({
+                id: String(id),
+                values
+            }));
+        return iconProblemsOfItems(catalog, descriptor.item, items, severity, {
+            ...context,
+            path: descriptor.path
+        });
+    }
+    return [];
+}
+
+exports.iconProblem = iconProblem;
+exports.iconProblemsOfItems = iconProblemsOfItems;
+exports.iconProblemsOfProperty = iconProblemsOfProperty;
+//# sourceMappingURL=iconDiagnostics.js.map

package/dist/cjs/editing/iconDiagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"iconDiagnostics.js","sources":["../../../editing/iconDiagnostics.ts"],"sourcesContent":["// Copyright (c) Cratis. All rights reserved.\n// Licensed under the MIT license. See LICENSE file in the project root for full license information.\n\nimport { CollectionItemDescriptor, DiagnosticCode, DiagnosticSeverity, PropertyDescriptor, PropertyValueType, SceneDiagnostic, isIconReference } from '@cratis/scene.model';\nimport { EffectiveIconCatalog } from '../icons/EffectiveIconCatalog';\nimport { IconDiagnosticKind } from '../icons/IconDiagnostic';\nimport { DiagnosticContext } from './diagnostics';\n\nconst codes: Record<IconDiagnosticKind, DiagnosticCode> = {\n    'missing-library': DiagnosticCode.MissingIconLibrary,\n    'missing-icon': DiagnosticCode.MissingIcon,\n    'missing-variant': DiagnosticCode.MissingIconVariant,\n    'incompatible-version': DiagnosticCode.IncompatibleIconLibrary,\n    'catalog-unavailable': DiagnosticCode.IconCatalogUnavailable,\n};\n\n/**\n * Checks one icon value against the effective icon catalog.\n *\n * Nothing is rewritten or dropped: this only reports. A value whose library, icon or variant is missing, or\n * whose library is at an incompatible version, produces a diagnostic of the given severity - an error when\n * the value is being *set* (the edit is refused), a warning when it is already stored (it is kept, and\n * applies again if the icon comes back). A value that cannot be judged yet, because its library's catalog has\n * not been loaded, produces an `IconNotVerified` warning rather than silently passing.\n *\n * @param catalog The effective catalog of the profile being edited.\n * @param value The value; anything that is not an icon reference is left to `validateValue`.\n * @param severity How serious a definite problem is.\n * @param context What the diagnostic is about.\n */\nexport function iconProblem(catalog: EffectiveIconCatalog, value: unknown, severity: DiagnosticSeverity, context: DiagnosticContext): SceneDiagnostic | undefined {\n    if (!isIconReference(value)) return undefined;\n\n    const resolution = catalog.lookup(value);\n    if (resolution === undefined) {\n        return {\n            code: DiagnosticCode.IconNotVerified,\n            severity: DiagnosticSeverity.Warning,\n            message: `The catalog of the icon library '${value.library}' is not loaded, so '${value.key}' could not be verified.`,\n            ...context,\n        };\n    }\n\n    return resolution.isResolved ? undefined : { code: codes[resolution.diagnostic.kind], severity, message: `${resolution.diagnostic.message}.`, ...context };\n}\n\n/**\n * Checks the icon fields of collection items.\n *\n * @param itemDescriptor What the items look like.\n * @param items The items, each with its id and field values.\n */\nexport function iconProblemsOfItems(\n    catalog: EffectiveIconCatalog,\n    itemDescriptor: CollectionItemDescriptor | undefined,\n    items: { id: string; values: Record<string, unknown>; instance?: string }[],\n    severity: DiagnosticSeverity,\n    context: DiagnosticContext\n): SceneDiagnostic[] {\n    const iconFields = (itemDescriptor?.properties ?? []).filter((field) => field.valueType === PropertyValueType.Icon);\n    return items.flatMap((item) =>\n        iconFields.flatMap((field) => {\n            const problem = iconProblem(catalog, item.values[field.path], severity, { ...context, itemId: item.id, ...(item.instance === undefined ? {} : { instance: item.instance }) });\n            return problem ? [{ ...problem, message: `'${field.label}' of '${item.id}': ${problem.message}` }] : [];\n        })\n    );\n}\n\n/**\n * Checks a property's value - an icon, or a collection whose items have icon fields - against the effective icon\n * catalog. Any other kind of property has nothing to check.\n *\n * @param descriptor The property.\n * @param value The value; for a collection, the flat items (`{ id, ...fields }`) as they are stored.\n */\nexport function iconProblemsOfProperty(catalog: EffectiveIconCatalog, descriptor: PropertyDescriptor, value: unknown, severity: DiagnosticSeverity, context: DiagnosticContext): SceneDiagnostic[] {\n    if (descriptor.valueType === PropertyValueType.Icon) {\n        const problem = iconProblem(catalog, value, severity, { ...context, path: descriptor.path });\n        return problem ? [{ ...problem, message: `'${descriptor.label}': ${problem.message}` }] : [];\n    }\n\n    if (descriptor.valueType === PropertyValueType.Collection && Array.isArray(value)) {\n        const items = value\n            .filter((item): item is Record<string, unknown> => item !== null && typeof item === 'object')\n            .map(({ id, ...values }) => ({ id: String(id), values }));\n        return iconProblemsOfItems(catalog, descriptor.item, items, severity, { ...context, path: descriptor.path });\n    }\n\n    return [];\n}\n"],"names":["codes","DiagnosticCode","MissingIconLibrary","MissingIcon","MissingIconVariant","IncompatibleIconLibrary","IconCatalogUnavailable","iconProblem","catalog","value","severity","context","isIconReference","undefined","resolution","lookup","code","IconNotVerified","DiagnosticSeverity","Warning","message","library","key","isResolved","diagnostic","kind","iconProblemsOfItems","itemDescriptor","items","iconFields","properties","filter","field","valueType","PropertyValueType","Icon","flatMap","item","problem","values","path","itemId","id","instance","label","iconProblemsOfProperty","descriptor","Collection","Array","isArray","map","String"],"mappings":";;;;AAAA;AACA;AAOA,MAAMA,KAAAA,GAAoD;AACtD,IAAA,iBAAA,EAAmBC,2BAAeC,kBAAkB;AACpD,IAAA,cAAA,EAAgBD,2BAAeE,WAAW;AAC1C,IAAA,iBAAA,EAAmBF,2BAAeG,kBAAkB;AACpD,IAAA,sBAAA,EAAwBH,2BAAeI,uBAAuB;AAC9D,IAAA,qBAAA,EAAuBJ,2BAAeK;AAC1C,CAAA;AAEA;;;;;;;;;;;;;IAcO,SAASC,WAAAA,CAAYC,OAA6B,EAAEC,KAAc,EAAEC,QAA4B,EAAEC,OAA0B,EAAA;IAC/H,IAAI,CAACC,2BAAAA,CAAgBH,KAAAA,CAAAA,EAAQ,OAAOI,SAAAA;IAEpC,MAAMC,UAAAA,GAAaN,OAAAA,CAAQO,MAAM,CAACN,KAAAA,CAAAA;AAClC,IAAA,IAAIK,eAAeD,SAAAA,EAAW;QAC1B,OAAO;AACHG,YAAAA,IAAAA,EAAMf,2BAAegB,eAAe;AACpCP,YAAAA,QAAAA,EAAUQ,+BAAmBC,OAAO;AACpCC,YAAAA,OAAAA,EAAS,CAAC,iCAAiC,EAAEX,KAAAA,CAAMY,OAAO,CAAC,qBAAqB,EAAEZ,KAAAA,CAAMa,GAAG,CAAC,wBAAwB,CAAC;AACrH,YAAA,GAAGX;AACP,SAAA;AACJ,IAAA;IAEA,OAAOG,UAAAA,CAAWS,UAAU,GAAGV,SAAAA,GAAY;AAAEG,QAAAA,IAAAA,EAAMhB,KAAK,CAACc,UAAAA,CAAWU,UAAU,CAACC,IAAI,CAAC;AAAEf,QAAAA,QAAAA;AAAUU,QAAAA,OAAAA,EAAS,GAAGN,UAAAA,CAAWU,UAAU,CAACJ,OAAO,CAAC,CAAC,CAAC;AAAE,QAAA,GAAGT;AAAQ,KAAA;AAC7J;AAEA;;;;;IAMO,SAASe,mBAAAA,CACZlB,OAA6B,EAC7BmB,cAAoD,EACpDC,KAA2E,EAC3ElB,QAA4B,EAC5BC,OAA0B,EAAA;AAE1B,IAAA,MAAMkB,aAAa,CAACF,cAAAA,EAAgBG,UAAAA,IAAc,EAAE,EAAEC,MAAM,CAAC,CAACC,KAAAA,GAAUA,KAAAA,CAAMC,SAAS,KAAKC,8BAAkBC,IAAI,CAAA;IAClH,OAAOP,KAAAA,CAAMQ,OAAO,CAAC,CAACC,OAClBR,UAAAA,CAAWO,OAAO,CAAC,CAACJ,KAAAA,GAAAA;YAChB,MAAMM,OAAAA,GAAU/B,WAAAA,CAAYC,OAAAA,EAAS6B,IAAAA,CAAKE,MAAM,CAACP,KAAAA,CAAMQ,IAAI,CAAC,EAAE9B,QAAAA,EAAU;AAAE,gBAAA,GAAGC,OAAO;AAAE8B,gBAAAA,MAAAA,EAAQJ,KAAKK,EAAE;AAAE,gBAAA,GAAIL,IAAAA,CAAKM,QAAQ,KAAK9B,SAAAA,GAAY,EAAC,GAAI;AAAE8B,oBAAAA,QAAAA,EAAUN,KAAKM;;AAAY,aAAA,CAAA;AAC3K,YAAA,OAAOL,OAAAA,GAAU;AAAC,gBAAA;AAAE,oBAAA,GAAGA,OAAO;AAAElB,oBAAAA,OAAAA,EAAS,CAAC,CAAC,EAAEY,KAAAA,CAAMY,KAAK,CAAC,MAAM,EAAEP,IAAAA,CAAKK,EAAE,CAAC,GAAG,EAAEJ,OAAAA,CAAQlB,OAAO,CAAA;AAAG;AAAE,aAAA,GAAG,EAAE;AAC3G,QAAA,CAAA,CAAA,CAAA;AAER;AAEA;;;;;;IAOO,SAASyB,sBAAAA,CAAuBrC,OAA6B,EAAEsC,UAA8B,EAAErC,KAAc,EAAEC,QAA4B,EAAEC,OAA0B,EAAA;AAC1K,IAAA,IAAImC,UAAAA,CAAWb,SAAS,KAAKC,6BAAAA,CAAkBC,IAAI,EAAE;AACjD,QAAA,MAAMG,OAAAA,GAAU/B,WAAAA,CAAYC,OAAAA,EAASC,KAAAA,EAAOC,QAAAA,EAAU;AAAE,YAAA,GAAGC,OAAO;AAAE6B,YAAAA,IAAAA,EAAMM,WAAWN;AAAK,SAAA,CAAA;AAC1F,QAAA,OAAOF,OAAAA,GAAU;AAAC,YAAA;AAAE,gBAAA,GAAGA,OAAO;gBAAElB,OAAAA,EAAS,CAAC,CAAC,EAAE0B,UAAAA,CAAWF,KAAK,CAAC,GAAG,EAAEN,OAAAA,CAAQlB,OAAO,CAAA;AAAG;AAAE,SAAA,GAAG,EAAE;AAChG,IAAA;IAEA,IAAI0B,UAAAA,CAAWb,SAAS,KAAKC,6BAAAA,CAAkBa,UAAU,IAAIC,KAAAA,CAAMC,OAAO,CAACxC,KAAAA,CAAAA,EAAQ;QAC/E,MAAMmB,KAAAA,GAAQnB,MACTsB,MAAM,CAAC,CAACM,IAAAA,GAA0CA,IAAAA,KAAS,QAAQ,OAAOA,IAAAA,KAAS,UACnFa,GAAG,CAAC,CAAC,EAAER,EAAE,EAAE,GAAGH,MAAAA,EAAQ,IAAM;AAAEG,gBAAAA,EAAAA,EAAIS,MAAAA,CAAOT,EAAAA,CAAAA;AAAKH,gBAAAA;aAAO,CAAA,CAAA;AAC1D,QAAA,OAAOb,oBAAoBlB,OAAAA,EAASsC,UAAAA,CAAWT,IAAI,EAAET,OAAOlB,QAAAA,EAAU;AAAE,YAAA,GAAGC,OAAO;AAAE6B,YAAAA,IAAAA,EAAMM,WAAWN;AAAK,SAAA,CAAA;AAC9G,IAAA;AAEA,IAAA,OAAO,EAAE;AACb;;;;"}