dal-engine-core-js-lib-dev 0.0.2 → 0.0.4

package/dist/index.cjs

@@ -42,18 +42,6 @@ class UnknownBehaviorError extends DALEngineError {
     }
 }
 
-let ENGINE_TYPES = {
-    BEHAVIOR: 1,
-    INVARIANT: 2,
-    PARTICIPANT: 3,
-    PRIMITIVE: 4,
-    BEHAVIORAL_CONTROL_GRAPH: 5,
-    GRAPH_NODE: 6,
-};
-ENGINE_TYPES = Object.freeze(ENGINE_TYPES);
-
-var ENGINE_TYPES$1 = ENGINE_TYPES;
-
 class MissingAttributes extends DALEngineError {
     constructor (type, attribute) {
         let msg;
@@ -66,6 +54,18 @@ class MissingAttributes extends DALEngineError {
     }
 }
 
+let ENGINE_TYPES = {
+    BEHAVIOR: 1,
+    INVARIANT: 2,
+    PARTICIPANT: 3,
+    PRIMITIVE: 4,
+    BEHAVIORAL_CONTROL_GRAPH: 5,
+    GRAPH_NODE: 6,
+};
+ENGINE_TYPES = Object.freeze(ENGINE_TYPES);
+
+var ENGINE_TYPES$1 = ENGINE_TYPES;
+
 /**
  * Class representing a Invariant in the design.
  */
@@ -82,9 +82,9 @@ class Invariant extends Base {
         this.invariantType = null;
         this.traceId = null;
         if (typeof args === "object" && Object.hasOwn(args, "uid")) {
-            this.loadInvariantFromJSON(args);
+            this._loadInvariantFromJSON(args);
         } else {
-            this.loadArgs(args);
+            this._loadArgs(args);
         }
     }
 
@@ -93,7 +93,7 @@ class Invariant extends Base {
      * @throws {MissingAttributes} Thrown when required attr is not present.
      * @param {Object} args
      */
-    loadArgs (args) {
+    _loadArgs (args) {
         const expectedAttributes = ["name", "rule"];
         if (typeof args !== "object" || args === null || Array.isArray(args)) {
             // Not an object, so all attributes are missing.
@@ -111,7 +111,7 @@ class Invariant extends Base {
      * Loads the participant from a JSON object.
      * @param {Object} invariantJSON
      */
-    loadInvariantFromJSON (invariantJSON) {
+    _loadInvariantFromJSON (invariantJSON) {
         for (const [key, value] of Object.entries(invariantJSON)) {
             this[key] = value;
         }        // Reset these because they are set by the execution
@@ -198,14 +198,14 @@ class Participant extends Base {
      */
     constructor (args) {
         super();
-        this.type = ENGINE_TYPES$1.INVARIANT;
+        this.type = ENGINE_TYPES$1.PARTICIPANT;
         this.invariants = [];
         this.abstractionId = null;
         this.invariantViolated = false;
         if (typeof args === "object" && Object.hasOwn(args, "uid")) {
-            this.loadParticipantFromJSON(args);
+            this._loadParticipantFromJSON(args);
         } else {
-            this.loadArgs(args);
+            this._loadArgs(args);
         }
     }
 
@@ -214,7 +214,7 @@ class Participant extends Base {
      * @throws {MissingAttributes} Thrown when required attr is not present.
      * @param {Object} args
      */
-    loadArgs (args) {
+    _loadArgs (args) {
         const expectedAttributes = ["name"];
         if (typeof args !== "object" || args === null || Array.isArray(args)) {
             // Not an object, so all attributes are missing.
@@ -232,7 +232,7 @@ class Participant extends Base {
      * Loads the participant from a JSON object.
      * @param {Object} participantJSON
      */
-    loadParticipantFromJSON (participantJSON) {
+    _loadParticipantFromJSON (participantJSON) {
         for (const [key, value] of Object.entries(participantJSON)) {
             if (key === "invariants") {
                 value.forEach(node => this.invariants.push(new Invariant(node)));
@@ -304,9 +304,9 @@ class Behavior extends Base {
         this.abstractionIds = [];
         this.invalidWorldState = false;
         if (typeof args === "object" && Object.hasOwn(args, "uid")) {
-            this.loadBehaviorFromJSON(args);
+            this._loadBehaviorFromJSON(args);
         } else {
-            this.loadArgs(args);
+            this._loadArgs(args);
         }
     }
 
@@ -315,7 +315,7 @@ class Behavior extends Base {
      * @throws {MissingAttributes} Thrown when required attr is not present.
      * @param {Object} args
      */
-    loadArgs (args) {
+    _loadArgs (args) {
         const expectedAttributes = ["name"];
         if (typeof args !== "object" || args === null || Array.isArray(args)) {
             // Not an object, so all attributes are missing.
@@ -333,7 +333,7 @@ class Behavior extends Base {
      * Loads the behavior from a JSON object.
      * @param {Object} behaviorJSON
      */
-    loadBehaviorFromJSON (behaviorJSON) {
+    _loadBehaviorFromJSON (behaviorJSON) {
         for (const [key, value] of Object.entries(behaviorJSON)) {
             if (key === "participants") {
                 value.forEach(node => this.participants.push(new Participant(node)));
@@ -347,7 +347,7 @@ class Behavior extends Base {
      * @param {Participant} participant
      * @returns
      */
-    addParticpant (participant) {
+    addParticipant (participant) {
         this.participants.push(participant);
         return participant;
     }
@@ -387,13 +387,15 @@ class GraphNode extends Base {
     constructor (args) {
         super();
         this.type = ENGINE_TYPES$1.GRAPH_NODE;
-        this.goToBehaviorsIds = [];
+        this._behavior = null;
+        this._goToBehaviorIds = [];
+        this._isAtomic = false;
         if (typeof args === "object" && args !== null) {
             if (Object.hasOwn(args, "uid")) {
-                this.loadNodeFromJSON(args);
+                this._loadNodeFromJSON(args);
             } else {
-                this.behavior = args.behavior;
-                this.goToBehaviorsIds = args.goToBehaviorsIds;
+                this._behavior = args.behavior;
+                this._goToBehaviorIds = args.goToBehaviorsIds;
             }
         }
     }
@@ -402,37 +404,87 @@ class GraphNode extends Base {
      * Loads the nodes from a JSON object.
      * @param {Object} nodesJSON
      */
-    loadNodeFromJSON (nodesJSON) {
+    _loadNodeFromJSON (nodesJSON) {
         for (const [key, value] of Object.entries(nodesJSON)) {
             if (key === "behavior") {
-                this.behavior = new Behavior(value);
+                this._behavior = new Behavior(value);
             } else if (key === "goToBehaviorsIds") {
-                value.forEach(behaviorId => this.goToBehaviorsIds.push(behaviorId));
+                value.forEach(behaviorId => this._goToBehaviorIds.push(behaviorId));
             } else {
                 this[key] = nodesJSON[key];
             }
         }    }
 
     /**
-     * Adds a behavior name to the list of behaviors that this 
+     * Returns the behavior of the node.
+     * @returns {Behavior|Null}
+     */
+    getBehavior () {
+        return this._behavior;
+    }
+
+    /**
+     * Returns the list of behavior names that this node transitions to.
+     * @returns {Array}
+     */
+    getGoToBehaviors () {
+        return this._goToBehaviorIds;
+    }
+
+    /**
+     * Adds a behavior name to the list of behaviors that this
      * node transitions to.
      * @param {String} behaviorId ID of behavior.
      */
     addGoToBehavior (behaviorId) {
-        this.goToBehaviorsIds.push(behaviorId);
+        this._goToBehaviorIds.push(behaviorId);
+    }
+
+    /**
+     * Adds a behavior name to the list of behaviors that this
+     * node transitions to.
+     * @param {Array} behaviorIds IDs of behaviors.
+     */
+    addGoToBehaviors (behaviorIds) {
+        this._goToBehaviorIds.push(...behaviorIds);
+    }
+
+    /**
+     * Remove the behavior from the list of transitions.
+     * @param {String} behaviorId
+     */
+    removeGoToBehavior (behaviorId) {
+        const goToIndex = this._goToBehaviorIds.indexOf(behaviorId);
+        if (goToIndex > -1) {
+            this._goToBehaviorIds.splice(goToIndex, 1);
+        }
+    }
+
+    /**
+     * Raises a flag to indicate if the behavior is atomic or not.
+     * @param {Boolean} isAtomic Flag indicates if the behavior is atomic.
+     */
+    setAtomic (isAtomic) {
+        this._isAtomic = isAtomic;
+    }
+
+    /**
+     * Returns whether the behavior is atomic or not.
+     * @returns {Boolean}
+     */
+    isAtomic () {
+        return this._isAtomic;
     }
 
     /**
      * Checks if the provided behavior name is a valid
-     * behavior that the control flow selects as a
-     * result of the this nodes state transformation. i.e.
-     * is this behavior in the goToBehavior list.
+     * transition from this node.
      * @param {String} behaviorName
      * @returns {Boolean}
      */
-    isValidGoToBehavior (behaviorName) {
-        for (let i = 0; i < this.goToBehaviorsIds.length; i++) {
-            const behaviorId = this.goToBehaviorsIds[i];
+    isValidTransition (behaviorName) {
+        for (let i = 0; i < this._goToBehaviorIds.length; i++) {
+            const behaviorId = this._goToBehaviorIds[i];
             if (behaviorId === behaviorName) {
                 return true;
             }
@@ -456,7 +508,7 @@ class BehavioralControlGraph extends Base {
         this.nodes = [];
         if (typeof args === "object" && args !== null) {
             if (Object.hasOwn(args, "uid")) {
-                this.loadGraphFromJSON(args);
+                this._loadGraphFromJSON(args);
             } else {
                 this.name = args.name;
             }
@@ -467,7 +519,7 @@ class BehavioralControlGraph extends Base {
      * Loads the graph from a JSON object..
      * @param {Object} graphJson
      */
-    loadGraphFromJSON (graphJson) {
+    _loadGraphFromJSON (graphJson) {
         for (const [key, value] of Object.entries(graphJson)) {
             if (key === "nodes") {
                 value.forEach(node => this.nodes.push(new GraphNode(node)));
@@ -478,14 +530,16 @@ class BehavioralControlGraph extends Base {
 
     /**
      * Adds a node to the graph.
-     * @param {Behavior} behavior
+     * @param {Behavior} behaviorId
      * @param {Array} goToBehaviorsIds
+     * @param {Boolean} isAtomic
      * @returns
      */
-    addNode (behavior, goToBehaviorsIds) {
+    _addNode (behaviorId, goToBehaviorsIds, isAtomic) {
         const node = new GraphNode({
-            behavior: behavior,
-            goToBehaviorsIds: goToBehaviorsIds,
+            behavior: new Behavior({name: behaviorId}),
+            goToBehaviorsIds: goToBehaviorsIds?goToBehaviorsIds:[],
+            isAtomic: isAtomic?isAtomic:false,
         });
         this.nodes.push(node);
         return node;
@@ -499,9 +553,9 @@ class BehavioralControlGraph extends Base {
      * does not exist in the graph.
      * @returns
      */
-    findNode (behaviorName) {
+    _findNode (behaviorName) {
         for (let i = 0; i < this.nodes.length; i++) {
-            const behavior = this.nodes[i].behavior;
+            const behavior = this.nodes[i].getBehavior();
             if (behavior.name === behaviorName) {
                 return this.nodes[i];
             }
@@ -518,8 +572,8 @@ class BehavioralControlGraph extends Base {
      *
      * @param {String} behaviorName
      */
-    setCurrentBehavior (behaviorName) {
-        const node = this.findNode(behaviorName);
+    _setCurrentBehavior (behaviorName) {
+        const node = this._findNode(behaviorName);
         /**
          * TODO: Ensure it is atomic because the execution
          * will only set a behavior when its the first one.
@@ -535,11 +589,11 @@ class BehavioralControlGraph extends Base {
      * @throws {InvalidTransitionError} Raised when the provided
      * behavior is not a valid transition.
      */
-    goToBehavior (nextBehaviorName) {
-        if (this.currentNode.isValidGoToBehavior(nextBehaviorName)) {
-            this.currentNode = this.findNode(nextBehaviorName);
+    _goToBehavior (nextBehaviorName) {
+        if (this.currentNode.isValidTransition(nextBehaviorName)) {
+            this.currentNode = this._findNode(nextBehaviorName);
         } else {
-            throw new InvalidTransitionError(this.currentNode.behavior.name, nextBehaviorName);
+            throw new InvalidTransitionError(this.currentNode.getBehavior().name, nextBehaviorName);
         }
     }
 
@@ -550,8 +604,8 @@ class BehavioralControlGraph extends Base {
     exportAsMermaid () {
         let mermaid = "flowchart TD\n";
         this.nodes.forEach((node) => {
-            node.goToBehaviorsIds.forEach((behaviorId) => {
-                mermaid += `  ${node.behavior.name} --> ${behaviorId}\n`;
+            node.getGoToBehaviors().forEach((behaviorId) => {
+                mermaid += `  ${node.getBehavior().name} --> ${behaviorId}\n`;
             });
         });
         return mermaid;
@@ -574,6 +628,7 @@ class BehavioralControlGraph extends Base {
 class DALEngine {
     constructor (args) {
         this.graph = new BehavioralControlGraph();
+        this.atomicGraphs = [];
         this.loadArgs(args);
     }
 
@@ -609,8 +664,7 @@ class DALEngine {
      * @param {String} jsonText
      */
     deserialize (jsonText) {
-        this.graph = new BehavioralControlGraph();
-        this.graph.loadGraphFromJSON(JSON.parse(jsonText));
+        this.graph = new BehavioralControlGraph(JSON.parse(jsonText));
     }
 
     /**
@@ -647,34 +701,49 @@ class DALEngine {
      * @returns {GraphNode}
      */
     getNode (behaviorId) {
-        return this.graph.findNode(behaviorId);
+        return this.graph._findNode(behaviorId);
     }
 
     /**
      * Adds a node to the graph with the given behaviorId and goToBehaviors.
      * @param {String} behaviorId
      * @param {Array} goToBehaviorsIds
+     * @param {Boolean} isAtomic
      * @returns {GraphNode}
      */
-    addNode (behaviorId, goToBehaviorsIds) {
-        const behavior = this.createBehavior({name: behaviorId});
-        return this.graph.addNode(behavior, goToBehaviorsIds);
+    addNode (behaviorId, goToBehaviorsIds, isAtomic) {
+        return this.graph._addNode(behaviorId, goToBehaviorsIds, isAtomic);
     }
 
     /**
-     * Adds a goToBehavior to the node with the given behaviorId.
+     * Deletes a node from the graph with the given behaviorId and
+     * removes it from the goToBehavior list of all other nodes.
      * @param {String} behaviorId
-     * @param {String|Array} goToBehaviorIds
-     * @returns {GraphNode}
      */
-    addGoToBehavior (behaviorId, goToBehaviorIds) {
-        const node = this.graph.findNode(behaviorId);
-        if (Array.isArray(goToBehaviorIds)) {
-            node.goToBehaviorsIds.push(...goToBehaviorIds);
-        } else {
-            node.goToBehaviorsIds.push(goToBehaviorIds);
+    removeNode (behaviorId) {
+        const node = this.graph._findNode(behaviorId);
+        const nodeIndex = this.graph.nodes.indexOf(node);
+        this.graph.nodes.splice(nodeIndex, 1);
+        for (const node of this.graph.nodes) {
+            node.removeGoToBehavior(behaviorId);
         }
-        return node;
+    }
+
+    /**
+     * Sets the current behavior in the graph.
+     * @param {String} behaviorId
+     */
+    setCurrentBehavior (behaviorId) {
+        this.graph._setCurrentBehavior(behaviorId);
+    }
+
+    /**
+     * Transitions the graph to the given behavior if it
+     *  is a valid transition from the current behavior.
+     * @param {String} nextBehaviorId ID of the next behavior.
+     */
+    goToBehavior (nextBehaviorId) {
+        this.graph._goToBehavior(nextBehaviorId);
     }
 }