@eagleoutice/flowr 2.2.0 → 2.2.2

package/util/cfg/happens-before.js

@@ -0,0 +1,32 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.happensBefore = happensBefore;
+const logic_1 = require("../logic");
+/**
+ * Determines if node `a` happens before node `b` in the control flow graph.
+ */
+function happensBefore(cfg, a, b) {
+    const visited = new Set();
+    /* the first is the id we are currently at, the second one the exit marker of the current largest cd scope */
+    const stack = [[b, undefined]];
+    while (stack.length > 0) {
+        const [current, cd] = stack.pop();
+        let useCd = cd;
+        if (current === a) {
+            return cd ? logic_1.Ternary.Maybe : logic_1.Ternary.Always;
+        }
+        else if (visited.has(current)) {
+            continue;
+        }
+        else if (cd && (current === cd || visited.has(cd))) {
+            useCd = undefined;
+        }
+        visited.add(current);
+        for (const [id, t] of cfg.outgoing(current) ?? []) {
+            const marker = t.label === 'CD' ? `${t.caused}-exit` : useCd;
+            stack.push([id, useCd ?? marker]);
+        }
+    }
+    return logic_1.Ternary.Never;
+}
+//# sourceMappingURL=happens-before.js.map

package/util/logic.d.ts

@@ -1,5 +1,5 @@
-export declare const enum Ternary {
-    Always = 0,
-    Maybe = 1,
-    Never = 2
+export declare enum Ternary {
+    Always = "always",
+    Maybe = "maybe",
+    Never = "never"
 }

package/util/logic.js

@@ -1,3 +1,11 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.Ternary = void 0;
+// diverging from boolean | maybe requires explicit handling
+var Ternary;
+(function (Ternary) {
+    Ternary["Always"] = "always";
+    Ternary["Maybe"] = "maybe";
+    Ternary["Never"] = "never";
+})(Ternary || (exports.Ternary = Ternary = {}));
 //# sourceMappingURL=logic.js.map

package/util/range.d.ts

@@ -1,9 +1,27 @@
+/**
+ * A source position in a file.
+ *
+ * Please note that some packages like `xmlparsedata` use their own start and end only to break ties
+ * (e.g., `xmlparsedata` calculates them on a max col width approximation)
+ */
 export type SourcePosition = [
     /** starts with 1 */
     line: number,
     /** starts with 1 */
     column: number
 ];
+/**
+ * Describe the start and end {@link SourcePosition|source position} of an element.
+ *
+ * @see {@link rangeFrom} - to create a range
+ * @see {@link mergeRanges} - to merge multiple ranges
+ * @see {@link getRangeStart} - to get the start of a range
+ * @see {@link getRangeEnd} - to get the end of a range
+ * @see {@link rangeStartsCompletelyBefore} - to check if one range starts before another
+ * @see {@link rangesOverlap} - to check if two ranges overlap
+ * @see {@link addRanges} - to add two ranges
+ * @see {@link rangeCompare} - to compare two ranges
+ */
 export type SourceRange = [
     /** inclusive start position */
     startLine: number,
@@ -36,6 +54,9 @@ export declare function rangeStartsCompletelyBefore([, , r1el, r1ec]: SourceRang
  * Checks if the two ranges overlap.
  */
 export declare function rangesOverlap([r1sl, r1sc, r1el, r1ec]: SourceRange, [r2sl, r2sc, r2el, r2ec]: SourceRange): boolean;
+/**
+ * Calculate the component-wise sum of two ranges
+ */
 export declare function addRanges([r1sl, r1sc, r1el, r1ec]: SourceRange, [r2sl, r2sc, r2el, r2ec]: SourceRange): SourceRange;
 /**
  * Provides a comparator for {@link SourceRange}s that sorts them in ascending order.

package/util/range.js

@@ -45,6 +45,9 @@ function rangeStartsCompletelyBefore([, , r1el, r1ec], [r2sl, r2sc, ,]) {
 function rangesOverlap([r1sl, r1sc, r1el, r1ec], [r2sl, r2sc, r2el, r2ec]) {
     return r1sl <= r2el && r2sl <= r1el && r1sc <= r2ec && r2sc <= r1ec;
 }
+/**
+ * Calculate the component-wise sum of two ranges
+ */
 function addRanges([r1sl, r1sc, r1el, r1ec], [r2sl, r2sc, r2el, r2ec]) {
     return [r1sl + r2sl, r1sc + r2sc, r1el + r2el, r1ec + r2ec];
 }

package/util/version.js

@@ -3,7 +3,7 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.flowrVersion = flowrVersion;
 const semver_1 = require("semver");
 // this is automatically replaced with the current version by release-it
-const version = '2.2.0';
+const version = '2.2.2';
 function flowrVersion() {
     return new semver_1.SemVer(version);
 }