@cratis/scene.engine 4.2.0 → 4.3.0

package/dist/cjs/editing/resolveTemplateChain.js

@@ -0,0 +1,100 @@
+'use strict';
+
+var scene_model = require('@cratis/scene.model');
+var resolveScreenTemplates = require('../resolveScreenTemplates.js');
+var collectComponents = require('./collectComponents.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.
+function exposuresOf(document, owner) {
+    return document.exposures.find((declaration)=>declaration.owner === owner)?.properties ?? [];
+}
+function level(document, kind, prefix, owner) {
+    return {
+        owner: owner.name,
+        kind,
+        instance: `${prefix}:${owner.name}`,
+        elements: collectComponents.collectComponents(owner),
+        exposures: exposuresOf(document, owner.name)
+    };
+}
+function templateLevels(document, layout, template, chain) {
+    const placements = resolveScreenTemplates.resolveScreenTemplates(layout, document.screenTemplates).placements;
+    const ancestry = [
+        template
+    ];
+    let current = template.name;
+    for(let guard = 0; guard <= document.screenTemplates.length; guard++){
+        const placement = placements.find((candidate)=>candidate.template === current);
+        if (!placement || placement.container === layout.name) break;
+        const parent = document.screenTemplates.find((candidate)=>candidate.name === placement.container);
+        if (!parent) break;
+        ancestry.unshift(parent);
+        current = parent.name;
+    }
+    if (!placements.some((placement)=>placement.template === ancestry[0].name)) {
+        chain.diagnostics.push(diagnostics.warningDiagnostic(scene_model.DiagnosticCode.UnknownScope, `The template '${ancestry[0].name}' could not be placed in the layout '${layout.name}', so nothing outside it is part of the chain.`));
+        return ancestry.slice(-1).map((item)=>level(document, scene_model.SceneNodeKind.ScreenTemplate, 'template', item));
+    }
+    return ancestry.map((item)=>level(document, scene_model.SceneNodeKind.ScreenTemplate, 'template', item));
+}
+/**
+ * Assembles the chain of owners an editing scope sits inside: the layout, each template down to the one the
+ * scope is in, and the scope itself.
+ *
+ * The same chain feeds {@link resolveEffectiveConfiguration} for the runtime and the editor, so both see the same
+ * nesting. A scope that cannot be found yields an empty chain with an error diagnostic.
+ *
+ * @param document The document to read.
+ * @param scope What is being edited.
+ * @returns The chain, outermost first.
+ */ function resolveTemplateChain(document, scope) {
+    const chain = {
+        levels: [],
+        diagnostics: []
+    };
+    switch(scope.kind){
+        case scene_model.EditingScopeKind.Layout:
+            {
+                const layout = document.layouts.find((candidate)=>candidate.name === scope.name);
+                if (layout) chain.levels.push(level(document, scene_model.SceneNodeKind.Layout, 'layout', layout));
+                break;
+            }
+        case scene_model.EditingScopeKind.DialogTemplate:
+            {
+                const dialog = document.dialogTemplates.find((candidate)=>candidate.name === scope.name);
+                if (dialog) chain.levels.push(level(document, scene_model.SceneNodeKind.DialogTemplate, 'dialog', dialog));
+                break;
+            }
+        case scene_model.EditingScopeKind.ScreenTemplate:
+            {
+                const template = document.screenTemplates.find((candidate)=>candidate.name === scope.name);
+                const layout = document.layouts.find((candidate)=>candidate.name === scope.layout) ?? (scope.layout === undefined && document.layouts.length === 1 ? document.layouts[0] : undefined);
+                if (template && layout) {
+                    chain.levels.push(level(document, scene_model.SceneNodeKind.Layout, 'layout', layout), ...templateLevels(document, layout, template, chain));
+                } else if (template) {
+                    chain.levels.push(level(document, scene_model.SceneNodeKind.ScreenTemplate, 'template', template));
+                }
+                break;
+            }
+        default:
+            {
+                const screen = document.screens.find((candidate)=>candidate.name === scope.name);
+                if (!screen) break;
+                const layout = document.layouts.find((candidate)=>candidate.name === screen.layout);
+                const template = screen.screenTemplate === undefined ? undefined : document.screenTemplates.find((candidate)=>candidate.name === screen.screenTemplate);
+                if (layout) chain.levels.push(level(document, scene_model.SceneNodeKind.Layout, 'layout', layout));
+                if (layout && template) chain.levels.push(...templateLevels(document, layout, template, chain));
+                else if (template) chain.levels.push(level(document, scene_model.SceneNodeKind.ScreenTemplate, 'template', template));
+                chain.levels.push(level(document, scene_model.SceneNodeKind.Screen, 'screen', screen));
+            }
+    }
+    if (chain.levels.length === 0) {
+        chain.diagnostics.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.UnknownScope, `There is no ${scope.kind} named '${scope.name}'.`));
+    }
+    return chain;
+}
+
+exports.resolveTemplateChain = resolveTemplateChain;
+//# sourceMappingURL=resolveTemplateChain.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"resolveTemplateChain.js","sources":["../../../editing/resolveTemplateChain.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    DiagnosticCode, DialogTemplate, EditingScope, EditingScopeKind, ExposedProperty, Layout, SceneDocument,\n    SceneNodeKind, Screen, ScreenTemplate,\n} from '@cratis/scene.model';\nimport { resolveScreenTemplates } from '../resolveScreenTemplates';\nimport { collectComponents } from './collectComponents';\nimport { errorDiagnostic, warningDiagnostic } from './diagnostics';\nimport { TemplateChain, TemplateChainLevel } from './TemplateChain';\n\nfunction exposuresOf(document: SceneDocument, owner: string): ExposedProperty[] {\n    return document.exposures.find(declaration => declaration.owner === owner)?.properties ?? [];\n}\n\nfunction level(document: SceneDocument, kind: SceneNodeKind, prefix: string, owner: Layout | ScreenTemplate | DialogTemplate | Screen): TemplateChainLevel {\n    return {\n        owner: owner.name,\n        kind,\n        instance: `${prefix}:${owner.name}`,\n        elements: collectComponents(owner),\n        exposures: exposuresOf(document, owner.name),\n    };\n}\n\nfunction templateLevels(document: SceneDocument, layout: Layout, template: ScreenTemplate, chain: TemplateChain): TemplateChainLevel[] {\n    const placements = resolveScreenTemplates(layout, document.screenTemplates).placements;\n    const ancestry: ScreenTemplate[] = [template];\n\n    let current = template.name;\n    for (let guard = 0; guard <= document.screenTemplates.length; guard++) {\n        const placement = placements.find(candidate => candidate.template === current);\n        if (!placement || placement.container === layout.name) break;\n\n        const parent = document.screenTemplates.find(candidate => candidate.name === placement.container);\n        if (!parent) break;\n        ancestry.unshift(parent);\n        current = parent.name;\n    }\n\n    if (!placements.some(placement => placement.template === ancestry[0].name)) {\n        chain.diagnostics.push(warningDiagnostic(\n            DiagnosticCode.UnknownScope,\n            `The template '${ancestry[0].name}' could not be placed in the layout '${layout.name}', so nothing outside it is part of the chain.`));\n        return ancestry.slice(-1).map(item => level(document, SceneNodeKind.ScreenTemplate, 'template', item));\n    }\n\n    return ancestry.map(item => level(document, SceneNodeKind.ScreenTemplate, 'template', item));\n}\n\n/**\n * Assembles the chain of owners an editing scope sits inside: the layout, each template down to the one the\n * scope is in, and the scope itself.\n *\n * The same chain feeds {@link resolveEffectiveConfiguration} for the runtime and the editor, so both see the same\n * nesting. A scope that cannot be found yields an empty chain with an error diagnostic.\n *\n * @param document The document to read.\n * @param scope What is being edited.\n * @returns The chain, outermost first.\n */\nexport function resolveTemplateChain(document: SceneDocument, scope: EditingScope): TemplateChain {\n    const chain: TemplateChain = { levels: [], diagnostics: [] };\n\n    switch (scope.kind) {\n        case EditingScopeKind.Layout: {\n            const layout = document.layouts.find(candidate => candidate.name === scope.name);\n            if (layout) chain.levels.push(level(document, SceneNodeKind.Layout, 'layout', layout));\n            break;\n        }\n\n        case EditingScopeKind.DialogTemplate: {\n            const dialog = document.dialogTemplates.find(candidate => candidate.name === scope.name);\n            if (dialog) chain.levels.push(level(document, SceneNodeKind.DialogTemplate, 'dialog', dialog));\n            break;\n        }\n\n        case EditingScopeKind.ScreenTemplate: {\n            const template = document.screenTemplates.find(candidate => candidate.name === scope.name);\n            const layout = document.layouts.find(candidate => candidate.name === scope.layout) ?? (scope.layout === undefined && document.layouts.length === 1 ? document.layouts[0] : undefined);\n            if (template && layout) {\n                chain.levels.push(level(document, SceneNodeKind.Layout, 'layout', layout), ...templateLevels(document, layout, template, chain));\n            } else if (template) {\n                chain.levels.push(level(document, SceneNodeKind.ScreenTemplate, 'template', template));\n            }\n\n            break;\n        }\n\n        default: {\n            const screen = document.screens.find(candidate => candidate.name === scope.name);\n            if (!screen) break;\n\n            const layout = document.layouts.find(candidate => candidate.name === screen.layout);\n            const template = screen.screenTemplate === undefined ? undefined : document.screenTemplates.find(candidate => candidate.name === screen.screenTemplate);\n            if (layout) chain.levels.push(level(document, SceneNodeKind.Layout, 'layout', layout));\n            if (layout && template) chain.levels.push(...templateLevels(document, layout, template, chain));\n            else if (template) chain.levels.push(level(document, SceneNodeKind.ScreenTemplate, 'template', template));\n            chain.levels.push(level(document, SceneNodeKind.Screen, 'screen', screen));\n        }\n    }\n\n    if (chain.levels.length === 0) {\n        chain.diagnostics.push(errorDiagnostic(DiagnosticCode.UnknownScope, `There is no ${scope.kind} named '${scope.name}'.`));\n    }\n\n    return chain;\n}\n"],"names":["exposuresOf","document","owner","exposures","find","declaration","properties","level","kind","prefix","name","instance","elements","collectComponents","templateLevels","layout","template","chain","placements","resolveScreenTemplates","screenTemplates","ancestry","current","guard","length","placement","candidate","container","parent","unshift","some","diagnostics","push","warningDiagnostic","DiagnosticCode","UnknownScope","slice","map","item","SceneNodeKind","ScreenTemplate","resolveTemplateChain","scope","levels","EditingScopeKind","Layout","layouts","DialogTemplate","dialog","dialogTemplates","undefined","screen","screens","screenTemplate","Screen","errorDiagnostic"],"mappings":";;;;;;;AAAA;AACA;AAWA,SAASA,WAAAA,CAAYC,QAAuB,EAAEC,KAAa,EAAA;AACvD,IAAA,OAAOD,QAAAA,CAASE,SAAS,CAACC,IAAI,CAACC,CAAAA,WAAAA,GAAeA,WAAAA,CAAYH,KAAK,KAAKA,KAAAA,CAAAA,EAAQI,UAAAA,IAAc,EAAE;AAChG;AAEA,SAASC,MAAMN,QAAuB,EAAEO,IAAmB,EAAEC,MAAc,EAAEP,KAAwD,EAAA;IACjI,OAAO;AACHA,QAAAA,KAAAA,EAAOA,MAAMQ,IAAI;AACjBF,QAAAA,IAAAA;AACAG,QAAAA,QAAAA,EAAU,GAAGF,MAAAA,CAAO,CAAC,EAAEP,KAAAA,CAAMQ,IAAI,CAAA,CAAE;AACnCE,QAAAA,QAAAA,EAAUC,mCAAAA,CAAkBX,KAAAA,CAAAA;QAC5BC,SAAAA,EAAWH,WAAAA,CAAYC,QAAAA,EAAUC,KAAAA,CAAMQ,IAAI;AAC/C,KAAA;AACJ;AAEA,SAASI,eAAeb,QAAuB,EAAEc,MAAc,EAAEC,QAAwB,EAAEC,KAAoB,EAAA;AAC3G,IAAA,MAAMC,aAAaC,6CAAAA,CAAuBJ,MAAAA,EAAQd,QAAAA,CAASmB,eAAe,EAAEF,UAAU;AACtF,IAAA,MAAMG,QAAAA,GAA6B;AAACL,QAAAA;AAAS,KAAA;IAE7C,IAAIM,OAAAA,GAAUN,SAASN,IAAI;IAC3B,IAAK,IAAIa,QAAQ,CAAA,EAAGA,KAAAA,IAAStB,SAASmB,eAAe,CAACI,MAAM,EAAED,KAAAA,EAAAA,CAAS;QACnE,MAAME,SAAAA,GAAYP,WAAWd,IAAI,CAACsB,CAAAA,SAAAA,GAAaA,SAAAA,CAAUV,QAAQ,KAAKM,OAAAA,CAAAA;AACtE,QAAA,IAAI,CAACG,SAAAA,IAAaA,SAAAA,CAAUE,SAAS,KAAKZ,MAAAA,CAAOL,IAAI,EAAE;AAEvD,QAAA,MAAMkB,MAAAA,GAAS3B,QAAAA,CAASmB,eAAe,CAAChB,IAAI,CAACsB,CAAAA,SAAAA,GAAaA,SAAAA,CAAUhB,IAAI,KAAKe,SAAAA,CAAUE,SAAS,CAAA;AAChG,QAAA,IAAI,CAACC,MAAAA,EAAQ;AACbP,QAAAA,QAAAA,CAASQ,OAAO,CAACD,MAAAA,CAAAA;AACjBN,QAAAA,OAAAA,GAAUM,OAAOlB,IAAI;AACzB,IAAA;AAEA,IAAA,IAAI,CAACQ,UAAAA,CAAWY,IAAI,CAACL,CAAAA,SAAAA,GAAaA,SAAAA,CAAUT,QAAQ,KAAKK,QAAQ,CAAC,CAAA,CAAE,CAACX,IAAI,CAAA,EAAG;QACxEO,KAAAA,CAAMc,WAAW,CAACC,IAAI,CAACC,8BACnBC,0BAAAA,CAAeC,YAAY,EAC3B,CAAC,cAAc,EAAEd,QAAQ,CAAC,CAAA,CAAE,CAACX,IAAI,CAAC,qCAAqC,EAAEK,MAAAA,CAAOL,IAAI,CAAC,8CAA8C,CAAC,CAAA,CAAA;AACxI,QAAA,OAAOW,QAAAA,CAASe,KAAK,CAAC,IAAIC,GAAG,CAACC,CAAAA,IAAAA,GAAQ/B,KAAAA,CAAMN,QAAAA,EAAUsC,yBAAAA,CAAcC,cAAc,EAAE,UAAA,EAAYF,IAAAA,CAAAA,CAAAA;AACpG,IAAA;IAEA,OAAOjB,QAAAA,CAASgB,GAAG,CAACC,CAAAA,IAAAA,GAAQ/B,MAAMN,QAAAA,EAAUsC,yBAAAA,CAAcC,cAAc,EAAE,UAAA,EAAYF,IAAAA,CAAAA,CAAAA;AAC1F;AAEA;;;;;;;;;;AAUC,IACM,SAASG,oBAAAA,CAAqBxC,QAAuB,EAAEyC,KAAmB,EAAA;AAC7E,IAAA,MAAMzB,KAAAA,GAAuB;AAAE0B,QAAAA,MAAAA,EAAQ,EAAE;AAAEZ,QAAAA,WAAAA,EAAa;AAAG,KAAA;AAE3D,IAAA,OAAQW,MAAMlC,IAAI;AACd,QAAA,KAAKoC,6BAAiBC,MAAM;AAAE,YAAA;AAC1B,gBAAA,MAAM9B,MAAAA,GAASd,QAAAA,CAAS6C,OAAO,CAAC1C,IAAI,CAACsB,CAAAA,SAAAA,GAAaA,SAAAA,CAAUhB,IAAI,KAAKgC,KAAAA,CAAMhC,IAAI,CAAA;gBAC/E,IAAIK,MAAAA,EAAQE,KAAAA,CAAM0B,MAAM,CAACX,IAAI,CAACzB,KAAAA,CAAMN,QAAAA,EAAUsC,yBAAAA,CAAcM,MAAM,EAAE,QAAA,EAAU9B,MAAAA,CAAAA,CAAAA;AAC9E,gBAAA;AACJ,YAAA;AAEA,QAAA,KAAK6B,6BAAiBG,cAAc;AAAE,YAAA;AAClC,gBAAA,MAAMC,MAAAA,GAAS/C,QAAAA,CAASgD,eAAe,CAAC7C,IAAI,CAACsB,CAAAA,SAAAA,GAAaA,SAAAA,CAAUhB,IAAI,KAAKgC,KAAAA,CAAMhC,IAAI,CAAA;gBACvF,IAAIsC,MAAAA,EAAQ/B,KAAAA,CAAM0B,MAAM,CAACX,IAAI,CAACzB,KAAAA,CAAMN,QAAAA,EAAUsC,yBAAAA,CAAcQ,cAAc,EAAE,QAAA,EAAUC,MAAAA,CAAAA,CAAAA;AACtF,gBAAA;AACJ,YAAA;AAEA,QAAA,KAAKJ,6BAAiBJ,cAAc;AAAE,YAAA;AAClC,gBAAA,MAAMxB,QAAAA,GAAWf,QAAAA,CAASmB,eAAe,CAAChB,IAAI,CAACsB,CAAAA,SAAAA,GAAaA,SAAAA,CAAUhB,IAAI,KAAKgC,KAAAA,CAAMhC,IAAI,CAAA;AACzF,gBAAA,MAAMK,MAAAA,GAASd,QAAAA,CAAS6C,OAAO,CAAC1C,IAAI,CAACsB,CAAAA,SAAAA,GAAaA,SAAAA,CAAUhB,IAAI,KAAKgC,KAAAA,CAAM3B,MAAM,CAAA,KAAM2B,KAAAA,CAAM3B,MAAM,KAAKmC,SAAAA,IAAajD,QAAAA,CAAS6C,OAAO,CAACtB,MAAM,KAAK,CAAA,GAAIvB,QAAAA,CAAS6C,OAAO,CAAC,CAAA,CAAE,GAAGI,SAAQ,CAAA;AACnL,gBAAA,IAAIlC,YAAYD,MAAAA,EAAQ;AACpBE,oBAAAA,KAAAA,CAAM0B,MAAM,CAACX,IAAI,CAACzB,MAAMN,QAAAA,EAAUsC,yBAAAA,CAAcM,MAAM,EAAE,QAAA,EAAU9B,MAAAA,CAAAA,EAAAA,GAAYD,cAAAA,CAAeb,QAAAA,EAAUc,QAAQC,QAAAA,EAAUC,KAAAA,CAAAA,CAAAA;AAC7H,gBAAA,CAAA,MAAO,IAAID,QAAAA,EAAU;oBACjBC,KAAAA,CAAM0B,MAAM,CAACX,IAAI,CAACzB,MAAMN,QAAAA,EAAUsC,yBAAAA,CAAcC,cAAc,EAAE,UAAA,EAAYxB,QAAAA,CAAAA,CAAAA;AAChF,gBAAA;AAEA,gBAAA;AACJ,YAAA;AAEA,QAAA;AAAS,YAAA;AACL,gBAAA,MAAMmC,MAAAA,GAASlD,QAAAA,CAASmD,OAAO,CAAChD,IAAI,CAACsB,CAAAA,SAAAA,GAAaA,SAAAA,CAAUhB,IAAI,KAAKgC,KAAAA,CAAMhC,IAAI,CAAA;AAC/E,gBAAA,IAAI,CAACyC,MAAAA,EAAQ;AAEb,gBAAA,MAAMpC,MAAAA,GAASd,QAAAA,CAAS6C,OAAO,CAAC1C,IAAI,CAACsB,CAAAA,SAAAA,GAAaA,SAAAA,CAAUhB,IAAI,KAAKyC,MAAAA,CAAOpC,MAAM,CAAA;AAClF,gBAAA,MAAMC,WAAWmC,MAAAA,CAAOE,cAAc,KAAKH,SAAAA,GAAYA,YAAYjD,QAAAA,CAASmB,eAAe,CAAChB,IAAI,CAACsB,CAAAA,SAAAA,GAAaA,UAAUhB,IAAI,KAAKyC,OAAOE,cAAc,CAAA;gBACtJ,IAAItC,MAAAA,EAAQE,KAAAA,CAAM0B,MAAM,CAACX,IAAI,CAACzB,KAAAA,CAAMN,QAAAA,EAAUsC,yBAAAA,CAAcM,MAAM,EAAE,QAAA,EAAU9B,MAAAA,CAAAA,CAAAA;gBAC9E,IAAIA,MAAAA,IAAUC,QAAAA,EAAUC,KAAAA,CAAM0B,MAAM,CAACX,IAAI,CAAA,GAAIlB,cAAAA,CAAeb,QAAAA,EAAUc,MAAAA,EAAQC,QAAAA,EAAUC,KAAAA,CAAAA,CAAAA;qBACnF,IAAID,QAAAA,EAAUC,KAAAA,CAAM0B,MAAM,CAACX,IAAI,CAACzB,KAAAA,CAAMN,QAAAA,EAAUsC,yBAAAA,CAAcC,cAAc,EAAE,UAAA,EAAYxB,QAAAA,CAAAA,CAAAA;gBAC/FC,KAAAA,CAAM0B,MAAM,CAACX,IAAI,CAACzB,MAAMN,QAAAA,EAAUsC,yBAAAA,CAAce,MAAM,EAAE,QAAA,EAAUH,MAAAA,CAAAA,CAAAA;AACtE,YAAA;AACJ;AAEA,IAAA,IAAIlC,KAAAA,CAAM0B,MAAM,CAACnB,MAAM,KAAK,CAAA,EAAG;QAC3BP,KAAAA,CAAMc,WAAW,CAACC,IAAI,CAACuB,4BAAgBrB,0BAAAA,CAAeC,YAAY,EAAE,CAAC,YAAY,EAAEO,KAAAA,CAAMlC,IAAI,CAAC,QAAQ,EAAEkC,MAAMhC,IAAI,CAAC,EAAE,CAAC,CAAA,CAAA;AAC1H,IAAA;IAEA,OAAOO,KAAAA;AACX;;"}

package/dist/cjs/editing/structureEdits.js

@@ -0,0 +1,231 @@
+'use strict';
+
+var scene_model = require('@cratis/scene.model');
+var elementKind = require('../elementKind.js');
+var diagnostics = require('./diagnostics.js');
+var nodeIds = require('./nodeIds.js');
+var documentPaths = require('./documentPaths.js');
+var DescriptorCatalog = require('./DescriptorCatalog.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 elementIdsIn(value, found = []) {
+    if (value === null || typeof value !== 'object') return found;
+    if (Array.isArray(value)) {
+        for (const item of value)elementIdsIn(item, found);
+        return found;
+    }
+    const candidate = value;
+    if (typeof candidate.id === 'string' && candidate.properties !== null && typeof candidate.properties === 'object') found.push(candidate.id);
+    for (const child of Object.values(value))elementIdsIn(child, found);
+    return found;
+}
+function resolveInsertionPoint(session, targetId, slot, diagnostics$1) {
+    const record = session.index.nodes.get(targetId);
+    const refuse = (code, message)=>{
+        diagnostics$1.push(diagnostics.errorDiagnostic(code, message, {
+            nodeId: targetId
+        }));
+        return undefined;
+    };
+    if (!record) return refuse(scene_model.DiagnosticCode.UnknownNode, `There is no node '${targetId}'.`);
+    if (!session.isLocal(record)) return refuse(scene_model.DiagnosticCode.NodeNotEditable, `'${targetId}' is inherited from '${session.sourceOf(record)}' and cannot be changed here.`);
+    const paths = (path)=>documentPaths.mirroredPaths(record.mirror, path);
+    switch(record.kind){
+        case scene_model.SceneNodeKind.Slot:
+            return record.contentPath ? {
+                record,
+                paths: paths(record.contentPath),
+                flow: false
+            } : refuse(scene_model.DiagnosticCode.TargetDoesNotAcceptChildren, `'${record.label}' is a slot of a layout; a layout declares slots and screens fill them.`);
+        case scene_model.SceneNodeKind.FlowNode:
+            return record.typeId === 'flowLeaf' || record.typeId === 'flowSlotLeaf' ? refuse(scene_model.DiagnosticCode.TargetDoesNotAcceptChildren, 'A flow leaf holds one element and takes no children; insert into its container.') : {
+                record,
+                paths: paths([
+                    ...record.path,
+                    'children'
+                ]),
+                flow: true
+            };
+        case scene_model.SceneNodeKind.Element:
+            {
+                const element = record.value;
+                if (elementKind.isExternalComponent(element)) {
+                    return slot ? {
+                        record,
+                        paths: paths([
+                            ...record.path,
+                            'slots',
+                            slot
+                        ]),
+                        flow: false
+                    } : refuse(scene_model.DiagnosticCode.UnknownSlot, `Say which slot of '${element.componentName}' to insert into.`);
+                }
+                return elementKind.isPanel(element) ? {
+                    record,
+                    paths: paths([
+                        ...record.path,
+                        'children'
+                    ]),
+                    flow: false
+                } : refuse(scene_model.DiagnosticCode.TargetDoesNotAcceptChildren, `'${record.label}' holds a single element and takes no children.`);
+            }
+        default:
+            return refuse(scene_model.DiagnosticCode.TargetDoesNotAcceptChildren, `'${record.label}' does not take children. Freeform arrangements place elements through their placements.`);
+    }
+}
+function checkCapacity(session, point, current, diagnostics$1) {
+    const maximum = DescriptorCatalog.findLayoutTypeDescriptor(session.context.catalog, point.record.typeId)?.capabilities.maximumChildren;
+    if (maximum !== undefined && current >= maximum) {
+        diagnostics$1.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.MaximumChildrenExceeded, `'${point.record.label}' holds at most ${maximum} children.`, {
+            nodeId: point.record.id
+        }));
+        return false;
+    }
+    return true;
+}
+function insertInto(session, clone, point, payload, isFlowNode, index, diagnostics$1) {
+    if (isFlowNode && !point.flow) {
+        diagnostics$1.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.InvalidEdit, 'A flow node can only go into a flow container.', {
+            nodeId: point.record.id
+        }));
+        return;
+    }
+    const arrays = point.paths.map((path)=>documentPaths.ensureArrayAt(clone, path));
+    const length = arrays[0].length;
+    if (index !== undefined && (!Number.isInteger(index) || index < 0 || index > length)) {
+        diagnostics$1.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.IndexOutOfRange, `There is no position ${index} among ${length} children.`, {
+            nodeId: point.record.id
+        }));
+        return;
+    }
+    if (!checkCapacity(session, point, length, diagnostics$1)) return;
+    for (const array of arrays){
+        const node = point.flow && !isFlowNode ? {
+            content: pathAccess.cloneData(payload)
+        } : pathAccess.cloneData(payload);
+        array.splice(index ?? array.length, 0, node);
+    }
+}
+/**
+ * Applies an insert to a copy of the document.
+ */ function applyInsertNode(session, edit, clone, diagnostics$1) {
+    if (edit.element === undefined === (edit.flowNode === undefined)) {
+        diagnostics$1.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.InvalidEdit, 'Give exactly one of element and flowNode.', {
+            nodeId: edit.target
+        }));
+        return;
+    }
+    const point = resolveInsertionPoint(session, edit.target, edit.slot, diagnostics$1);
+    if (!point) return;
+    const identities = elementIdsIn(edit.element ?? edit.flowNode);
+    const duplicate = identities.find((identity, position)=>identities.indexOf(identity) !== position || session.index.nodes.has(nodeIds.elementNodeId(identity)));
+    if (duplicate !== undefined) {
+        diagnostics$1.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.ElementIdInUse, `The element id '${duplicate}' is already used.`, {
+            nodeId: edit.target
+        }));
+        return;
+    }
+    insertInto(session, clone, point, edit.element ?? edit.flowNode, edit.flowNode !== undefined, edit.index, diagnostics$1);
+}
+function resolveRemoval(session, nodeId, diagnostics$1) {
+    const record = session.index.nodes.get(nodeId);
+    if (!record) {
+        diagnostics$1.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.UnknownNode, `There is no node '${nodeId}'.`, {
+            nodeId
+        }));
+        return undefined;
+    }
+    if (!session.isLocal(record)) {
+        diagnostics$1.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.NodeNotEditable, `'${nodeId}' is inherited from '${session.sourceOf(record)}' and cannot be changed here.`, {
+            nodeId
+        }));
+        return undefined;
+    }
+    const holder = record.leafId !== undefined ? session.index.nodes.get(record.leafId) : record;
+    const isElement = record.kind === scene_model.SceneNodeKind.Element;
+    const removable = holder.list !== undefined || isElement && record.placementIds !== undefined;
+    if (!removable || record.kind !== scene_model.SceneNodeKind.Element && record.kind !== scene_model.SceneNodeKind.FlowNode) {
+        diagnostics$1.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.NodeNotRemovable, `'${record.label}' cannot be moved or removed on its own.`, {
+            nodeId
+        }));
+        return undefined;
+    }
+    return {
+        holder: isElement && record.placementIds !== undefined ? record : holder,
+        payload: record.value,
+        isFlowNode: !isElement
+    };
+}
+function takeOut(session, clone, removal) {
+    const { holder } = removal;
+    if (holder.placementIds !== undefined && holder.kind === scene_model.SceneNodeKind.Element) {
+        for (const placementId of holder.placementIds){
+            const placement = session.index.nodes.get(placementId);
+            const array = documentPaths.getAtPath(clone, placement.list.path);
+            array.splice(placement.list.index, 1);
+        }
+        return;
+    }
+    for (const path of documentPaths.mirroredPaths(holder.mirror, holder.list.path)){
+        const index = holder.list.index;
+        documentPaths.getAtPath(clone, path).splice(index, 1);
+    }
+}
+/**
+ * Applies a removal to a copy of the document. Removing an element a flow leaf holds removes the leaf too, and
+ * removing a freeform element removes its placement in every size-class variant.
+ */ function applyRemoveNode(session, edit, clone, diagnostics) {
+    const removal = resolveRemoval(session, edit.nodeId, diagnostics);
+    if (removal) takeOut(session, clone, removal);
+}
+/**
+ * Applies a move - a reorder or a reparent - to a copy of the document.
+ *
+ * `index` is the position the node ends up at among its new siblings. The destination arrays are located before
+ * anything is taken out, so removing a sibling that shifts the destination's own address does not misdirect the
+ * insert.
+ */ function applyMoveNode(session, edit, clone, diagnostics$1) {
+    const removal = resolveRemoval(session, edit.nodeId, diagnostics$1);
+    if (!removal) return;
+    const point = resolveInsertionPoint(session, edit.target, edit.slot, diagnostics$1);
+    if (!point) return;
+    const moved = session.index.nodes.get(edit.nodeId);
+    for(let ancestor = point.record; ancestor; ancestor = ancestor.parentId === undefined ? undefined : session.index.nodes.get(ancestor.parentId)){
+        if (ancestor.id === moved.id) {
+            diagnostics$1.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.ContainmentCycle, `'${moved.label}' cannot be moved into itself or something inside it.`, {
+                nodeId: edit.nodeId
+            }));
+            return;
+        }
+    }
+    const payload = pathAccess.cloneData(removal.payload);
+    const arrays = point.paths.map((path)=>documentPaths.ensureArrayAt(clone, path));
+    takeOut(session, clone, removal);
+    if (removal.isFlowNode && !point.flow) {
+        diagnostics$1.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.InvalidEdit, 'A flow node can only go into a flow container.', {
+            nodeId: edit.nodeId
+        }));
+        return;
+    }
+    const length = arrays[0].length;
+    if (edit.index !== undefined && (!Number.isInteger(edit.index) || edit.index < 0 || edit.index > length)) {
+        diagnostics$1.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.IndexOutOfRange, `There is no position ${edit.index} among ${length} children.`, {
+            nodeId: edit.target
+        }));
+        return;
+    }
+    if (!checkCapacity(session, point, length, diagnostics$1)) return;
+    for (const array of arrays){
+        const node = point.flow && !removal.isFlowNode ? {
+            content: pathAccess.cloneData(payload)
+        } : pathAccess.cloneData(payload);
+        array.splice(edit.index ?? array.length, 0, node);
+    }
+}
+
+exports.applyInsertNode = applyInsertNode;
+exports.applyMoveNode = applyMoveNode;
+exports.applyRemoveNode = applyRemoveNode;
+//# sourceMappingURL=structureEdits.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"structureEdits.js","sources":["../../../editing/structureEdits.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    DiagnosticCode, FlowNode, InsertNodeEdit, MoveNodeEdit, RemoveNodeEdit, SceneDiagnostic, SceneDocument, SceneElement,\n    SceneNodeKind,\n} from '@cratis/scene.model';\nimport { isExternalComponent, isPanel } from '../elementKind';\nimport { errorDiagnostic } from './diagnostics';\nimport { DocumentPath, NodeRecord } from './DocumentIndex';\nimport { elementNodeId } from './nodeIds';\nimport { ensureArrayAt, getAtPath, mirroredPaths } from './documentPaths';\nimport { EditSession } from './EditSession';\nimport { findLayoutTypeDescriptor } from './DescriptorCatalog';\nimport { cloneData } from './pathAccess';\n\n/**\n * Where an insert or move puts its node: the arrays (one per freeform size-class copy) and what they hold.\n */\ninterface InsertionPoint {\n    record: NodeRecord;\n    paths: DocumentPath[];\n\n    /** Whether the arrays hold flow nodes (and wrap elements in a leaf) or elements directly. */\n    flow: boolean;\n}\n\nfunction elementIdsIn(value: unknown, found: string[] = []): string[] {\n    if (value === null || typeof value !== 'object') return found;\n    if (Array.isArray(value)) {\n        for (const item of value) elementIdsIn(item, found);\n        return found;\n    }\n\n    const candidate = value as { id?: unknown; properties?: unknown };\n    if (typeof candidate.id === 'string' && candidate.properties !== null && typeof candidate.properties === 'object') found.push(candidate.id);\n    for (const child of Object.values(value)) elementIdsIn(child, found);\n    return found;\n}\n\nfunction resolveInsertionPoint(session: EditSession, targetId: string, slot: string | undefined, diagnostics: SceneDiagnostic[]): InsertionPoint | undefined {\n    const record = session.index.nodes.get(targetId);\n    const refuse = (code: DiagnosticCode, message: string) => {\n        diagnostics.push(errorDiagnostic(code, message, { nodeId: targetId }));\n        return undefined;\n    };\n\n    if (!record) return refuse(DiagnosticCode.UnknownNode, `There is no node '${targetId}'.`);\n    if (!session.isLocal(record)) return refuse(DiagnosticCode.NodeNotEditable, `'${targetId}' is inherited from '${session.sourceOf(record)}' and cannot be changed here.`);\n\n    const paths = (path: DocumentPath) => mirroredPaths(record.mirror, path);\n    switch (record.kind) {\n        case SceneNodeKind.Slot:\n            return record.contentPath\n                ? { record, paths: paths(record.contentPath), flow: false }\n                : refuse(DiagnosticCode.TargetDoesNotAcceptChildren, `'${record.label}' is a slot of a layout; a layout declares slots and screens fill them.`);\n\n        case SceneNodeKind.FlowNode:\n            return record.typeId === 'flowLeaf' || record.typeId === 'flowSlotLeaf'\n                ? refuse(DiagnosticCode.TargetDoesNotAcceptChildren, 'A flow leaf holds one element and takes no children; insert into its container.')\n                : { record, paths: paths([...record.path, 'children']), flow: true };\n\n        case SceneNodeKind.Element: {\n            const element = record.value as SceneElement;\n            if (isExternalComponent(element)) {\n                return slot\n                    ? { record, paths: paths([...record.path, 'slots', slot]), flow: false }\n                    : refuse(DiagnosticCode.UnknownSlot, `Say which slot of '${element.componentName}' to insert into.`);\n            }\n\n            return isPanel(element)\n                ? { record, paths: paths([...record.path, 'children']), flow: false }\n                : refuse(DiagnosticCode.TargetDoesNotAcceptChildren, `'${record.label}' holds a single element and takes no children.`);\n        }\n\n        default:\n            return refuse(DiagnosticCode.TargetDoesNotAcceptChildren, `'${record.label}' does not take children. Freeform arrangements place elements through their placements.`);\n    }\n}\n\nfunction checkCapacity(session: EditSession, point: InsertionPoint, current: number, diagnostics: SceneDiagnostic[]): boolean {\n    const maximum = findLayoutTypeDescriptor(session.context.catalog, point.record.typeId)?.capabilities.maximumChildren;\n    if (maximum !== undefined && current >= maximum) {\n        diagnostics.push(errorDiagnostic(DiagnosticCode.MaximumChildrenExceeded, `'${point.record.label}' holds at most ${maximum} children.`, { nodeId: point.record.id }));\n        return false;\n    }\n\n    return true;\n}\n\nfunction insertInto(session: EditSession, clone: SceneDocument, point: InsertionPoint, payload: SceneElement | FlowNode, isFlowNode: boolean, index: number | undefined, diagnostics: SceneDiagnostic[]): void {\n    if (isFlowNode && !point.flow) {\n        diagnostics.push(errorDiagnostic(DiagnosticCode.InvalidEdit, 'A flow node can only go into a flow container.', { nodeId: point.record.id }));\n        return;\n    }\n\n    const arrays = point.paths.map(path => ensureArrayAt(clone, path));\n    const length = arrays[0].length;\n    if (index !== undefined && (!Number.isInteger(index) || index < 0 || index > length)) {\n        diagnostics.push(errorDiagnostic(DiagnosticCode.IndexOutOfRange, `There is no position ${index} among ${length} children.`, { nodeId: point.record.id }));\n        return;\n    }\n\n    if (!checkCapacity(session, point, length, diagnostics)) return;\n\n    for (const array of arrays) {\n        const node = point.flow && !isFlowNode ? { content: cloneData(payload) } : cloneData(payload);\n        array.splice(index ?? array.length, 0, node);\n    }\n}\n\n/**\n * Applies an insert to a copy of the document.\n */\nexport function applyInsertNode(session: EditSession, edit: InsertNodeEdit, clone: SceneDocument, diagnostics: SceneDiagnostic[]): void {\n    if ((edit.element === undefined) === (edit.flowNode === undefined)) {\n        diagnostics.push(errorDiagnostic(DiagnosticCode.InvalidEdit, 'Give exactly one of element and flowNode.', { nodeId: edit.target }));\n        return;\n    }\n\n    const point = resolveInsertionPoint(session, edit.target, edit.slot, diagnostics);\n    if (!point) return;\n\n    const identities = elementIdsIn(edit.element ?? edit.flowNode);\n    const duplicate = identities.find((identity, position) => identities.indexOf(identity) !== position || session.index.nodes.has(elementNodeId(identity)));\n    if (duplicate !== undefined) {\n        diagnostics.push(errorDiagnostic(DiagnosticCode.ElementIdInUse, `The element id '${duplicate}' is already used.`, { nodeId: edit.target }));\n        return;\n    }\n\n    insertInto(session, clone, point, (edit.element ?? edit.flowNode)!, edit.flowNode !== undefined, edit.index, diagnostics);\n}\n\ninterface Removal {\n    /** The list record whose array holds the node being taken out (a flow leaf for an element it wraps). */\n    holder: NodeRecord;\n    payload: SceneElement | FlowNode;\n    isFlowNode: boolean;\n}\n\nfunction resolveRemoval(session: EditSession, nodeId: string, diagnostics: SceneDiagnostic[]): Removal | undefined {\n    const record = session.index.nodes.get(nodeId);\n    if (!record) {\n        diagnostics.push(errorDiagnostic(DiagnosticCode.UnknownNode, `There is no node '${nodeId}'.`, { nodeId }));\n        return undefined;\n    }\n\n    if (!session.isLocal(record)) {\n        diagnostics.push(errorDiagnostic(DiagnosticCode.NodeNotEditable, `'${nodeId}' is inherited from '${session.sourceOf(record)}' and cannot be changed here.`, { nodeId }));\n        return undefined;\n    }\n\n    const holder = record.leafId !== undefined ? session.index.nodes.get(record.leafId)! : record;\n    const isElement = record.kind === SceneNodeKind.Element;\n    const removable = holder.list !== undefined || (isElement && record.placementIds !== undefined);\n    if (!removable || (record.kind !== SceneNodeKind.Element && record.kind !== SceneNodeKind.FlowNode)) {\n        diagnostics.push(errorDiagnostic(DiagnosticCode.NodeNotRemovable, `'${record.label}' cannot be moved or removed on its own.`, { nodeId }));\n        return undefined;\n    }\n\n    return { holder: isElement && record.placementIds !== undefined ? record : holder, payload: record.value as SceneElement | FlowNode, isFlowNode: !isElement };\n}\n\nfunction takeOut(session: EditSession, clone: SceneDocument, removal: Removal): void {\n    const { holder } = removal;\n    if (holder.placementIds !== undefined && holder.kind === SceneNodeKind.Element) {\n        for (const placementId of holder.placementIds) {\n            const placement = session.index.nodes.get(placementId)!;\n            const array = getAtPath(clone, placement.list!.path) as unknown[];\n            array.splice(placement.list!.index, 1);\n        }\n\n        return;\n    }\n\n    for (const path of mirroredPaths(holder.mirror, holder.list!.path)) {\n        const index = holder.list!.index;\n        (getAtPath(clone, path) as unknown[]).splice(index, 1);\n    }\n}\n\n/**\n * Applies a removal to a copy of the document. Removing an element a flow leaf holds removes the leaf too, and\n * removing a freeform element removes its placement in every size-class variant.\n */\nexport function applyRemoveNode(session: EditSession, edit: RemoveNodeEdit, clone: SceneDocument, diagnostics: SceneDiagnostic[]): void {\n    const removal = resolveRemoval(session, edit.nodeId, diagnostics);\n    if (removal) takeOut(session, clone, removal);\n}\n\n/**\n * Applies a move - a reorder or a reparent - to a copy of the document.\n *\n * `index` is the position the node ends up at among its new siblings. The destination arrays are located before\n * anything is taken out, so removing a sibling that shifts the destination's own address does not misdirect the\n * insert.\n */\nexport function applyMoveNode(session: EditSession, edit: MoveNodeEdit, clone: SceneDocument, diagnostics: SceneDiagnostic[]): void {\n    const removal = resolveRemoval(session, edit.nodeId, diagnostics);\n    if (!removal) return;\n\n    const point = resolveInsertionPoint(session, edit.target, edit.slot, diagnostics);\n    if (!point) return;\n\n    const moved = session.index.nodes.get(edit.nodeId)!;\n    for (let ancestor: NodeRecord | undefined = point.record; ancestor; ancestor = ancestor.parentId === undefined ? undefined : session.index.nodes.get(ancestor.parentId)) {\n        if (ancestor.id === moved.id) {\n            diagnostics.push(errorDiagnostic(DiagnosticCode.ContainmentCycle, `'${moved.label}' cannot be moved into itself or something inside it.`, { nodeId: edit.nodeId }));\n            return;\n        }\n    }\n\n    const payload = cloneData(removal.payload);\n    const arrays = point.paths.map(path => ensureArrayAt(clone, path));\n    takeOut(session, clone, removal);\n\n    if (removal.isFlowNode && !point.flow) {\n        diagnostics.push(errorDiagnostic(DiagnosticCode.InvalidEdit, 'A flow node can only go into a flow container.', { nodeId: edit.nodeId }));\n        return;\n    }\n\n    const length = arrays[0].length;\n    if (edit.index !== undefined && (!Number.isInteger(edit.index) || edit.index < 0 || edit.index > length)) {\n        diagnostics.push(errorDiagnostic(DiagnosticCode.IndexOutOfRange, `There is no position ${edit.index} among ${length} children.`, { nodeId: edit.target }));\n        return;\n    }\n\n    if (!checkCapacity(session, point, length, diagnostics)) return;\n\n    for (const array of arrays) {\n        const node = point.flow && !removal.isFlowNode ? { content: cloneData(payload) } : cloneData(payload);\n        array.splice(edit.index ?? array.length, 0, node);\n    }\n}\n"],"names":["elementIdsIn","value","found","Array","isArray","item","candidate","id","properties","push","child","Object","values","resolveInsertionPoint","session","targetId","slot","diagnostics","record","index","nodes","get","refuse","code","message","errorDiagnostic","nodeId","undefined","DiagnosticCode","UnknownNode","isLocal","NodeNotEditable","sourceOf","paths","path","mirroredPaths","mirror","kind","SceneNodeKind","Slot","contentPath","flow","TargetDoesNotAcceptChildren","label","FlowNode","typeId","Element","element","isExternalComponent","UnknownSlot","componentName","isPanel","checkCapacity","point","current","maximum","findLayoutTypeDescriptor","context","catalog","capabilities","maximumChildren","MaximumChildrenExceeded","insertInto","clone","payload","isFlowNode","InvalidEdit","arrays","map","ensureArrayAt","length","Number","isInteger","IndexOutOfRange","array","node","content","cloneData","splice","applyInsertNode","edit","flowNode","target","identities","duplicate","find","identity","position","indexOf","has","elementNodeId","ElementIdInUse","resolveRemoval","holder","leafId","isElement","removable","list","placementIds","NodeNotRemovable","takeOut","removal","placementId","placement","getAtPath","applyRemoveNode","applyMoveNode","moved","ancestor","parentId","ContainmentCycle"],"mappings":";;;;;;;;;;AAAA;AACA;AA0BA,SAASA,YAAAA,CAAaC,KAAc,EAAEC,KAAAA,GAAkB,EAAE,EAAA;AACtD,IAAA,IAAID,KAAAA,KAAU,IAAA,IAAQ,OAAOA,KAAAA,KAAU,UAAU,OAAOC,KAAAA;IACxD,IAAIC,KAAAA,CAAMC,OAAO,CAACH,KAAAA,CAAAA,EAAQ;AACtB,QAAA,KAAK,MAAMI,IAAAA,IAAQJ,KAAAA,CAAOD,YAAAA,CAAaK,IAAAA,EAAMH,KAAAA,CAAAA;QAC7C,OAAOA,KAAAA;AACX,IAAA;AAEA,IAAA,MAAMI,SAAAA,GAAYL,KAAAA;AAClB,IAAA,IAAI,OAAOK,SAAAA,CAAUC,EAAE,KAAK,QAAA,IAAYD,SAAAA,CAAUE,UAAU,KAAK,IAAA,IAAQ,OAAOF,SAAAA,CAAUE,UAAU,KAAK,QAAA,EAAUN,MAAMO,IAAI,CAACH,UAAUC,EAAE,CAAA;AAC1I,IAAA,KAAK,MAAMG,KAAAA,IAASC,MAAAA,CAAOC,MAAM,CAACX,KAAAA,CAAAA,CAAQD,aAAaU,KAAAA,EAAOR,KAAAA,CAAAA;IAC9D,OAAOA,KAAAA;AACX;AAEA,SAASW,sBAAsBC,OAAoB,EAAEC,QAAgB,EAAEC,IAAwB,EAAEC,aAA8B,EAAA;AAC3H,IAAA,MAAMC,SAASJ,OAAAA,CAAQK,KAAK,CAACC,KAAK,CAACC,GAAG,CAACN,QAAAA,CAAAA;IACvC,MAAMO,MAAAA,GAAS,CAACC,IAAAA,EAAsBC,OAAAA,GAAAA;AAClCP,QAAAA,aAAAA,CAAYR,IAAI,CAACgB,2BAAAA,CAAgBF,IAAAA,EAAMC,OAAAA,EAAS;YAAEE,MAAAA,EAAQX;AAAS,SAAA,CAAA,CAAA;QACnE,OAAOY,SAAAA;AACX,IAAA,CAAA;AAEA,IAAA,IAAI,CAACT,MAAAA,EAAQ,OAAOI,MAAAA,CAAOM,0BAAAA,CAAeC,WAAW,EAAE,CAAC,kBAAkB,EAAEd,QAAAA,CAAS,EAAE,CAAC,CAAA;IACxF,IAAI,CAACD,QAAQgB,OAAO,CAACZ,SAAS,OAAOI,MAAAA,CAAOM,2BAAeG,eAAe,EAAE,CAAC,CAAC,EAAEhB,SAAS,qBAAqB,EAAED,QAAQkB,QAAQ,CAACd,MAAAA,CAAAA,CAAQ,6BAA6B,CAAC,CAAA;AAEvK,IAAA,MAAMe,QAAQ,CAACC,IAAAA,GAAuBC,2BAAAA,CAAcjB,MAAAA,CAAOkB,MAAM,EAAEF,IAAAA,CAAAA;AACnE,IAAA,OAAQhB,OAAOmB,IAAI;AACf,QAAA,KAAKC,0BAAcC,IAAI;YACnB,OAAOrB,MAAAA,CAAOsB,WAAW,GACnB;AAAEtB,gBAAAA,MAAAA;gBAAQe,KAAAA,EAAOA,KAAAA,CAAMf,OAAOsB,WAAW,CAAA;gBAAGC,IAAAA,EAAM;aAAM,GACxDnB,MAAAA,CAAOM,0BAAAA,CAAec,2BAA2B,EAAE,CAAC,CAAC,EAAExB,MAAAA,CAAOyB,KAAK,CAAC,uEAAuE,CAAC,CAAA;AAEtJ,QAAA,KAAKL,0BAAcM,QAAQ;AACvB,YAAA,OAAO1B,MAAAA,CAAO2B,MAAM,KAAK,UAAA,IAAc3B,MAAAA,CAAO2B,MAAM,KAAK,cAAA,GACnDvB,MAAAA,CAAOM,0BAAAA,CAAec,2BAA2B,EAAE,iFAAA,CAAA,GACnD;AAAExB,gBAAAA,MAAAA;AAAQe,gBAAAA,KAAAA,EAAOA,KAAAA,CAAM;AAAIf,oBAAAA,GAAAA,MAAAA,CAAOgB,IAAI;AAAE,oBAAA;AAAW,iBAAA,CAAA;gBAAGO,IAAAA,EAAM;AAAK,aAAA;AAE3E,QAAA,KAAKH,0BAAcQ,OAAO;AAAE,YAAA;gBACxB,MAAMC,OAAAA,GAAU7B,OAAOjB,KAAK;AAC5B,gBAAA,IAAI+C,gCAAoBD,OAAAA,CAAAA,EAAU;AAC9B,oBAAA,OAAO/B,IAAAA,GACD;AAAEE,wBAAAA,MAAAA;AAAQe,wBAAAA,KAAAA,EAAOA,KAAAA,CAAM;AAAIf,4BAAAA,GAAAA,MAAAA,CAAOgB,IAAI;AAAE,4BAAA,OAAA;AAASlB,4BAAAA;AAAK,yBAAA,CAAA;wBAAGyB,IAAAA,EAAM;qBAAM,GACrEnB,MAAAA,CAAOM,0BAAAA,CAAeqB,WAAW,EAAE,CAAC,mBAAmB,EAAEF,OAAAA,CAAQG,aAAa,CAAC,iBAAiB,CAAC,CAAA;AAC3G,gBAAA;AAEA,gBAAA,OAAOC,oBAAQJ,OAAAA,CAAAA,GACT;AAAE7B,oBAAAA,MAAAA;AAAQe,oBAAAA,KAAAA,EAAOA,KAAAA,CAAM;AAAIf,wBAAAA,GAAAA,MAAAA,CAAOgB,IAAI;AAAE,wBAAA;AAAW,qBAAA,CAAA;oBAAGO,IAAAA,EAAM;iBAAM,GAClEnB,MAAAA,CAAOM,0BAAAA,CAAec,2BAA2B,EAAE,CAAC,CAAC,EAAExB,MAAAA,CAAOyB,KAAK,CAAC,+CAA+C,CAAC,CAAA;AAC9H,YAAA;AAEA,QAAA;YACI,OAAOrB,MAAAA,CAAOM,0BAAAA,CAAec,2BAA2B,EAAE,CAAC,CAAC,EAAExB,MAAAA,CAAOyB,KAAK,CAAC,wFAAwF,CAAC,CAAA;AAC5K;AACJ;AAEA,SAASS,cAActC,OAAoB,EAAEuC,KAAqB,EAAEC,OAAe,EAAErC,aAA8B,EAAA;AAC/G,IAAA,MAAMsC,OAAAA,GAAUC,0CAAAA,CAAyB1C,OAAAA,CAAQ2C,OAAO,CAACC,OAAO,EAAEL,KAAAA,CAAMnC,MAAM,CAAC2B,MAAM,CAAA,EAAGc,YAAAA,CAAaC,eAAAA;IACrG,IAAIL,OAAAA,KAAY5B,SAAAA,IAAa2B,OAAAA,IAAWC,OAAAA,EAAS;AAC7CtC,QAAAA,aAAAA,CAAYR,IAAI,CAACgB,2BAAAA,CAAgBG,2BAAeiC,uBAAuB,EAAE,CAAC,CAAC,EAAER,MAAMnC,MAAM,CAACyB,KAAK,CAAC,gBAAgB,EAAEY,OAAAA,CAAQ,UAAU,CAAC,EAAE;YAAE7B,MAAAA,EAAQ2B,KAAAA,CAAMnC,MAAM,CAACX;AAAG,SAAA,CAAA,CAAA;QACjK,OAAO,KAAA;AACX,IAAA;IAEA,OAAO,IAAA;AACX;AAEA,SAASuD,UAAAA,CAAWhD,OAAoB,EAAEiD,KAAoB,EAAEV,KAAqB,EAAEW,OAAgC,EAAEC,UAAmB,EAAE9C,KAAyB,EAAEF,aAA8B,EAAA;AACnM,IAAA,IAAIgD,UAAAA,IAAc,CAACZ,KAAAA,CAAMZ,IAAI,EAAE;AAC3BxB,QAAAA,aAAAA,CAAYR,IAAI,CAACgB,2BAAAA,CAAgBG,0BAAAA,CAAesC,WAAW,EAAE,gDAAA,EAAkD;YAAExC,MAAAA,EAAQ2B,KAAAA,CAAMnC,MAAM,CAACX;AAAG,SAAA,CAAA,CAAA;AACzI,QAAA;AACJ,IAAA;IAEA,MAAM4D,MAAAA,GAASd,MAAMpB,KAAK,CAACmC,GAAG,CAAClC,CAAAA,IAAAA,GAAQmC,2BAAAA,CAAcN,KAAAA,EAAO7B,IAAAA,CAAAA,CAAAA;AAC5D,IAAA,MAAMoC,MAAAA,GAASH,MAAM,CAAC,CAAA,CAAE,CAACG,MAAM;AAC/B,IAAA,IAAInD,KAAAA,KAAUQ,SAAAA,KAAc,CAAC4C,MAAAA,CAAOC,SAAS,CAACrD,KAAAA,CAAAA,IAAUA,KAAAA,GAAQ,CAAA,IAAKA,KAAAA,GAAQmD,MAAK,CAAA,EAAI;AAClFrD,QAAAA,aAAAA,CAAYR,IAAI,CAACgB,2BAAAA,CAAgBG,0BAAAA,CAAe6C,eAAe,EAAE,CAAC,qBAAqB,EAAEtD,MAAM,OAAO,EAAEmD,MAAAA,CAAO,UAAU,CAAC,EAAE;YAAE5C,MAAAA,EAAQ2B,KAAAA,CAAMnC,MAAM,CAACX;AAAG,SAAA,CAAA,CAAA;AACtJ,QAAA;AACJ,IAAA;AAEA,IAAA,IAAI,CAAC6C,aAAAA,CAActC,OAAAA,EAASuC,KAAAA,EAAOiB,QAAQrD,aAAAA,CAAAA,EAAc;IAEzD,KAAK,MAAMyD,SAASP,MAAAA,CAAQ;AACxB,QAAA,MAAMQ,IAAAA,GAAOtB,KAAAA,CAAMZ,IAAI,IAAI,CAACwB,UAAAA,GAAa;AAAEW,YAAAA,OAAAA,EAASC,oBAAAA,CAAUb,OAAAA;AAAS,SAAA,GAAIa,oBAAAA,CAAUb,OAAAA,CAAAA;AACrFU,QAAAA,KAAAA,CAAMI,MAAM,CAAC3D,KAAAA,IAASuD,KAAAA,CAAMJ,MAAM,EAAE,CAAA,EAAGK,IAAAA,CAAAA;AAC3C,IAAA;AACJ;AAEA;;IAGO,SAASI,eAAAA,CAAgBjE,OAAoB,EAAEkE,IAAoB,EAAEjB,KAAoB,EAAE9C,aAA8B,EAAA;IAC5H,IAAK+D,IAAAA,CAAKjC,OAAO,KAAKpB,SAAAA,MAAgBqD,IAAAA,CAAKC,QAAQ,KAAKtD,SAAQ,CAAA,EAAI;AAChEV,QAAAA,aAAAA,CAAYR,IAAI,CAACgB,2BAAAA,CAAgBG,0BAAAA,CAAesC,WAAW,EAAE,2CAAA,EAA6C;AAAExC,YAAAA,MAAAA,EAAQsD,KAAKE;AAAO,SAAA,CAAA,CAAA;AAChI,QAAA;AACJ,IAAA;IAEA,MAAM7B,KAAAA,GAAQxC,sBAAsBC,OAAAA,EAASkE,IAAAA,CAAKE,MAAM,EAAEF,IAAAA,CAAKhE,IAAI,EAAEC,aAAAA,CAAAA;AACrE,IAAA,IAAI,CAACoC,KAAAA,EAAO;AAEZ,IAAA,MAAM8B,aAAanF,YAAAA,CAAagF,IAAAA,CAAKjC,OAAO,IAAIiC,KAAKC,QAAQ,CAAA;AAC7D,IAAA,MAAMG,YAAYD,UAAAA,CAAWE,IAAI,CAAC,CAACC,QAAAA,EAAUC,WAAaJ,UAAAA,CAAWK,OAAO,CAACF,QAAAA,CAAAA,KAAcC,QAAAA,IAAYzE,QAAQK,KAAK,CAACC,KAAK,CAACqE,GAAG,CAACC,qBAAAA,CAAcJ,QAAAA,CAAAA,CAAAA,CAAAA;AAC7I,IAAA,IAAIF,cAAczD,SAAAA,EAAW;AACzBV,QAAAA,aAAAA,CAAYR,IAAI,CAACgB,2BAAAA,CAAgBG,0BAAAA,CAAe+D,cAAc,EAAE,CAAC,gBAAgB,EAAEP,SAAAA,CAAU,kBAAkB,CAAC,EAAE;AAAE1D,YAAAA,MAAAA,EAAQsD,KAAKE;AAAO,SAAA,CAAA,CAAA;AACxI,QAAA;AACJ,IAAA;AAEApB,IAAAA,UAAAA,CAAWhD,OAAAA,EAASiD,KAAAA,EAAOV,KAAAA,EAAQ2B,IAAAA,CAAKjC,OAAO,IAAIiC,IAAAA,CAAKC,QAAQ,EAAID,KAAKC,QAAQ,KAAKtD,SAAAA,EAAWqD,IAAAA,CAAK7D,KAAK,EAAEF,aAAAA,CAAAA;AACjH;AASA,SAAS2E,cAAAA,CAAe9E,OAAoB,EAAEY,MAAc,EAAET,aAA8B,EAAA;AACxF,IAAA,MAAMC,SAASJ,OAAAA,CAAQK,KAAK,CAACC,KAAK,CAACC,GAAG,CAACK,MAAAA,CAAAA;AACvC,IAAA,IAAI,CAACR,MAAAA,EAAQ;AACTD,QAAAA,aAAAA,CAAYR,IAAI,CAACgB,2BAAAA,CAAgBG,0BAAAA,CAAeC,WAAW,EAAE,CAAC,kBAAkB,EAAEH,MAAAA,CAAO,EAAE,CAAC,EAAE;AAAEA,YAAAA;AAAO,SAAA,CAAA,CAAA;QACvG,OAAOC,SAAAA;AACX,IAAA;AAEA,IAAA,IAAI,CAACb,OAAAA,CAAQgB,OAAO,CAACZ,MAAAA,CAAAA,EAAS;AAC1BD,QAAAA,aAAAA,CAAYR,IAAI,CAACgB,2BAAAA,CAAgBG,2BAAeG,eAAe,EAAE,CAAC,CAAC,EAAEL,MAAAA,CAAO,qBAAqB,EAAEZ,OAAAA,CAAQkB,QAAQ,CAACd,MAAAA,CAAAA,CAAQ,6BAA6B,CAAC,EAAE;AAAEQ,YAAAA;AAAO,SAAA,CAAA,CAAA;QACrK,OAAOC,SAAAA;AACX,IAAA;AAEA,IAAA,MAAMkE,MAAAA,GAAS3E,MAAAA,CAAO4E,MAAM,KAAKnE,YAAYb,OAAAA,CAAQK,KAAK,CAACC,KAAK,CAACC,GAAG,CAACH,MAAAA,CAAO4E,MAAM,CAAA,GAAK5E,MAAAA;AACvF,IAAA,MAAM6E,SAAAA,GAAY7E,MAAAA,CAAOmB,IAAI,KAAKC,0BAAcQ,OAAO;IACvD,MAAMkD,SAAAA,GAAYH,OAAOI,IAAI,KAAKtE,aAAcoE,SAAAA,IAAa7E,MAAAA,CAAOgF,YAAY,KAAKvE,SAAAA;AACrF,IAAA,IAAI,CAACqE,SAAAA,IAAc9E,MAAAA,CAAOmB,IAAI,KAAKC,yBAAAA,CAAcQ,OAAO,IAAI5B,MAAAA,CAAOmB,IAAI,KAAKC,yBAAAA,CAAcM,QAAQ,EAAG;AACjG3B,QAAAA,aAAAA,CAAYR,IAAI,CAACgB,2BAAAA,CAAgBG,0BAAAA,CAAeuE,gBAAgB,EAAE,CAAC,CAAC,EAAEjF,MAAAA,CAAOyB,KAAK,CAAC,wCAAwC,CAAC,EAAE;AAAEjB,YAAAA;AAAO,SAAA,CAAA,CAAA;QACvI,OAAOC,SAAAA;AACX,IAAA;IAEA,OAAO;AAAEkE,QAAAA,MAAAA,EAAQE,SAAAA,IAAa7E,MAAAA,CAAOgF,YAAY,KAAKvE,YAAYT,MAAAA,GAAS2E,MAAAA;AAAQ7B,QAAAA,OAAAA,EAAS9C,OAAOjB,KAAK;AAA6BgE,QAAAA,UAAAA,EAAY,CAAC8B;AAAU,KAAA;AAChK;AAEA,SAASK,OAAAA,CAAQtF,OAAoB,EAAEiD,KAAoB,EAAEsC,OAAgB,EAAA;IACzE,MAAM,EAAER,MAAM,EAAE,GAAGQ,OAAAA;IACnB,IAAIR,MAAAA,CAAOK,YAAY,KAAKvE,SAAAA,IAAakE,OAAOxD,IAAI,KAAKC,yBAAAA,CAAcQ,OAAO,EAAE;AAC5E,QAAA,KAAK,MAAMwD,WAAAA,IAAeT,MAAAA,CAAOK,YAAY,CAAE;AAC3C,YAAA,MAAMK,YAAYzF,OAAAA,CAAQK,KAAK,CAACC,KAAK,CAACC,GAAG,CAACiF,WAAAA,CAAAA;AAC1C,YAAA,MAAM5B,QAAQ8B,uBAAAA,CAAUzC,KAAAA,EAAOwC,SAAAA,CAAUN,IAAI,CAAE/D,IAAI,CAAA;AACnDwC,YAAAA,KAAAA,CAAMI,MAAM,CAACyB,SAAAA,CAAUN,IAAI,CAAE9E,KAAK,EAAE,CAAA,CAAA;AACxC,QAAA;AAEA,QAAA;AACJ,IAAA;IAEA,KAAK,MAAMe,IAAAA,IAAQC,2BAAAA,CAAc0D,MAAAA,CAAOzD,MAAM,EAAEyD,MAAAA,CAAOI,IAAI,CAAE/D,IAAI,CAAA,CAAG;AAChE,QAAA,MAAMf,KAAAA,GAAQ0E,MAAAA,CAAOI,IAAI,CAAE9E,KAAK;AAC/BqF,QAAAA,uBAAAA,CAAUzC,KAAAA,EAAO7B,IAAAA,CAAAA,CAAoB4C,MAAM,CAAC3D,KAAAA,EAAO,CAAA,CAAA;AACxD,IAAA;AACJ;AAEA;;;IAIO,SAASsF,eAAAA,CAAgB3F,OAAoB,EAAEkE,IAAoB,EAAEjB,KAAoB,EAAE9C,WAA8B,EAAA;AAC5H,IAAA,MAAMoF,OAAAA,GAAUT,cAAAA,CAAe9E,OAAAA,EAASkE,IAAAA,CAAKtD,MAAM,EAAET,WAAAA,CAAAA;IACrD,IAAIoF,OAAAA,EAASD,OAAAA,CAAQtF,OAAAA,EAASiD,KAAAA,EAAOsC,OAAAA,CAAAA;AACzC;AAEA;;;;;;IAOO,SAASK,aAAAA,CAAc5F,OAAoB,EAAEkE,IAAkB,EAAEjB,KAAoB,EAAE9C,aAA8B,EAAA;AACxH,IAAA,MAAMoF,OAAAA,GAAUT,cAAAA,CAAe9E,OAAAA,EAASkE,IAAAA,CAAKtD,MAAM,EAAET,aAAAA,CAAAA;AACrD,IAAA,IAAI,CAACoF,OAAAA,EAAS;IAEd,MAAMhD,KAAAA,GAAQxC,sBAAsBC,OAAAA,EAASkE,IAAAA,CAAKE,MAAM,EAAEF,IAAAA,CAAKhE,IAAI,EAAEC,aAAAA,CAAAA;AACrE,IAAA,IAAI,CAACoC,KAAAA,EAAO;IAEZ,MAAMsD,KAAAA,GAAQ7F,QAAQK,KAAK,CAACC,KAAK,CAACC,GAAG,CAAC2D,IAAAA,CAAKtD,MAAM,CAAA;IACjD,IAAK,IAAIkF,WAAmCvD,KAAAA,CAAMnC,MAAM,EAAE0F,QAAAA,EAAUA,QAAAA,GAAWA,SAASC,QAAQ,KAAKlF,YAAYA,SAAAA,GAAYb,OAAAA,CAAQK,KAAK,CAACC,KAAK,CAACC,GAAG,CAACuF,QAAAA,CAASC,QAAQ,CAAA,CAAG;AACrK,QAAA,IAAID,QAAAA,CAASrG,EAAE,KAAKoG,KAAAA,CAAMpG,EAAE,EAAE;AAC1BU,YAAAA,aAAAA,CAAYR,IAAI,CAACgB,2BAAAA,CAAgBG,0BAAAA,CAAekF,gBAAgB,EAAE,CAAC,CAAC,EAAEH,KAAAA,CAAMhE,KAAK,CAAC,qDAAqD,CAAC,EAAE;AAAEjB,gBAAAA,MAAAA,EAAQsD,KAAKtD;AAAO,aAAA,CAAA,CAAA;AAChK,YAAA;AACJ,QAAA;AACJ,IAAA;IAEA,MAAMsC,OAAAA,GAAUa,oBAAAA,CAAUwB,OAAAA,CAAQrC,OAAO,CAAA;IACzC,MAAMG,MAAAA,GAASd,MAAMpB,KAAK,CAACmC,GAAG,CAAClC,CAAAA,IAAAA,GAAQmC,2BAAAA,CAAcN,KAAAA,EAAO7B,IAAAA,CAAAA,CAAAA;AAC5DkE,IAAAA,OAAAA,CAAQtF,SAASiD,KAAAA,EAAOsC,OAAAA,CAAAA;AAExB,IAAA,IAAIA,QAAQpC,UAAU,IAAI,CAACZ,KAAAA,CAAMZ,IAAI,EAAE;AACnCxB,QAAAA,aAAAA,CAAYR,IAAI,CAACgB,2BAAAA,CAAgBG,0BAAAA,CAAesC,WAAW,EAAE,gDAAA,EAAkD;AAAExC,YAAAA,MAAAA,EAAQsD,KAAKtD;AAAO,SAAA,CAAA,CAAA;AACrI,QAAA;AACJ,IAAA;AAEA,IAAA,MAAM4C,MAAAA,GAASH,MAAM,CAAC,CAAA,CAAE,CAACG,MAAM;IAC/B,IAAIU,IAAAA,CAAK7D,KAAK,KAAKQ,SAAAA,KAAc,CAAC4C,MAAAA,CAAOC,SAAS,CAACQ,IAAAA,CAAK7D,KAAK,CAAA,IAAK6D,IAAAA,CAAK7D,KAAK,GAAG,CAAA,IAAK6D,KAAK7D,KAAK,GAAGmD,MAAK,CAAA,EAAI;AACtGrD,QAAAA,aAAAA,CAAYR,IAAI,CAACgB,2BAAAA,CAAgBG,0BAAAA,CAAe6C,eAAe,EAAE,CAAC,qBAAqB,EAAEO,IAAAA,CAAK7D,KAAK,CAAC,OAAO,EAAEmD,MAAAA,CAAO,UAAU,CAAC,EAAE;AAAE5C,YAAAA,MAAAA,EAAQsD,KAAKE;AAAO,SAAA,CAAA,CAAA;AACvJ,QAAA;AACJ,IAAA;AAEA,IAAA,IAAI,CAAC9B,aAAAA,CAActC,OAAAA,EAASuC,KAAAA,EAAOiB,QAAQrD,aAAAA,CAAAA,EAAc;IAEzD,KAAK,MAAMyD,SAASP,MAAAA,CAAQ;AACxB,QAAA,MAAMQ,OAAOtB,KAAAA,CAAMZ,IAAI,IAAI,CAAC4D,OAAAA,CAAQpC,UAAU,GAAG;AAAEW,YAAAA,OAAAA,EAASC,oBAAAA,CAAUb,OAAAA;AAAS,SAAA,GAAIa,oBAAAA,CAAUb,OAAAA,CAAAA;QAC7FU,KAAAA,CAAMI,MAAM,CAACE,IAAAA,CAAK7D,KAAK,IAAIuD,KAAAA,CAAMJ,MAAM,EAAE,CAAA,EAAGK,IAAAA,CAAAA;AAChD,IAAA;AACJ;;;;"}

package/dist/cjs/editing/validateBinding.js

@@ -0,0 +1,111 @@
+'use strict';
+
+var scene_model = require('@cratis/scene.model');
+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.
+const integerTypes = new Set([
+    'int',
+    'integer',
+    'int16',
+    'int32',
+    'int64',
+    'short',
+    'long',
+    'byte',
+    'uint',
+    'uint16',
+    'uint32',
+    'uint64'
+]);
+const fractionalTypes = new Set([
+    'number',
+    'float',
+    'double',
+    'decimal',
+    'single'
+]);
+function normalizeType(type) {
+    return type.trim().toLowerCase().replace(/\?$/, '');
+}
+/**
+ * Whether a value of one type can feed a parameter or field of another.
+ *
+ * Types compare by name. A whole number may feed a fractional one, never the reverse, and a type called `any` or
+ * `unknown` on either side matches anything.
+ */ function areTypesCompatible(sourceType, targetType) {
+    const source = normalizeType(sourceType);
+    const target = normalizeType(targetType);
+    if (source === target || source === 'any' || target === 'any' || source === 'unknown' || target === 'unknown') return true;
+    if (integerTypes.has(source)) return integerTypes.has(target) || fractionalTypes.has(target);
+    return fractionalTypes.has(source) && fractionalTypes.has(target);
+}
+/**
+ * Validates a query binding against the query it names and the property it is for.
+ *
+ * Reports a query that is not among the candidates, a result shape the property cannot bind to, a required
+ * parameter nothing supplies, a binding for a parameter the query does not have, an argument whose type does not
+ * fit its parameter, and a result binding that names a field the query does not return.
+ *
+ * @param descriptor The `QueryReference` property the binding is the value of.
+ * @param candidate The candidate the binding names, or `undefined` when the host found none.
+ * @param binding The binding to check.
+ * @param scope The types of the values arguments draw from. Without it argument types are not checked.
+ * @returns The problems found; empty when the binding is sound.
+ */ function validateBinding(descriptor, candidate, binding, scope) {
+    const path = descriptor.path;
+    if (!candidate || candidate.id !== binding.queryId) {
+        return [
+            diagnostics.errorDiagnostic(scene_model.DiagnosticCode.MissingQuery, `The query '${binding.query}' (${binding.queryId}) is not available here.`, {
+                path
+            })
+        ];
+    }
+    const diagnostics$1 = [];
+    const allowedShapes = descriptor.constraints?.resultShapes;
+    if (allowedShapes && !allowedShapes.includes(candidate.resultShape)) {
+        diagnostics$1.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.IncompatibleResultShape, `'${descriptor.label}' binds to ${allowedShapes.join(' or ')} results, but '${candidate.name}' returns ${candidate.resultShape}.`, {
+            path
+        }));
+    }
+    for (const argument of binding.arguments){
+        const parameter = candidate.parameters.find((candidateParameter)=>candidateParameter.name === argument.parameter);
+        if (!parameter) {
+            diagnostics$1.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.UnknownParameter, `'${candidate.name}' has no parameter '${argument.parameter}'.`, {
+                path
+            }));
+            continue;
+        }
+        if (!scope) continue;
+        const sourceType = scope.types[argument.source.path];
+        if (sourceType === undefined) {
+            diagnostics$1.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.UnresolvedArgumentSource, `'${argument.source.path}' is not available to supply '${parameter.name}'.`, {
+                path
+            }));
+        } else if (!areTypesCompatible(sourceType, parameter.type)) {
+            diagnostics$1.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.ArgumentTypeMismatch, `'${argument.source.path}' is ${sourceType} but '${parameter.name}' expects ${parameter.type}.`, {
+                path
+            }));
+        }
+    }
+    for (const parameter of candidate.parameters.filter((candidateParameter)=>candidateParameter.required)){
+        if (!binding.arguments.some((argument)=>argument.parameter === parameter.name)) {
+            diagnostics$1.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.MissingRequiredParameter, `'${candidate.name}' needs a value for '${parameter.name}'.`, {
+                path
+            }));
+        }
+    }
+    for (const result of binding.results){
+        if (!candidate.resultFields.some((field)=>field.name === result.field)) {
+            diagnostics$1.push(diagnostics.errorDiagnostic(scene_model.DiagnosticCode.UnknownResultField, `'${candidate.name}' does not return a field '${result.field}'.`, {
+                path
+            }));
+        }
+    }
+    return diagnostics$1;
+}
+
+exports.areTypesCompatible = areTypesCompatible;
+exports.validateBinding = validateBinding;
+//# sourceMappingURL=validateBinding.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validateBinding.js","sources":["../../../editing/validateBinding.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    DiagnosticCode, PropertyDescriptor, QueryBinding, QueryCandidate, SceneDiagnostic,\n} from '@cratis/scene.model';\nimport { errorDiagnostic } from './diagnostics';\n\n/**\n * The types of the values a binding can draw from, keyed by binding path. Supplied by the host, which knows what\n * is in scope where the query is used.\n */\nexport interface BindingTypeScope {\n    types: Record<string, string>;\n}\n\nconst integerTypes = new Set(['int', 'integer', 'int16', 'int32', 'int64', 'short', 'long', 'byte', 'uint', 'uint16', 'uint32', 'uint64']);\nconst fractionalTypes = new Set(['number', 'float', 'double', 'decimal', 'single']);\n\nfunction normalizeType(type: string): string {\n    return type.trim().toLowerCase().replace(/\\?$/, '');\n}\n\n/**\n * Whether a value of one type can feed a parameter or field of another.\n *\n * Types compare by name. A whole number may feed a fractional one, never the reverse, and a type called `any` or\n * `unknown` on either side matches anything.\n */\nexport function areTypesCompatible(sourceType: string, targetType: string): boolean {\n    const source = normalizeType(sourceType);\n    const target = normalizeType(targetType);\n    if (source === target || source === 'any' || target === 'any' || source === 'unknown' || target === 'unknown') return true;\n    if (integerTypes.has(source)) return integerTypes.has(target) || fractionalTypes.has(target);\n    return fractionalTypes.has(source) && fractionalTypes.has(target);\n}\n\n/**\n * Validates a query binding against the query it names and the property it is for.\n *\n * Reports a query that is not among the candidates, a result shape the property cannot bind to, a required\n * parameter nothing supplies, a binding for a parameter the query does not have, an argument whose type does not\n * fit its parameter, and a result binding that names a field the query does not return.\n *\n * @param descriptor The `QueryReference` property the binding is the value of.\n * @param candidate The candidate the binding names, or `undefined` when the host found none.\n * @param binding The binding to check.\n * @param scope The types of the values arguments draw from. Without it argument types are not checked.\n * @returns The problems found; empty when the binding is sound.\n */\nexport function validateBinding(\n    descriptor: PropertyDescriptor,\n    candidate: QueryCandidate | undefined,\n    binding: QueryBinding,\n    scope?: BindingTypeScope,\n): SceneDiagnostic[] {\n    const path = descriptor.path;\n    if (!candidate || candidate.id !== binding.queryId) {\n        return [errorDiagnostic(DiagnosticCode.MissingQuery, `The query '${binding.query}' (${binding.queryId}) is not available here.`, { path })];\n    }\n\n    const diagnostics: SceneDiagnostic[] = [];\n    const allowedShapes = descriptor.constraints?.resultShapes;\n    if (allowedShapes && !allowedShapes.includes(candidate.resultShape)) {\n        diagnostics.push(errorDiagnostic(\n            DiagnosticCode.IncompatibleResultShape,\n            `'${descriptor.label}' binds to ${allowedShapes.join(' or ')} results, but '${candidate.name}' returns ${candidate.resultShape}.`,\n            { path }));\n    }\n\n    for (const argument of binding.arguments) {\n        const parameter = candidate.parameters.find(candidateParameter => candidateParameter.name === argument.parameter);\n        if (!parameter) {\n            diagnostics.push(errorDiagnostic(DiagnosticCode.UnknownParameter, `'${candidate.name}' has no parameter '${argument.parameter}'.`, { path }));\n            continue;\n        }\n\n        if (!scope) continue;\n        const sourceType = scope.types[argument.source.path];\n        if (sourceType === undefined) {\n            diagnostics.push(errorDiagnostic(DiagnosticCode.UnresolvedArgumentSource, `'${argument.source.path}' is not available to supply '${parameter.name}'.`, { path }));\n        } else if (!areTypesCompatible(sourceType, parameter.type)) {\n            diagnostics.push(errorDiagnostic(\n                DiagnosticCode.ArgumentTypeMismatch,\n                `'${argument.source.path}' is ${sourceType} but '${parameter.name}' expects ${parameter.type}.`,\n                { path }));\n        }\n    }\n\n    for (const parameter of candidate.parameters.filter(candidateParameter => candidateParameter.required)) {\n        if (!binding.arguments.some(argument => argument.parameter === parameter.name)) {\n            diagnostics.push(errorDiagnostic(DiagnosticCode.MissingRequiredParameter, `'${candidate.name}' needs a value for '${parameter.name}'.`, { path }));\n        }\n    }\n\n    for (const result of binding.results) {\n        if (!candidate.resultFields.some(field => field.name === result.field)) {\n            diagnostics.push(errorDiagnostic(DiagnosticCode.UnknownResultField, `'${candidate.name}' does not return a field '${result.field}'.`, { path }));\n        }\n    }\n\n    return diagnostics;\n}\n"],"names":["integerTypes","Set","fractionalTypes","normalizeType","type","trim","toLowerCase","replace","areTypesCompatible","sourceType","targetType","source","target","has","validateBinding","descriptor","candidate","binding","scope","path","id","queryId","errorDiagnostic","DiagnosticCode","MissingQuery","query","diagnostics","allowedShapes","constraints","resultShapes","includes","resultShape","push","IncompatibleResultShape","label","join","name","argument","arguments","parameter","parameters","find","candidateParameter","UnknownParameter","types","undefined","UnresolvedArgumentSource","ArgumentTypeMismatch","filter","required","some","MissingRequiredParameter","result","results","resultFields","field","UnknownResultField"],"mappings":";;;;;AAAA;AACA;AAeA,MAAMA,YAAAA,GAAe,IAAIC,GAAAA,CAAI;AAAC,IAAA,KAAA;AAAO,IAAA,SAAA;AAAW,IAAA,OAAA;AAAS,IAAA,OAAA;AAAS,IAAA,OAAA;AAAS,IAAA,OAAA;AAAS,IAAA,MAAA;AAAQ,IAAA,MAAA;AAAQ,IAAA,MAAA;AAAQ,IAAA,QAAA;AAAU,IAAA,QAAA;AAAU,IAAA;AAAS,CAAA,CAAA;AACzI,MAAMC,eAAAA,GAAkB,IAAID,GAAAA,CAAI;AAAC,IAAA,QAAA;AAAU,IAAA,OAAA;AAAS,IAAA,QAAA;AAAU,IAAA,SAAA;AAAW,IAAA;AAAS,CAAA,CAAA;AAElF,SAASE,cAAcC,IAAY,EAAA;AAC/B,IAAA,OAAOA,KAAKC,IAAI,EAAA,CAAGC,WAAW,EAAA,CAAGC,OAAO,CAAC,KAAA,EAAO,EAAA,CAAA;AACpD;AAEA;;;;;AAKC,IACM,SAASC,kBAAAA,CAAmBC,UAAkB,EAAEC,UAAkB,EAAA;AACrE,IAAA,MAAMC,SAASR,aAAAA,CAAcM,UAAAA,CAAAA;AAC7B,IAAA,MAAMG,SAAST,aAAAA,CAAcO,UAAAA,CAAAA;IAC7B,IAAIC,MAAAA,KAAWC,MAAAA,IAAUD,MAAAA,KAAW,KAAA,IAASC,MAAAA,KAAW,SAASD,MAAAA,KAAW,SAAA,IAAaC,MAAAA,KAAW,SAAA,EAAW,OAAO,IAAA;IACtH,IAAIZ,YAAAA,CAAaa,GAAG,CAACF,MAAAA,CAAAA,EAAS,OAAOX,YAAAA,CAAaa,GAAG,CAACD,MAAAA,CAAAA,IAAWV,eAAAA,CAAgBW,GAAG,CAACD,MAAAA,CAAAA;AACrF,IAAA,OAAOV,gBAAgBW,GAAG,CAACF,MAAAA,CAAAA,IAAWT,eAAAA,CAAgBW,GAAG,CAACD,MAAAA,CAAAA;AAC9D;AAEA;;;;;;;;;;;;IAaO,SAASE,eAAAA,CACZC,UAA8B,EAC9BC,SAAqC,EACrCC,OAAqB,EACrBC,KAAwB,EAAA;IAExB,MAAMC,IAAAA,GAAOJ,WAAWI,IAAI;AAC5B,IAAA,IAAI,CAACH,SAAAA,IAAaA,SAAAA,CAAUI,EAAE,KAAKH,OAAAA,CAAQI,OAAO,EAAE;QAChD,OAAO;AAACC,YAAAA,2BAAAA,CAAgBC,2BAAeC,YAAY,EAAE,CAAC,WAAW,EAAEP,OAAAA,CAAQQ,KAAK,CAAC,GAAG,EAAER,OAAAA,CAAQI,OAAO,CAAC,wBAAwB,CAAC,EAAE;AAAEF,gBAAAA;AAAK,aAAA;AAAG,SAAA;AAC/I,IAAA;AAEA,IAAA,MAAMO,gBAAiC,EAAE;IACzC,MAAMC,aAAAA,GAAgBZ,UAAAA,CAAWa,WAAW,EAAEC,YAAAA;AAC9C,IAAA,IAAIF,iBAAiB,CAACA,aAAAA,CAAcG,QAAQ,CAACd,SAAAA,CAAUe,WAAW,CAAA,EAAG;AACjEL,QAAAA,aAAAA,CAAYM,IAAI,CAACV,2BAAAA,CACbC,0BAAAA,CAAeU,uBAAuB,EACtC,CAAC,CAAC,EAAElB,UAAAA,CAAWmB,KAAK,CAAC,WAAW,EAAEP,aAAAA,CAAcQ,IAAI,CAAC,MAAA,CAAA,CAAQ,eAAe,EAAEnB,SAAAA,CAAUoB,IAAI,CAAC,UAAU,EAAEpB,SAAAA,CAAUe,WAAW,CAAC,CAAC,CAAC,EACjI;AAAEZ,YAAAA;AAAK,SAAA,CAAA,CAAA;AACf,IAAA;AAEA,IAAA,KAAK,MAAMkB,QAAAA,IAAYpB,OAAAA,CAAQqB,SAAS,CAAE;AACtC,QAAA,MAAMC,SAAAA,GAAYvB,SAAAA,CAAUwB,UAAU,CAACC,IAAI,CAACC,CAAAA,kBAAAA,GAAsBA,kBAAAA,CAAmBN,IAAI,KAAKC,QAAAA,CAASE,SAAS,CAAA;AAChH,QAAA,IAAI,CAACA,SAAAA,EAAW;AACZb,YAAAA,aAAAA,CAAYM,IAAI,CAACV,2BAAAA,CAAgBC,2BAAeoB,gBAAgB,EAAE,CAAC,CAAC,EAAE3B,UAAUoB,IAAI,CAAC,oBAAoB,EAAEC,QAAAA,CAASE,SAAS,CAAC,EAAE,CAAC,EAAE;AAAEpB,gBAAAA;AAAK,aAAA,CAAA,CAAA;AAC1I,YAAA;AACJ,QAAA;AAEA,QAAA,IAAI,CAACD,KAAAA,EAAO;QACZ,MAAMT,UAAAA,GAAaS,MAAM0B,KAAK,CAACP,SAAS1B,MAAM,CAACQ,IAAI,CAAC;AACpD,QAAA,IAAIV,eAAeoC,SAAAA,EAAW;YAC1BnB,aAAAA,CAAYM,IAAI,CAACV,2BAAAA,CAAgBC,0BAAAA,CAAeuB,wBAAwB,EAAE,CAAC,CAAC,EAAET,QAAAA,CAAS1B,MAAM,CAACQ,IAAI,CAAC,8BAA8B,EAAEoB,UAAUH,IAAI,CAAC,EAAE,CAAC,EAAE;AAAEjB,gBAAAA;AAAK,aAAA,CAAA,CAAA;AAClK,QAAA,CAAA,MAAO,IAAI,CAACX,kBAAAA,CAAmBC,UAAAA,EAAY8B,SAAAA,CAAUnC,IAAI,CAAA,EAAG;AACxDsB,YAAAA,aAAAA,CAAYM,IAAI,CAACV,2BAAAA,CACbC,0BAAAA,CAAewB,oBAAoB,EACnC,CAAC,CAAC,EAAEV,QAAAA,CAAS1B,MAAM,CAACQ,IAAI,CAAC,KAAK,EAAEV,UAAAA,CAAW,MAAM,EAAE8B,SAAAA,CAAUH,IAAI,CAAC,UAAU,EAAEG,SAAAA,CAAUnC,IAAI,CAAC,CAAC,CAAC,EAC/F;AAAEe,gBAAAA;AAAK,aAAA,CAAA,CAAA;AACf,QAAA;AACJ,IAAA;IAEA,KAAK,MAAMoB,SAAAA,IAAavB,SAAAA,CAAUwB,UAAU,CAACQ,MAAM,CAACN,CAAAA,kBAAAA,GAAsBA,kBAAAA,CAAmBO,QAAQ,CAAA,CAAG;AACpG,QAAA,IAAI,CAAChC,OAAAA,CAAQqB,SAAS,CAACY,IAAI,CAACb,CAAAA,QAAAA,GAAYA,QAAAA,CAASE,SAAS,KAAKA,SAAAA,CAAUH,IAAI,CAAA,EAAG;AAC5EV,YAAAA,aAAAA,CAAYM,IAAI,CAACV,2BAAAA,CAAgBC,2BAAe4B,wBAAwB,EAAE,CAAC,CAAC,EAAEnC,UAAUoB,IAAI,CAAC,qBAAqB,EAAEG,SAAAA,CAAUH,IAAI,CAAC,EAAE,CAAC,EAAE;AAAEjB,gBAAAA;AAAK,aAAA,CAAA,CAAA;AACnJ,QAAA;AACJ,IAAA;AAEA,IAAA,KAAK,MAAMiC,MAAAA,IAAUnC,OAAAA,CAAQoC,OAAO,CAAE;AAClC,QAAA,IAAI,CAACrC,SAAAA,CAAUsC,YAAY,CAACJ,IAAI,CAACK,CAAAA,KAAAA,GAASA,KAAAA,CAAMnB,IAAI,KAAKgB,MAAAA,CAAOG,KAAK,CAAA,EAAG;AACpE7B,YAAAA,aAAAA,CAAYM,IAAI,CAACV,2BAAAA,CAAgBC,2BAAeiC,kBAAkB,EAAE,CAAC,CAAC,EAAExC,UAAUoB,IAAI,CAAC,2BAA2B,EAAEgB,MAAAA,CAAOG,KAAK,CAAC,EAAE,CAAC,EAAE;AAAEpC,gBAAAA;AAAK,aAAA,CAAA,CAAA;AACjJ,QAAA;AACJ,IAAA;IAEA,OAAOO,aAAAA;AACX;;;"}