@bptlab/openbpt-modeler-typed-pn-variants 1.0.0

package/dist/lib/replace/ReplaceMenuProvider.js

@@ -0,0 +1,84 @@
+import { is } from "../util/Util";
+import { isArray } from "min-dash";
+import { MODELER_PREFIX } from "../util/constants";
+const variableArcReplaceOptions = [
+    {
+        label: "Replace with non-variable arc",
+        actionName: "replace-with-arc",
+        className: "bpmn-icon-connection",
+        target: {
+            type: `${MODELER_PREFIX}:Arc`,
+        },
+    },
+];
+const arcReplaceOptions = [
+    {
+        label: "Replace with variable arc",
+        actionName: "replace-with-variable-arc",
+        className: "bpmn-icon-connection",
+        target: {
+            type: `${MODELER_PREFIX}:VariableArc`,
+        },
+    },
+];
+export default class ReplaceMenuProvider {
+    constructor(customElementFactory, popupMenu, modeling, moddle, rules, translate, moddleCopy) {
+        this._customElementFactory = customElementFactory;
+        this._popupMenu = popupMenu;
+        this._modeling = modeling;
+        this._moddle = moddle;
+        this._rules = rules;
+        this._translate = translate;
+        this._moddleCopy = moddleCopy;
+        this._popupMenu.registerProvider("tpn-replace", this);
+    }
+    getPopupMenuEntries(target) {
+        const businessObject = target.businessObject;
+        if (isArray(target)) {
+            return {};
+        }
+        if (is(businessObject, `${MODELER_PREFIX}:Arc`)) {
+            return this._createArcEntries(target);
+        }
+        return {};
+    }
+    _createArcEntries(target) {
+        const entries = {};
+        const self = this;
+        if (target.businessObject.variableType) {
+            entries["replace-with-arc"] = self._createEntry(variableArcReplaceOptions[0], target, function () {
+                self._modeling.updateProperties(target, { variableType: undefined });
+            });
+        }
+        else {
+            entries["replace-with-variable-arc"] = self._createEntry(arcReplaceOptions[0], target, function () {
+                self._modeling.updateProperties(target, {
+                    variableType: "something",
+                });
+            });
+        }
+        return entries;
+    }
+    _createEntry(replaceOption, target, action) {
+        const translate = this._translate;
+        let label = replaceOption.label;
+        if (label && typeof label === "function") {
+            label = label(target);
+        }
+        return {
+            label: translate(label),
+            className: replaceOption.className,
+            action: action,
+        };
+    }
+}
+ReplaceMenuProvider.$inject = [
+    "customElementFactory",
+    "popupMenu",
+    "modeling",
+    "moddle",
+    "rules",
+    "translate",
+    "moddleCopy",
+];
+//# sourceMappingURL=ReplaceMenuProvider.js.map

package/dist/lib/replace/ReplaceMenuProvider.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ReplaceMenuProvider.js","sourceRoot":"","sources":["../../../lib/replace/ReplaceMenuProvider.js"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,cAAc,CAAC;AAClC,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACnC,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEnD,MAAM,yBAAyB,GAAG;IAChC;QACE,KAAK,EAAE,+BAA+B;QACtC,UAAU,EAAE,kBAAkB;QAC9B,SAAS,EAAE,sBAAsB;QACjC,MAAM,EAAE;YACN,IAAI,EAAE,GAAG,cAAc,MAAM;SAC9B;KACF;CACF,CAAC;AAEF,MAAM,iBAAiB,GAAG;IACxB;QACE,KAAK,EAAE,2BAA2B;QAClC,UAAU,EAAE,2BAA2B;QACvC,SAAS,EAAE,sBAAsB;QACjC,MAAM,EAAE;YACN,IAAI,EAAE,GAAG,cAAc,cAAc;SACtC;KACF;CACF,CAAC;AAEF,MAAM,CAAC,OAAO,OAAO,mBAAmB;IACtC,YACE,oBAAoB,EACpB,SAAS,EACT,QAAQ,EACR,MAAM,EACN,KAAK,EACL,SAAS,EACT,UAAU;QAEV,IAAI,CAAC,qBAAqB,GAAG,oBAAoB,CAAC;QAClD,IAAI,CAAC,UAAU,GAAG,SAAS,CAAC;QAC5B,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC;QAC1B,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;QACtB,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;QACpB,IAAI,CAAC,UAAU,GAAG,SAAS,CAAC;QAC5B,IAAI,CAAC,WAAW,GAAG,UAAU,CAAC;QAE9B,IAAI,CAAC,UAAU,CAAC,gBAAgB,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;IACxD,CAAC;IAED,mBAAmB,CAAC,MAAM;QACxB,MAAM,cAAc,GAAG,MAAM,CAAC,cAAc,CAAC;QAE7C,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACpB,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,IAAI,EAAE,CAAC,cAAc,EAAE,GAAG,cAAc,MAAM,CAAC,EAAE,CAAC;YAChD,OAAO,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QACxC,CAAC;QAED,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,iBAAiB,CAAC,MAAM;QACtB,MAAM,OAAO,GAAG,EAAE,CAAC;QACnB,MAAM,IAAI,GAAG,IAAI,CAAC;QAElB,IAAI,MAAM,CAAC,cAAc,CAAC,YAAY,EAAE,CAAC;YACvC,OAAO,CAAC,kBAAkB,CAAC,GAAG,IAAI,CAAC,YAAY,CAC7C,yBAAyB,CAAC,CAAC,CAAC,EAC5B,MAAM,EACN;gBACE,IAAI,CAAC,SAAS,CAAC,gBAAgB,CAAC,MAAM,EAAE,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC,CAAC;YACvE,CAAC,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,2BAA2B,CAAC,GAAG,IAAI,CAAC,YAAY,CACtD,iBAAiB,CAAC,CAAC,CAAC,EACpB,MAAM,EACN;gBACE,IAAI,CAAC,SAAS,CAAC,gBAAgB,CAAC,MAAM,EAAE;oBACtC,YAAY,EAAE,WAAW;iBAC1B,CAAC,CAAC;YACL,CAAC,CACF,CAAC;QACJ,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,YAAY,CAAC,aAAa,EAAE,MAAM,EAAE,MAAM;QACxC,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC;QAElC,IAAI,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC;QAChC,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;YACzC,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;QACxB,CAAC;QAED,OAAO;YACL,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC;YACvB,SAAS,EAAE,aAAa,CAAC,SAAS;YAClC,MAAM,EAAE,MAAM;SACf,CAAC;IACJ,CAAC;CACF;AAED,mBAAmB,CAAC,OAAO,GAAG;IAC5B,sBAAsB;IACtB,WAAW;IACX,UAAU;IACV,QAAQ;IACR,OAAO;IACP,WAAW;IACX,YAAY;CACb,CAAC"}

package/dist/lib/replace/index.js

@@ -0,0 +1,9 @@
+import PopupMenuModule from "diagram-js/lib/features/popup-menu";
+import ReplaceMenuProvider from "./ReplaceMenuProvider";
+import AutoPlaceModule from "../auto-place";
+export default {
+    __depends__: [PopupMenuModule, AutoPlaceModule],
+    __init__: ["replaceMenuProvider"],
+    replaceMenuProvider: ["type", ReplaceMenuProvider],
+};
+//# sourceMappingURL=index.js.map

package/dist/lib/replace/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../lib/replace/index.js"],"names":[],"mappings":"AAAA,OAAO,eAAe,MAAM,oCAAoC,CAAC;AAEjE,OAAO,mBAAmB,MAAM,uBAAuB,CAAC;AACxD,OAAO,eAAe,MAAM,eAAe,CAAC;AAE5C,eAAe;IACb,WAAW,EAAE,CAAC,eAAe,EAAE,eAAe,CAAC;IAC/C,QAAQ,EAAE,CAAC,qBAAqB,CAAC;IACjC,mBAAmB,EAAE,CAAC,MAAM,EAAE,mBAAmB,CAAC;CACnD,CAAC"}

package/dist/lib/rules/CustomRuleProvider.js

@@ -0,0 +1,107 @@
+import RuleProvider from "diagram-js/lib/features/rules/RuleProvider";
+import { isLabel } from "../modeling/LabelUtil";
+import { is } from "../util/Util";
+import { MODELER_PREFIX } from "../util/constants";
+export default class CustomRuleProvider extends RuleProvider {
+    constructor(eventBus, elementRegistry) {
+        super(eventBus);
+        this._elementRegistry = elementRegistry;
+    }
+    // CustomModelerTodo: Define the rules for your modeler. For example, you can define which elements can be connected to each other,
+    // which elements can be moved, resized, or created, and so on.
+    init() {
+        this.addRule("connection.create", function (context) {
+            const { source, target } = context;
+            return canConnect(source, target);
+        });
+        // CustomModelerTodo: Define which elements may be the source of a connection.
+        // Returns the type of connection to be used. May depend on the source element type.
+        this.addRule("connection.start", function (context) {
+            const source = context.source;
+            return (is(source, `${MODELER_PREFIX}:Node`) && {
+                type: `${MODELER_PREFIX}:Arc`,
+            });
+        });
+        this.addRule("connection.reconnect", function (context) {
+            const { source, target } = context;
+            return canConnect(source, target);
+        });
+        this.addRule("connection.updateWaypoints", function (context) {
+            return {
+                type: context.connection.type,
+            };
+        });
+        // Shapes should not be placed (created/moved) on top of each other.
+        // Look at https://github.com/bpmn-io/bpmn-js/blob/c3ab26b1ab8e33f238cec6c9704f875e4ddc1a1a/lib/features/rules/BpmnRules.js#L160 for reference
+        // if your modeler should support overlapping/hierarchical shapes.
+        // Note: Currently, the target is defined as the shape at the cursor position.
+        // Hence, overlaps are still possible since we do not consider the bounds of the moved shape.
+        this.addRule("shape.create", function (context) {
+            const { shape, target } = context;
+            return canCreate(shape, target);
+        });
+        this.addRule("elements.create", function (context) {
+            const { target, elements } = context;
+            return elements.every(function (shape) {
+                return canCreate(shape, target);
+            });
+        });
+        this.addRule("elements.move", function (context) {
+            // Note: Since it's only about the position, the objects are called "shapes" instead of "elements" in the context object.
+            const { target, shapes } = context;
+            return canMove(shapes, target);
+        });
+        // CustomModelerTodo: Define which elements may be resized.
+        this.addRule("shape.resize", function (context) {
+            if (context.shape.type === `${MODELER_PREFIX}:Transition`) {
+                return true;
+            }
+            return false;
+        });
+        this.addRule("element.copy", function (context) {
+            return true;
+        });
+    }
+    canConnect(source, target) {
+        return canConnect(source, target);
+    }
+}
+CustomRuleProvider.$inject = ["eventBus", "elementRegistry"];
+// CustomModelerTodo: Define logic to regulate which elements can be connected.
+// Must return the type of the connection to be created.
+function canConnect(source, target) {
+    return (((source.type === `${MODELER_PREFIX}:Place` &&
+        target.type === `${MODELER_PREFIX}:Transition`) ||
+        (source.type === `${MODELER_PREFIX}:Transition` &&
+            target.type === `${MODELER_PREFIX}:Place`)) && {
+        type: `${MODELER_PREFIX}:Arc`,
+    });
+}
+function canMove(shapes, target) {
+    // allow default move check to start move operation
+    if (!target) {
+        return true;
+    }
+    // check if shapes can be dropped on target location
+    return shapes.every(function (shape) {
+        return canDrop(shape, target);
+    });
+}
+function canCreate(shape, target) {
+    if (!target) {
+        return false;
+    }
+    return canDrop(shape, target);
+}
+function canDrop(shape, target) {
+    // labels can be moved everywhere
+    if (isLabel(shape)) {
+        return true;
+    }
+    // ModelElements (i.e., places, transitions, and arcs) cannot be dropped on other ModelElements
+    if (is(shape, `${MODELER_PREFIX}:ModelElement`)) {
+        return !is(target, `${MODELER_PREFIX}:ModelElement`);
+    }
+    return false;
+}
+//# sourceMappingURL=CustomRuleProvider.js.map

package/dist/lib/rules/CustomRuleProvider.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CustomRuleProvider.js","sourceRoot":"","sources":["../../../lib/rules/CustomRuleProvider.js"],"names":[],"mappings":"AAAA,OAAO,YAAY,MAAM,4CAA4C,CAAC;AACtE,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,EAAE,EAAE,MAAM,cAAc,CAAC;AAClC,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEnD,MAAM,CAAC,OAAO,OAAO,kBAAmB,SAAQ,YAAY;IAC1D,YAAY,QAAQ,EAAE,eAAe;QACnC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAChB,IAAI,CAAC,gBAAgB,GAAG,eAAe,CAAC;IAC1C,CAAC;IAED,mIAAmI;IACnI,+DAA+D;IAC/D,IAAI;QACF,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,UAAU,OAAO;YACjD,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;YACnC,OAAO,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,8EAA8E;QAC9E,oFAAoF;QACpF,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE,UAAU,OAAO;YAChD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;YAC9B,OAAO,CACL,EAAE,CAAC,MAAM,EAAE,GAAG,cAAc,OAAO,CAAC,IAAI;gBACtC,IAAI,EAAE,GAAG,cAAc,MAAM;aAC9B,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,OAAO,CAAC,sBAAsB,EAAE,UAAU,OAAO;YACpD,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;YACnC,OAAO,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,OAAO,CAAC,4BAA4B,EAAE,UAAU,OAAO;YAC1D,OAAO;gBACL,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,IAAI;aAC9B,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,oEAAoE;QACpE,8IAA8I;QAC9I,kEAAkE;QAClE,8EAA8E;QAC9E,6FAA6F;QAC7F,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,UAAU,OAAO;YAC5C,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;YAClC,OAAO,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,UAAU,OAAO;YAC/C,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;YACrC,OAAO,QAAQ,CAAC,KAAK,CAAC,UAAU,KAAK;gBACnC,OAAO,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAClC,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,UAAU,OAAO;YAC7C,yHAAyH;YACzH,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;YACnC,OAAO,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,2DAA2D;QAC3D,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,UAAU,OAAO;YAC5C,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,cAAc,aAAa,EAAE,CAAC;gBAC1D,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,UAAU,OAAO;YAC5C,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;IACL,CAAC;IAED,UAAU,CAAC,MAAM,EAAE,MAAM;QACvB,OAAO,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;CACF;AAED,kBAAkB,CAAC,OAAO,GAAG,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;AAE7D,+EAA+E;AAC/E,wDAAwD;AACxD,SAAS,UAAU,CAAC,MAAM,EAAE,MAAM;IAChC,OAAO,CACL,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,GAAG,cAAc,QAAQ;QACzC,MAAM,CAAC,IAAI,KAAK,GAAG,cAAc,aAAa,CAAC;QAC/C,CAAC,MAAM,CAAC,IAAI,KAAK,GAAG,cAAc,aAAa;YAC7C,MAAM,CAAC,IAAI,KAAK,GAAG,cAAc,QAAQ,CAAC,CAAC,IAAI;QACjD,IAAI,EAAE,GAAG,cAAc,MAAM;KAC9B,CACF,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,MAAM,EAAE,MAAM;IAC7B,mDAAmD;IACnD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,IAAI,CAAC;IACd,CAAC;IAED,oDAAoD;IACpD,OAAO,MAAM,CAAC,KAAK,CAAC,UAAU,KAAK;QACjC,OAAO,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,SAAS,CAAC,KAAK,EAAE,MAAM;IAC9B,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,OAAO,CAAC,KAAK,EAAE,MAAM;IAC5B,iCAAiC;IACjC,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACnB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,+FAA+F;IAC/F,IAAI,EAAE,CAAC,KAAK,EAAE,GAAG,cAAc,eAAe,CAAC,EAAE,CAAC;QAChD,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,GAAG,cAAc,eAAe,CAAC,CAAC;IACvD,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/lib/rules/index.js

@@ -0,0 +1,8 @@
+import RulesModule from "diagram-js/lib/features/rules";
+import CustomRuleProvider from "./CustomRuleProvider";
+export default {
+    __depends__: [RulesModule],
+    __init__: ["customRuleProvider"],
+    customRuleProvider: ["type", CustomRuleProvider],
+};
+//# sourceMappingURL=index.js.map

package/dist/lib/rules/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../lib/rules/index.js"],"names":[],"mappings":"AAAA,OAAO,WAAW,MAAM,+BAA+B,CAAC;AAExD,OAAO,kBAAkB,MAAM,sBAAsB,CAAC;AAEtD,eAAe;IACb,WAAW,EAAE,CAAC,WAAW,CAAC;IAC1B,QAAQ,EAAE,CAAC,oBAAoB,CAAC;IAChC,kBAAkB,EAAE,CAAC,MAAM,EAAE,kBAAkB,CAAC;CACjD,CAAC"}

package/dist/lib/simulation/EventHelper.js

@@ -0,0 +1,6 @@
+const TOGGLE_MODE_EVENT = "tokenSimulation.toggleMode";
+const FIRE_TRANSITION_EVENT = "tokenSimulation.fire";
+const RESET_SIMULATION_EVENT = "tokenSimulation.reset";
+const TRANSITION_FIRED_EVENT = "tokenSimulation.firedTransition";
+export { TOGGLE_MODE_EVENT, FIRE_TRANSITION_EVENT, RESET_SIMULATION_EVENT, TRANSITION_FIRED_EVENT, };
+//# sourceMappingURL=EventHelper.js.map

package/dist/lib/simulation/EventHelper.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"EventHelper.js","sourceRoot":"","sources":["../../../lib/simulation/EventHelper.js"],"names":[],"mappings":"AAAA,MAAM,iBAAiB,GAAG,4BAA4B,CAAC;AACvD,MAAM,qBAAqB,GAAG,sBAAsB,CAAC;AACrD,MAAM,sBAAsB,GAAG,uBAAuB,CAAC;AACvD,MAAM,sBAAsB,GAAG,iCAAiC,CAAC;AAEjE,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,sBAAsB,EACtB,sBAAsB,GACvB,CAAC"}

package/dist/lib/simulation/Utils.js

@@ -0,0 +1,8 @@
+import { getValidInputBindings } from "./binding-utils/bindingUtils";
+// TODO: change all imports to bindingUtilsNew
+import { transitionIsEnabled } from "./binding-utils/bindingUtils";
+export { getValidInputBindings, transitionIsEnabled };
+export function getChildById(element, id) {
+    return element.children.find((child) => child.id === id);
+}
+//# sourceMappingURL=Utils.js.map

package/dist/lib/simulation/Utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Utils.js","sourceRoot":"","sources":["../../../lib/simulation/Utils.js"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAErE,8CAA8C;AAC9C,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAEnE,OAAO,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,CAAC;AAEtD,MAAM,UAAU,YAAY,CAAC,OAAO,EAAE,EAAE;IACtC,OAAO,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AAC3D,CAAC"}

package/dist/lib/simulation/binding-utils/arcPlaceInfoLogic.js

@@ -0,0 +1,157 @@
+import { createDataClassCombinationKeyFromDict, getDataClassFromKey, getDataClassKey, tokensEqual, } from "./helpers";
+/**
+ * Builds a dictionary mapping arc IDs to their corresponding `ArcPlaceInfo` objects.
+ * For each incoming arc, generates its `ArcPlaceInfo` and checks for existing data class combinations.
+ * If a combination is new, adds the arc and its info to the dictionary.
+ * If a combination already exists, merges tokens into the existing `ArcPlaceInfo` and updates its data class info.
+ *
+ * @param incomingArcs - An array of `Arc` objects to process.
+ * @returns A tuple `[ArcPlaceInfoDict, ArcPlaceInfoDict]` where the first dictionary contains merged arc info for all relevant arcs, and the second dictionary contains arc info for exact-syncing arcs only.
+ */
+export function buildArcPlaceInfoDict(incomingArcs) {
+    const arcPlaceInfoDict = {};
+    const exactSynchingArcPlaceInfoDict = {};
+    const existingDataClassCombinations = {};
+    for (const arc of incomingArcs) {
+        const arcPlaceInfo = buildArcPlaceInfo(arc);
+        // Never merge inhibitor arcs
+        if (arcPlaceInfo.isInhibitorArc) {
+            arcPlaceInfoDict[arc.id] = arcPlaceInfo;
+            continue;
+        }
+        // For exact synchro arcs, also keep track of them in a separate dictionary for later use in checking ExactSubsetSynchro constraints
+        if (arcPlaceInfo.isExactSyncing) {
+            exactSynchingArcPlaceInfoDict[arc.id] = Object.assign({}, arcPlaceInfo);
+        }
+        const dataClassCombination = createDataClassCombinationKeyFromDict(arcPlaceInfo.dataClassInfoDict);
+        if (!existingDataClassCombinations[dataClassCombination]) {
+            existingDataClassCombinations[dataClassCombination] = arc.id;
+            arcPlaceInfoDict[arc.id] = arcPlaceInfo;
+        }
+        else {
+            // Merge tokens into existing ArcPlaceInfo
+            const existingArcId = existingDataClassCombinations[dataClassCombination];
+            arcPlaceInfoDict[existingArcId].tokens = arcPlaceInfoDict[existingArcId].tokens.filter((token) => arcPlaceInfo.tokens.some((existingToken) => tokensEqual(token, existingToken)));
+            arcPlaceInfoDict[existingArcId].dataClassInfoDict =
+                buildDataClassInfoDict(arcPlaceInfoDict[existingArcId].tokens);
+        }
+    }
+    return [arcPlaceInfoDict, exactSynchingArcPlaceInfoDict];
+}
+/**
+ * Builds a dictionary mapping data class IDs to their corresponding `DataClassInfo` objects,
+ * aggregating token values from the provided array of tokens. If an existing dictionary is supplied,
+ * its `isVariable` and `alias` properties are preserved for matching data class IDs.
+ *
+ * Each token is expected to contain key-value pairs, where keys represent data class identifiers.
+ * The function uses `getDataClassFromKey` to resolve the data class from each key.
+ * For each data class, unique token values are collected into the `tokenValues` array.
+ *
+ * @param tokens - An array of `Token` objects containing key-value pairs for data classes.
+ * @param existingDataClassInfoDict - An optional dictionary of existing `DataClassInfo` objects,
+ *   used to preserve `isVariable` and `alias` properties for data classes already present.
+ * @returns A dictionary mapping data class IDs to their aggregated `DataClassInfo` objects.
+ */
+function buildDataClassInfoDict(tokens) {
+    const dataClassInfoDict = {};
+    for (const token of tokens) {
+        for (const [dataClassKey, value] of Object.entries(token)) {
+            if (!dataClassInfoDict[dataClassKey]) {
+                dataClassInfoDict[dataClassKey] = [];
+            }
+            if (!dataClassInfoDict[dataClassKey].includes(value)) {
+                dataClassInfoDict[dataClassKey].push(value);
+            }
+        }
+    }
+    return dataClassInfoDict;
+}
+/**
+ * Builds an `ArcPlaceInfo` object containing detailed information about the relationship
+ * between an arc and its associated place, including marking tokens, data class info,
+ * variable class, and arc properties.
+ *
+ * @param arc - The arc object for which to build place information.
+ * @returns An `ArcPlaceInfo` object with the following properties:
+ * - `arcId`: The unique identifier of the arc.
+ * - `placeId`: The unique identifier of the associated place.
+ * - `tokens`: An array of custom token objects representing the marking of the place.
+ * - `isInhibitorArc`: Indicates if the arc is an inhibitor arc.
+ * - `isLinkingPlace`: Indicates if the place links multiple data classes.
+ * - `variableClass`: The data class used as a variable in the arc inscription, if any.
+ * - `dataClassInfoDict`: A dictionary mapping data class IDs to their info, including
+ *   variable status, alias, and token values.
+ *
+ * The function processes the marking tokens of the place, extracts data class information,
+ * determines variable classes from arc inscriptions, and constructs a custom marking
+ * representation for further simulation or analysis.
+ */
+function buildArcPlaceInfo(arc) {
+    var _a, _b, _c, _d;
+    const arcObject = arc.businessObject;
+    const place = arcObject.source;
+    const isInhibitorArc = (arcObject === null || arcObject === void 0 ? void 0 : arcObject.isInhibitorArc) || false;
+    const isExactSyncing = (arcObject === null || arcObject === void 0 ? void 0 : arcObject.isExactSynchronization) || false;
+    const dataClassInfoDict = {};
+    let variableClass = arc.businessObject.variableType;
+    const inscriptionElements = (_b = (_a = arc.businessObject.inscription) === null || _a === void 0 ? void 0 : _a.inscriptionElements) !== null && _b !== void 0 ? _b : [];
+    for (const element of inscriptionElements) {
+        const dataClass = element.dataClass;
+        const variableName = element.variableName;
+        if ((dataClass === null || dataClass === void 0 ? void 0 : dataClass.id) && variableName) {
+            const isVariable = variableClass === dataClass;
+            dataClassInfoDict[getDataClassKey(dataClass.id, variableName, isVariable)] = [];
+        }
+    }
+    const marking = (_c = place.marking) !== null && _c !== void 0 ? _c : [];
+    const customMarking = [];
+    for (const token of marking) {
+        const tokenObj = {};
+        const tokenValues = (_d = token.values) !== null && _d !== void 0 ? _d : [];
+        for (const { dataClass, value } of tokenValues) {
+            Object.keys(dataClassInfoDict)
+                .filter((dataClassKey) => getDataClassFromKey(dataClassKey).id === dataClass.id)
+                .forEach((dataClassKey) => {
+                tokenObj[dataClassKey] = value;
+                if (!dataClassInfoDict[dataClassKey].includes(value)) {
+                    dataClassInfoDict[dataClassKey].push(value);
+                }
+            });
+        }
+        customMarking.push(tokenObj);
+    }
+    return {
+        arcId: arc.id,
+        placeId: place.id,
+        tokens: customMarking,
+        isInhibitorArc: isInhibitorArc,
+        isLinkingPlace: Object.keys(dataClassInfoDict).length > 1,
+        isExactSyncing: isExactSyncing,
+        variableClass: variableClass,
+        dataClassInfoDict: dataClassInfoDict,
+    };
+}
+/**
+ * Extracts and aggregates token values for each data class from non-linking arcs in the provided arc-place information dictionary.
+ *
+ * Iterates through all entries in the `arcPlaceInfoDict`, skipping those marked as linking places.
+ * For each non-linking place, it collects token values for each data class, identified by a unique key
+ * generated from the data class ID, alias, and variable status. Token values are accumulated per data class.
+ *
+ * @param arcPlaceInfoDict - A dictionary mapping arc-place identifiers to their corresponding information objects.
+ * @returns An object mapping each unique data class key to an array of token values aggregated from non-linking arcs.
+ */
+export function getBindingPerDataClassFromNonLinkingArcs(arcPlaceInfoDict) {
+    const bindingCandidatesPerDataClass = {};
+    for (const arcPlaceInfo of Object.values(arcPlaceInfoDict)) {
+        if (arcPlaceInfo.isLinkingPlace || arcPlaceInfo.isInhibitorArc)
+            continue;
+        for (const [dataClassKey, tokenValues] of Object.entries(arcPlaceInfo.dataClassInfoDict)) {
+            bindingCandidatesPerDataClass[dataClassKey]
+                ? bindingCandidatesPerDataClass[dataClassKey].push(...tokenValues)
+                : (bindingCandidatesPerDataClass[dataClassKey] = [...tokenValues]);
+        }
+    }
+    return bindingCandidatesPerDataClass;
+}
+//# sourceMappingURL=arcPlaceInfoLogic.js.map

package/dist/lib/simulation/binding-utils/arcPlaceInfoLogic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arcPlaceInfoLogic.js","sourceRoot":"","sources":["../../../../lib/simulation/binding-utils/arcPlaceInfoLogic.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,qCAAqC,EACrC,mBAAmB,EACnB,eAAe,EACf,WAAW,GACZ,MAAM,WAAW,CAAC;AAEnB;;;;;;;;GAQG;AACH,MAAM,UAAU,qBAAqB,CACnC,YAAmB;IAEnB,MAAM,gBAAgB,GAAqB,EAAE,CAAC;IAC9C,MAAM,6BAA6B,GAAqB,EAAE,CAAC;IAC3D,MAAM,6BAA6B,GAA8B,EAAE,CAAC;IACpE,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,MAAM,YAAY,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;QAE5C,6BAA6B;QAC7B,IAAI,YAAY,CAAC,cAAc,EAAE,CAAC;YAChC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC;YACxC,SAAS;QACX,CAAC;QAED,oIAAoI;QACpI,IAAI,YAAY,CAAC,cAAc,EAAE,CAAC;YAChC,6BAA6B,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;QAC1E,CAAC;QAED,MAAM,oBAAoB,GAAG,qCAAqC,CAChE,YAAY,CAAC,iBAAiB,CAC/B,CAAC;QACF,IAAI,CAAC,6BAA6B,CAAC,oBAAoB,CAAC,EAAE,CAAC;YACzD,6BAA6B,CAAC,oBAAoB,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;YAC7D,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC;QAC1C,CAAC;aAAM,CAAC;YACN,0CAA0C;YAC1C,MAAM,aAAa,GAAG,6BAA6B,CAAC,oBAAoB,CAAC,CAAC;YAC1E,gBAAgB,CAAC,aAAa,CAAC,CAAC,MAAM,GAAG,gBAAgB,CACvD,aAAa,CACd,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,EAAE,CACzC,WAAW,CAAC,KAAK,EAAE,aAAa,CAAC,CAClC,CACF,CAAC;YACF,gBAAgB,CAAC,aAAa,CAAC,CAAC,iBAAiB;gBAC/C,sBAAsB,CAAC,gBAAgB,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IACD,OAAO,CAAC,gBAAgB,EAAE,6BAA6B,CAAC,CAAC;AAC3D,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,sBAAsB,CAAC,MAAe;IAG7C,MAAM,iBAAiB,GAAyC,EAAE,CAAC;IAEnE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,YAAY,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1D,IAAI,CAAC,iBAAiB,CAAC,YAAY,CAAC,EAAE,CAAC;gBACrC,iBAAiB,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC;YACvC,CAAC;YACD,IAAI,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrD,iBAAiB,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC9C,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,iBAAiB,CAAC;AAC3B,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAS,iBAAiB,CAAC,GAAQ;;IACjC,MAAM,SAAS,GAAG,GAAG,CAAC,cAAc,CAAC;IACrC,MAAM,KAAK,GAAU,SAAS,CAAC,MAAe,CAAC;IAC/C,MAAM,cAAc,GAAY,CAAA,SAAS,aAAT,SAAS,uBAAT,SAAS,CAAE,cAAc,KAAI,KAAK,CAAC;IACnE,MAAM,cAAc,GAAY,CAAA,SAAS,aAAT,SAAS,uBAAT,SAAS,CAAE,sBAAsB,KAAI,KAAK,CAAC;IAE3E,MAAM,iBAAiB,GAEnB,EAAE,CAAC;IAEP,IAAI,aAAa,GAA0B,GAAG,CAAC,cAAc,CAAC,YAAY,CAAC;IAC3E,MAAM,mBAAmB,GACvB,MAAA,MAAA,GAAG,CAAC,cAAc,CAAC,WAAW,0CAAE,mBAAmB,mCAAI,EAAE,CAAC;IAC5D,KAAK,MAAM,OAAO,IAAI,mBAAmB,EAAE,CAAC;QAC1C,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;QACpC,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC;QAC1C,IAAI,CAAA,SAAS,aAAT,SAAS,uBAAT,SAAS,CAAE,EAAE,KAAI,YAAY,EAAE,CAAC;YAClC,MAAM,UAAU,GAAG,aAAa,KAAK,SAAS,CAAC;YAC/C,iBAAiB,CACf,eAAe,CAAC,SAAS,CAAC,EAAE,EAAE,YAAY,EAAE,UAAU,CAAC,CACxD,GAAG,EAAE,CAAC;QACT,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,MAAA,KAAK,CAAC,OAAO,mCAAI,EAAE,CAAC;IACpC,MAAM,aAAa,GAAY,EAAE,CAAC;IAClC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAU,EAAE,CAAC;QAC3B,MAAM,WAAW,GAAG,MAAA,KAAK,CAAC,MAAM,mCAAI,EAAE,CAAC;QACvC,KAAK,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,WAAW,EAAE,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC;iBAC3B,MAAM,CACL,CAAC,YAAY,EAAE,EAAE,CACf,mBAAmB,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE,CACxD;iBACA,OAAO,CAAC,CAAC,YAAY,EAAE,EAAE;gBACxB,QAAQ,CAAC,YAAY,CAAC,GAAG,KAAK,CAAC;gBAC/B,IAAI,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;oBACrD,iBAAiB,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC9C,CAAC;YACH,CAAC,CAAC,CAAC;QACP,CAAC;QACD,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC/B,CAAC;IAED,OAAO;QACL,KAAK,EAAE,GAAG,CAAC,EAAE;QACb,OAAO,EAAE,KAAK,CAAC,EAAE;QACjB,MAAM,EAAE,aAAa;QACrB,cAAc,EAAE,cAAc;QAC9B,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,MAAM,GAAG,CAAC;QACzD,cAAc,EAAE,cAAc;QAC9B,aAAa,EAAE,aAAa;QAC5B,iBAAiB,EAAE,iBAAiB;KACrC,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,wCAAwC,CACtD,gBAAkC;IAElC,MAAM,6BAA6B,GAAwB,EAAE,CAAC;IAC9D,KAAK,MAAM,YAAY,IAAI,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAC3D,IAAI,YAAY,CAAC,cAAc,IAAI,YAAY,CAAC,cAAc;YAAE,SAAS;QAEzE,KAAK,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CACtD,YAAY,CAAC,iBAAiB,CAC/B,EAAE,CAAC;YACF,6BAA6B,CAAC,YAAY,CAAC;gBACzC,CAAC,CAAC,6BAA6B,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC;gBAClE,CAAC,CAAC,CAAC,6BAA6B,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IACD,OAAO,6BAA6B,CAAC;AACvC,CAAC"}

package/dist/lib/simulation/binding-utils/bindingUtils.js

@@ -0,0 +1,64 @@
+import { buildArcPlaceInfoDict, getBindingPerDataClassFromNonLinkingArcs, } from "./arcPlaceInfoLogic";
+import { hasAvailableTokensForAllArcs, isStructurallyIncorrect, } from "./earlyReturnLogic";
+import { checkExactSynchroConstraints } from "./exactSynchro";
+import { getNonInhibitorArcs, filterBindingsByInhibitors, } from "./inhibitorLogic";
+import { cartesianProductBindings, getBiggestLinks, getBindingsForLink, getDataClassesNotInLinks, getTokenPerLink, } from "./linkingLogic";
+export function getValidInputBindings(transition) {
+    // Early return: structural incorrect
+    if (isStructurallyIncorrect(transition.incoming, transition.outgoing)[0]) {
+        // console.log(`Transition ${transition.id} has unbound output variables.`);
+        return [];
+    }
+    // Step 1: build arcPlaceInfoDict and tokenStructure
+    const [arcPlaceInfoDict, exactSynchingArcPlaceInfoDict] = buildArcPlaceInfoDict(transition.incoming);
+    // Early return: missing tokens in non-inhibitor arcs
+    if (!hasAvailableTokensForAllArcs(arcPlaceInfoDict)) {
+        // console.log(`Transition ${transition.id} has missing tokens in non-inhibitor arcs.`);
+        return [];
+    }
+    // Step 2: get biggest exclusive links, link tokens per place, placeId per dataClass alias
+    const nonInhibitorArcs = getNonInhibitorArcs(arcPlaceInfoDict);
+    const [biggestLinks, allLinks] = getBiggestLinks(nonInhibitorArcs);
+    const tokenPerLink = getTokenPerLink(nonInhibitorArcs);
+    // Step 3: compute bindings
+    const bindingPerDataClassFromNonLinkingArcs = getBindingPerDataClassFromNonLinkingArcs(nonInhibitorArcs);
+    let validInputBindings;
+    if (biggestLinks.length == 0) {
+        // Step 3.1: no links exist, return only bindings from non-linking arcs
+        // if there are no incoming arcs, return empty binding
+        validInputBindings = [bindingPerDataClassFromNonLinkingArcs];
+    }
+    else {
+        // Step 3.2: links exist, return only bindings that satisfy the links
+        const bindingCandidatesPerLink = [];
+        for (const link of biggestLinks) {
+            // each bindingCandidatesPerLink is a BindingPerDataClass for one link
+            // and only contains bindings for data classes used in that link
+            const bindingCandidate = getBindingsForLink(link, allLinks, tokenPerLink, bindingPerDataClassFromNonLinkingArcs);
+            bindingCandidatesPerLink.push(bindingCandidate);
+        }
+        // lastly, push all token of arcs which data classes are not used in any link
+        const dataClassesNotInLinks = getDataClassesNotInLinks(bindingPerDataClassFromNonLinkingArcs, biggestLinks);
+        if (dataClassesNotInLinks.size > 0) {
+            const bindingForNonLinkingDataClasses = {};
+            dataClassesNotInLinks.forEach((dataClassKey) => {
+                bindingForNonLinkingDataClasses[dataClassKey] =
+                    bindingPerDataClassFromNonLinkingArcs[dataClassKey];
+            });
+            bindingCandidatesPerLink.push([bindingForNonLinkingDataClasses]);
+        }
+        // Create Cartesian product of all bindingCandidatesPerLink
+        validInputBindings = cartesianProductBindings(bindingCandidatesPerLink);
+    }
+    // Step 4: eliminate bindings blocked by inhibitors
+    const filteredInputBindings = filterBindingsByInhibitors(validInputBindings, arcPlaceInfoDict);
+    // Step 5: check for ExactSubsetSynchro constraint
+    // This also always enlarges the dataClassKeys to four components
+    const synchedInputBindings = checkExactSynchroConstraints(exactSynchingArcPlaceInfoDict, filteredInputBindings);
+    return synchedInputBindings;
+}
+export function transitionIsEnabled(transition) {
+    const bindings = getValidInputBindings(transition);
+    return !!bindings.length;
+}
+//# sourceMappingURL=bindingUtils.js.map

package/dist/lib/simulation/binding-utils/bindingUtils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bindingUtils.js","sourceRoot":"","sources":["../../../../lib/simulation/binding-utils/bindingUtils.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,qBAAqB,EACrB,wCAAwC,GACzC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,4BAA4B,EAC5B,uBAAuB,GACxB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,4BAA4B,EAAE,MAAM,gBAAgB,CAAC;AAC9D,OAAO,EACL,mBAAmB,EACnB,0BAA0B,GAC3B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,wBAAwB,EACxB,eAAe,EACf,kBAAkB,EAClB,wBAAwB,EACxB,eAAe,GAChB,MAAM,gBAAgB,CAAC;AAExB,MAAM,UAAU,qBAAqB,CACnC,UAAsB;IAEtB,qCAAqC;IACrC,IAAI,uBAAuB,CAAC,UAAU,CAAC,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACzE,4EAA4E;QAC5E,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,oDAAoD;IACpD,MAAM,CAAC,gBAAgB,EAAE,6BAA6B,CAAC,GACrD,qBAAqB,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAE7C,qDAAqD;IACrD,IAAI,CAAC,4BAA4B,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACpD,wFAAwF;QACxF,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,0FAA0F;IAC1F,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,gBAAgB,CAAC,CAAC;IAE/D,MAAM,CAAC,YAAY,EAAE,QAAQ,CAAC,GAAG,eAAe,CAAC,gBAAgB,CAAC,CAAC;IACnE,MAAM,YAAY,GAAG,eAAe,CAAC,gBAAgB,CAAC,CAAC;IAEvD,2BAA2B;IAC3B,MAAM,qCAAqC,GACzC,wCAAwC,CAAC,gBAAgB,CAAC,CAAC;IAE7D,IAAI,kBAAyC,CAAC;IAE9C,IAAI,YAAY,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC7B,uEAAuE;QACvE,sDAAsD;QACtD,kBAAkB,GAAG,CAAC,qCAAqC,CAAC,CAAC;IAC/D,CAAC;SAAM,CAAC;QACN,qEAAqE;QACrE,MAAM,wBAAwB,GAA4B,EAAE,CAAC;QAE7D,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;YAChC,sEAAsE;YACtE,gEAAgE;YAChE,MAAM,gBAAgB,GAAG,kBAAkB,CACzC,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,qCAAqC,CACtC,CAAC;YACF,wBAAwB,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAClD,CAAC;QAED,6EAA6E;QAC7E,MAAM,qBAAqB,GAAG,wBAAwB,CACpD,qCAAqC,EACrC,YAAY,CACb,CAAC;QAEF,IAAI,qBAAqB,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACnC,MAAM,+BAA+B,GAAwB,EAAE,CAAC;YAChE,qBAAqB,CAAC,OAAO,CAAC,CAAC,YAAY,EAAE,EAAE;gBAC7C,+BAA+B,CAAC,YAAY,CAAC;oBAC3C,qCAAqC,CAAC,YAAY,CAAC,CAAC;YACxD,CAAC,CAAC,CAAC;YACH,wBAAwB,CAAC,IAAI,CAAC,CAAC,+BAA+B,CAAC,CAAC,CAAC;QACnE,CAAC;QACD,2DAA2D;QAC3D,kBAAkB,GAAG,wBAAwB,CAAC,wBAAwB,CAAC,CAAC;IAC1E,CAAC;IAED,mDAAmD;IACnD,MAAM,qBAAqB,GAAG,0BAA0B,CACtD,kBAAkB,EAClB,gBAAgB,CACjB,CAAC;IAEF,kDAAkD;IAClD,iEAAiE;IACjE,MAAM,oBAAoB,GAAG,4BAA4B,CACvD,6BAA6B,EAC7B,qBAAqB,CACtB,CAAC;IAEF,OAAO,oBAAoB,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,UAAsB;IACxD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC;IACnD,OAAO,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;AAC3B,CAAC"}

package/dist/lib/simulation/binding-utils/earlyReturnLogic.js

@@ -0,0 +1,107 @@
+import { getDataClassKey } from "./helpers";
+/**
+ * Checks whether the structure of the provided arcs is incorrect according to several criteria:
+ * - Filters out inhibitor arcs from both incoming and outgoing arcs.
+ * - Detects arcs without associated data classes.
+ * - Identifies duplicate sources and targets among the arcs.
+ * - Determines if there are unbound output data class keys (i.e., output keys not present in input keys).
+ *
+ * @param incomingArcs - The list of incoming arcs to check, excluding inhibitor arcs.
+ * @param outgoingArcs - The list of outgoing arcs to check, excluding inhibitor arcs.
+ * @returns A tuple where the first element is a boolean indicating structural incorrectness,
+ *          and the second element is a message describing the reason(s) for incorrectness.
+ */
+export function isStructurallyIncorrect(incomingArcs, outgoingArcs) {
+    incomingArcs = incomingArcs.filter((arc) => !arc.businessObject.isInhibitorArc);
+    outgoingArcs = outgoingArcs.filter((arc) => !arc.businessObject.isInhibitorArc);
+    const sources = [];
+    const targets = [];
+    let hasArcsWithoutDataClass = false;
+    function getDataClassKeysFromArcs(arcs, isOutgoing) {
+        var _a;
+        const dataClassKeys = new Set();
+        for (const arc of arcs) {
+            const arcObject = arc.businessObject;
+            isOutgoing
+                ? targets.push({
+                    id: arcObject.target.id,
+                    name: arcObject.target.name || "",
+                })
+                : sources.push({
+                    id: arcObject.source.id,
+                    name: arcObject.source.name || "",
+                });
+            const inscriptionElements = ((_a = arcObject.inscription) === null || _a === void 0 ? void 0 : _a.inscriptionElements) || [];
+            const variableType = arcObject.variableType || { id: "", alias: "" };
+            if (inscriptionElements.length === 0) {
+                hasArcsWithoutDataClass = true;
+                continue;
+            }
+            for (const el of inscriptionElements) {
+                if (el.isGenerated) {
+                    continue;
+                }
+                dataClassKeys.add(getDataClassKey(el.dataClass.id, el.variableName || el.dataClass.alias, el.dataClass.id === variableType.id &&
+                    el.dataClass.alias === variableType.alias));
+            }
+        }
+        return dataClassKeys;
+    }
+    const inputDataClassKeys = getDataClassKeysFromArcs(incomingArcs, false);
+    const outputDataClassKeys = getDataClassKeysFromArcs(outgoingArcs, true);
+    const duplicateTargets = targets.filter((target, index) => targets.findIndex((t) => t.id === target.id) !== index);
+    const duplicateSources = sources.filter((source, index) => sources.findIndex((s) => s.id === source.id) !== index);
+    const unboundOutputDataClassKeys = Array.from(outputDataClassKeys).filter((key) => !inputDataClassKeys.has(key));
+    const hasUnboundByDataClassKey = unboundOutputDataClassKeys.length > 0;
+    const isStructurallyIncorrect = hasArcsWithoutDataClass ||
+        duplicateTargets.length > 0 ||
+        duplicateSources.length > 0 ||
+        hasUnboundByDataClassKey;
+    const message = isStructurallyIncorrect
+        ? createStructuralIncorrectnessMessage(hasArcsWithoutDataClass, duplicateSources, duplicateTargets, unboundOutputDataClassKeys)
+        : "This transition is structurally correct.";
+    return [isStructurallyIncorrect, message];
+}
+/**
+ * Determines whether all arcs in the provided dictionary have available tokens.
+ *
+ * For each entry in the `arcPlaceInfoDict`, this function checks if either:
+ * - The arc is an inhibitor arc (`isInhibitorArc` is `true`), or
+ * - The arc has at least one token (`tokens.length > 0`).
+ *
+ * @param arcPlaceInfoDict - A dictionary mapping arc identifiers to their corresponding place information.
+ * @returns `true` if every arc is either an inhibitor arc or has at least one token; otherwise, `false`.
+ */
+export function hasAvailableTokensForAllArcs(arcPlaceInfoDict) {
+    return Object.values(arcPlaceInfoDict).every((arcPlaceInfo) => arcPlaceInfo.isInhibitorArc || arcPlaceInfo.tokens.length > 0);
+}
+function createStructuralIncorrectnessMessage(hasArcsWithoutDataClass, duplicateSources, duplicateTargets, unboundOutputDataClassKeys) {
+    let errorMessage = "This transition can structurally never be fired!";
+    if (hasArcsWithoutDataClass) {
+        errorMessage += "\n\nPlease add at least one data class to all places.";
+    }
+    if (duplicateSources.length > 0 || duplicateTargets.length > 0) {
+        errorMessage += `\n\nEach place should have at most one arc towards and from each transition.`;
+    }
+    if (duplicateSources.length > 0) {
+        errorMessage += `\nThere are multiple incoming arcs from each of: [${Array.from(new Set(duplicateSources.map((s) => (s.name.length > 0 ? s.name : s.id)))).join(", ")}].`;
+    }
+    if (duplicateTargets.length > 0) {
+        errorMessage += `\nThere are multiple outgoing arcs towards each of: [${Array.from(new Set(duplicateTargets.map((t) => (t.name.length > 0 ? t.name : t.id)))).join(", ")}].`;
+    }
+    if (unboundOutputDataClassKeys.length > 0) {
+        const varString = unboundOutputDataClassKeys
+            .map((v) => {
+            const parts = v.split(":");
+            let result = parts[1];
+            if (parts[2] === "true") {
+                result += "[]";
+            }
+            return result;
+        })
+            .join(", ");
+        errorMessage += `\n\nThere are unbound output variables: ${varString}.`;
+    }
+    return errorMessage;
+}
+//# sourceMappingURL=earlyReturnLogic.js.map

package/dist/lib/simulation/binding-utils/earlyReturnLogic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"earlyReturnLogic.js","sourceRoot":"","sources":["../../../../lib/simulation/binding-utils/earlyReturnLogic.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAE5C;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,uBAAuB,CACrC,YAAmB,EACnB,YAAmB;IAEnB,YAAY,GAAG,YAAY,CAAC,MAAM,CAChC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,cAAc,CAC5C,CAAC;IACF,YAAY,GAAG,YAAY,CAAC,MAAM,CAChC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,cAAc,CAC5C,CAAC;IAEF,MAAM,OAAO,GAAmC,EAAE,CAAC;IACnD,MAAM,OAAO,GAAmC,EAAE,CAAC;IACnD,IAAI,uBAAuB,GAAG,KAAK,CAAC;IAEpC,SAAS,wBAAwB,CAC/B,IAAW,EACX,UAAmB;;QAEnB,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;QACxC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,SAAS,GAAG,GAAG,CAAC,cAAc,CAAC;YACrC,UAAU;gBACR,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;oBACX,EAAE,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE;oBACvB,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE;iBAClC,CAAC;gBACJ,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;oBACX,EAAE,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE;oBACvB,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE;iBAClC,CAAC,CAAC;YACP,MAAM,mBAAmB,GACvB,CAAA,MAAA,SAAS,CAAC,WAAW,0CAAE,mBAAmB,KAAI,EAAE,CAAC;YACnD,MAAM,YAAY,GAAG,SAAS,CAAC,YAAY,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;YACrE,IAAI,mBAAmB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACrC,uBAAuB,GAAG,IAAI,CAAC;gBAC/B,SAAS;YACX,CAAC;YACD,KAAK,MAAM,EAAE,IAAI,mBAAmB,EAAE,CAAC;gBACrC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;oBACnB,SAAS;gBACX,CAAC;gBACD,aAAa,CAAC,GAAG,CACf,eAAe,CACb,EAAE,CAAC,SAAS,CAAC,EAAE,EACf,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,SAAS,CAAC,KAAK,EACrC,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,YAAY,CAAC,EAAE;oBACjC,EAAE,CAAC,SAAS,CAAC,KAAK,KAAK,YAAY,CAAC,KAAK,CAC5C,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QACD,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,MAAM,kBAAkB,GAAG,wBAAwB,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;IACzE,MAAM,mBAAmB,GAAG,wBAAwB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;IAEzE,MAAM,gBAAgB,GAAG,OAAO,CAAC,MAAM,CACrC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,CAAC,KAAK,KAAK,CAC1E,CAAC;IACF,MAAM,gBAAgB,GAAG,OAAO,CAAC,MAAM,CACrC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,CAAC,KAAK,KAAK,CAC1E,CAAC;IAEF,MAAM,0BAA0B,GAAG,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,MAAM,CACvE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,CACtC,CAAC;IACF,MAAM,wBAAwB,GAAG,0BAA0B,CAAC,MAAM,GAAG,CAAC,CAAC;IAEvE,MAAM,uBAAuB,GAC3B,uBAAuB;QACvB,gBAAgB,CAAC,MAAM,GAAG,CAAC;QAC3B,gBAAgB,CAAC,MAAM,GAAG,CAAC;QAC3B,wBAAwB,CAAC;IAE3B,MAAM,OAAO,GAAG,uBAAuB;QACrC,CAAC,CAAC,oCAAoC,CAClC,uBAAuB,EACvB,gBAAgB,EAChB,gBAAgB,EAChB,0BAA0B,CAC3B;QACH,CAAC,CAAC,0CAA0C,CAAC;IAE/C,OAAO,CAAC,uBAAuB,EAAE,OAAO,CAAC,CAAC;AAC5C,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,4BAA4B,CAC1C,gBAAkC;IAElC,OAAO,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,KAAK,CAC1C,CAAC,YAAY,EAAE,EAAE,CACf,YAAY,CAAC,cAAc,IAAI,YAAY,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAChE,CAAC;AACJ,CAAC;AAED,SAAS,oCAAoC,CAC3C,uBAAgC,EAChC,gBAAgD,EAChD,gBAAgD,EAChD,0BAAoC;IAEpC,IAAI,YAAY,GAAG,kDAAkD,CAAC;IAEtE,IAAI,uBAAuB,EAAE,CAAC;QAC5B,YAAY,IAAI,uDAAuD,CAAC;IAC1E,CAAC;IACD,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/D,YAAY,IAAI,8EAA8E,CAAC;IACjG,CAAC;IACD,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,YAAY,IAAI,qDAAqD,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC5K,CAAC;IACD,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,YAAY,IAAI,wDAAwD,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC/K,CAAC;IACD,IAAI,0BAA0B,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1C,MAAM,SAAS,GAAG,0BAA0B;aACzC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACT,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC3B,IAAI,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACtB,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;gBACxB,MAAM,IAAI,IAAI,CAAC;YACjB,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC,CAAC;aACD,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,YAAY,IAAI,2CAA2C,SAAS,GAAG,CAAC;IAC1E,CAAC;IAED,OAAO,YAAY,CAAC;AACtB,CAAC"}