@eagleoutice/flowr 2.6.1 → 2.6.3

package/linter/rules/dataframe-access-validation.d.ts

@@ -1,9 +1,8 @@
-import type { NormalizedAst, ParentInformation } from '../../r-bridge/lang-4.x/ast/model/processing/decorate';
+import type { ParentInformation } from '../../r-bridge/lang-4.x/ast/model/processing/decorate';
 import type { FlowrSearchElements } from '../../search/flowr-search';
 import { type MergeableRecord } from '../../util/objects';
 import { type SourceRange } from '../../util/range';
-import type { LintingResult } from '../linter-format';
-import { LintingRuleCertainty } from '../linter-format';
+import { type LintingResult, LintingRuleCertainty } from '../linter-format';
 import { LintingRuleTag } from '../linter-tags';
 export interface DataFrameAccessValidationResult extends LintingResult {
     /** The type of the data frame access ("column" or "row") */
@@ -32,10 +31,10 @@ export interface DataFrameAccessValidationMetadata extends MergeableRecord {
 export declare const DATA_FRAME_ACCESS_VALIDATION: {
     readonly createSearch: () => import("../../search/flowr-search-builder").FlowrSearchBuilder<"all", ["with"], ParentInformation, Promise<FlowrSearchElements<ParentInformation, import("../../search/flowr-search").FlowrSearchElement<ParentInformation>[]>>>;
     readonly processSearchResult: (elements: FlowrSearchElements<ParentInformation, import("../../search/flowr-search").FlowrSearchElement<ParentInformation>[]>, config: DataFrameAccessValidationConfig, data: {
-        normalize: NormalizedAst;
+        normalize: import("../../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst;
         dataflow: import("../../dataflow/info").DataflowInformation;
         cfg: import("../../control-flow/control-flow-graph").ControlFlowInformation;
-        config: import("../../config").FlowrConfigOptions;
+        analyzer: import("../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider;
     }) => {
         results: DataFrameAccessValidationResult[];
         '.meta': DataFrameAccessValidationMetadata;

package/linter/rules/dataframe-access-validation.js

@@ -2,13 +2,14 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.DATA_FRAME_ACCESS_VALIDATION = void 0;
 const absint_info_1 = require("../../abstract-interpretation/data-frame/absint-info");
-const domain_1 = require("../../abstract-interpretation/data-frame/domain");
 const shape_inference_1 = require("../../abstract-interpretation/data-frame/shape-inference");
+const satisfiable_domain_1 = require("../../abstract-interpretation/domains/satisfiable-domain");
 const config_1 = require("../../config");
 const extract_cfg_1 = require("../../control-flow/extract-cfg");
 const type_1 = require("../../r-bridge/lang-4.x/ast/model/type");
 const flowr_search_builder_1 = require("../../search/flowr-search-builder");
 const search_enrichers_1 = require("../../search/search-executor/search-enrichers");
+const logic_1 = require("../../util/logic");
 const dfg_1 = require("../../util/mermaid/dfg");
 const range_1 = require("../../util/range");
 const linter_format_1 = require("../linter-format");
@@ -16,15 +17,19 @@ const linter_tags_1 = require("../linter-tags");
 exports.DATA_FRAME_ACCESS_VALIDATION = {
     createSearch: () => flowr_search_builder_1.Q.all().with(search_enrichers_1.Enrichment.CallTargets, { onlyBuiltin: true }),
     processSearchResult: (elements, config, data) => {
-        const flowrConfig = (0, config_1.amendConfig)(data.config, flowrConfig => {
-            if (config.readLoadedData !== undefined) {
-                flowrConfig.abstractInterpretation.dataFrame.readLoadedData.readExternalFiles = config.readLoadedData;
-            }
-            return flowrConfig;
-        });
-        const cfg = (0, extract_cfg_1.extractCfg)(data.normalize, flowrConfig, data.dataflow.graph);
-        (0, shape_inference_1.inferDataFrameShapes)(cfg, data.dataflow.graph, data.normalize, flowrConfig);
-        const accessOperations = getAccessOperations(elements, data.normalize);
+        let ctx = data.analyzer.inspectContext();
+        ctx = {
+            ...ctx,
+            config: (0, config_1.amendConfig)(data.analyzer.flowrConfig, flowrConfig => {
+                if (config.readLoadedData !== undefined) {
+                    flowrConfig.abstractInterpretation.dataFrame.readLoadedData.readExternalFiles = config.readLoadedData;
+                }
+                return flowrConfig;
+            })
+        };
+        const cfg = (0, extract_cfg_1.extractCfg)(data.normalize, ctx, data.dataflow.graph);
+        (0, shape_inference_1.inferDataFrameShapes)(cfg, data.dataflow.graph, data.normalize, ctx);
+        const accessOperations = getAccessOperations(elements);
         const accesses = [];
         for (const [nodeId, operations] of accessOperations) {
             const access = { nodeId };
@@ -84,12 +89,9 @@ exports.DATA_FRAME_ACCESS_VALIDATION = {
         defaultConfig: { readLoadedData: false }
     }
 };
-function getAccessOperations(elements, normalize) {
-    const nodes = elements.getElements().map(element => {
-        const id = element.node.info.id;
-        return normalize.idMap.get(id);
-    }).filter(n => n !== undefined);
-    return new Map(nodes
+function getAccessOperations(elements) {
+    return new Map(elements.getElements()
+        .map(element => element.node)
         .filter(absint_info_1.hasDataFrameExpressionInfo)
         .map(node => [node.info.id, node.info.dataFrame.operations
             .filter(({ operation }) => operation === 'accessCols' || operation === 'accessRows')
@@ -101,15 +103,15 @@ function findInvalidDataFrameAccesses({ operandShape, accessedCols, accessedRows
     const invalidAccesses = [];
     if (operandShape !== undefined) {
         for (const row of accessedRows ?? []) {
-            if (!(0, domain_1.satisfiesLeqInterval)(operandShape.rows, row)) {
+            if (operandShape.rows.satisfies(row, satisfiable_domain_1.NumericalComparator.LessOrEqual) === logic_1.Ternary.Never) {
                 invalidAccesses.push({ type: 'row', accessed: row });
             }
         }
         for (const col of accessedCols ?? []) {
-            if (typeof col === 'string' && !(0, domain_1.satisfiesColsNames)(operandShape.colnames, col)) {
+            if (typeof col === 'string' && operandShape.colnames.satisfies([col], satisfiable_domain_1.SetComparator.SubsetOrEqual) === logic_1.Ternary.Never) {
                 invalidAccesses.push({ type: 'column', accessed: col });
             }
-            else if (typeof col === 'number' && !(0, domain_1.satisfiesLeqInterval)(operandShape.cols, col)) {
+            else if (typeof col === 'number' && operandShape.cols.satisfies(col, satisfiable_domain_1.NumericalComparator.LessOrEqual) === logic_1.Ternary.Never) {
                 invalidAccesses.push({ type: 'column', accessed: col });
             }
         }

package/linter/rules/dead-code.d.ts

@@ -1,5 +1,5 @@
 import { LintingResultCertainty, type LintingResult, LintingRuleCertainty } from '../linter-format';
-import type { SourceRange } from '../../util/range';
+import { type SourceRange } from '../../util/range';
 import type { MergeableRecord } from '../../util/objects';
 import { LintingRuleTag } from '../linter-tags';
 import { type CfgSimplificationPassName } from '../../control-flow/cfg-simplification';
@@ -22,7 +22,7 @@ export declare const DEAD_CODE: {
         normalize: import("../../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst;
         dataflow: import("../../dataflow/info").DataflowInformation;
         cfg: import("../../control-flow/control-flow-graph").ControlFlowInformation;
-        config: import("../../config").FlowrConfigOptions;
+        analyzer: import("../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider;
     }) => {
         results: {
             certainty: LintingResultCertainty.Certain;

package/linter/rules/deprecated-functions.d.ts

@@ -1,13 +1,9 @@
 import { LintingRuleCertainty } from '../linter-format';
 import { LintingRuleTag } from '../linter-tags';
-import type { FunctionsMetadata, FunctionsResult, FunctionsToDetectConfig } from './function-finder-util';
+import { type FunctionsMetadata, type FunctionsResult, type FunctionsToDetectConfig } from './function-finder-util';
 export declare const DEPRECATED_FUNCTIONS: {
     readonly createSearch: (config: FunctionsToDetectConfig) => import("../../search/flowr-search-builder").FlowrSearchBuilder<"all", ["with", "filter"], import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, Promise<import("../../search/flowr-search").FlowrSearchElements<import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, [] | import("../../search/flowr-search").FlowrSearchElement<import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation>[]>>>;
-    readonly processSearchResult: <T extends import("../../search/flowr-search").FlowrSearchElement<import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation>[]>(elements: import("../../search/flowr-search").FlowrSearchElements<import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, T>, _config: FunctionsToDetectConfig, _data: {
-        normalize: import("../../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst;
-        dataflow: import("../../dataflow/info").DataflowInformation;
-        config: import("../../config").FlowrConfigOptions;
-    }, refineSearch?: (elements: T) => T) => {
+    readonly processSearchResult: <T extends import("../../search/flowr-search").FlowrSearchElement<import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation>[]>(elements: import("../../search/flowr-search").FlowrSearchElements<import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, T>, _config: unknown, _data: unknown, refineSearch?: (elements: T) => T) => {
         results: {
             certainty: import("../linter-format").LintingResultCertainty;
             function: import("../../dataflow/environments/identifier").Identifier;

package/linter/rules/file-path-validity.d.ts

@@ -1,5 +1,4 @@
-import type { LintingResult } from '../linter-format';
-import { LintingRuleCertainty } from '../linter-format';
+import { type LintingResult, LintingRuleCertainty } from '../linter-format';
 import type { MergeableRecord } from '../../util/objects';
 import type { SourceRange } from '../../util/range';
 import type { FunctionInfo } from '../../queries/catalog/dependencies-query/function-info/function-info';
@@ -36,7 +35,7 @@ export declare const FILE_PATH_VALIDITY: {
         normalize: import("../../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst;
         dataflow: import("../../dataflow/info").DataflowInformation;
         cfg: import("../../control-flow/control-flow-graph").ControlFlowInformation;
-        config: import("../../config").FlowrConfigOptions;
+        analyzer: import("../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider;
     }) => {
         results: FilePathValidityResult[];
         ".meta": FilePathValidityMetadata;

package/linter/rules/file-path-validity.js

@@ -7,7 +7,6 @@ const dfg_1 = require("../../util/mermaid/dfg");
 const dependencies_query_format_1 = require("../../queries/catalog/dependencies-query/dependencies-query-format");
 const built_in_source_1 = require("../../dataflow/internal/process/functions/call/built-in/built-in-source");
 const logic_1 = require("../../util/logic");
-const retriever_1 = require("../../r-bridge/retriever");
 const happens_before_1 = require("../../control-flow/happens-before");
 const linter_tags_1 = require("../linter-tags");
 const search_enrichers_1 = require("../../search/search-executor/search-enrichers");
@@ -50,15 +49,16 @@ exports.FILE_PATH_VALIDITY = {
                     }
                 }
                 // check if any write to the same file happens before the read, and exclude this case if so
-                const writesToFile = results.write.filter(r => samePath(r.value, matchingRead.value, data.config.solver.resolveSource?.ignoreCapitalization));
+                const writesToFile = results.write.filter(r => samePath(r.value, matchingRead.value, data.analyzer.flowrConfig.solver.resolveSource?.ignoreCapitalization));
                 const writesBefore = writesToFile.map(w => (0, happens_before_1.happensBefore)(cfg, w.nodeId, element.node.info.id));
                 if (writesBefore.some(w => w === logic_1.Ternary.Always)) {
                     metadata.totalWritesBeforeAlways++;
                     return [];
                 }
                 // check if the file exists!
-                const paths = (0, built_in_source_1.findSource)(data.config.solver.resolveSource, matchingRead.value, {
-                    referenceChain: element.node.info.file ? [(0, retriever_1.requestFromInput)(`file://${element.node.info.file}`)] : []
+                const paths = (0, built_in_source_1.findSource)(data.analyzer.flowrConfig.solver.resolveSource, matchingRead.value, {
+                    referenceChain: element.node.info.file ? [element.node.info.file] : [],
+                    ctx: data.analyzer.inspectContext()
                 });
                 if (paths && paths.length) {
                     metadata.totalValid++;

package/linter/rules/function-finder-util.d.ts

@@ -1,7 +1,6 @@
 import type { SourceRange } from '../../util/range';
 import type { Identifier } from '../../dataflow/environments/identifier';
-import type { LintingResult } from '../linter-format';
-import { LintingResultCertainty } from '../linter-format';
+import { type LintingResult, LintingResultCertainty } from '../linter-format';
 import type { FlowrSearchElement, FlowrSearchElements } from '../../search/flowr-search';
 import type { NormalizedAst, ParentInformation } from '../../r-bridge/lang-4.x/ast/model/processing/decorate';
 import type { MergeableRecord } from '../../util/objects';
@@ -27,11 +26,7 @@ export interface FunctionsToDetectConfig extends MergeableRecord {
  */
 export declare const functionFinderUtil: {
     createSearch: (functions: readonly string[]) => import("../../search/flowr-search-builder").FlowrSearchBuilder<"all", ["with", "filter"], ParentInformation, Promise<FlowrSearchElements<ParentInformation, [] | FlowrSearchElement<ParentInformation>[]>>>;
-    processSearchResult: <T extends FlowrSearchElement<ParentInformation>[]>(elements: FlowrSearchElements<ParentInformation, T>, _config: FunctionsToDetectConfig, _data: {
-        normalize: NormalizedAst;
-        dataflow: DataflowInformation;
-        config: FlowrConfigOptions;
-    }, refineSearch?: (elements: T) => T) => {
+    processSearchResult: <T extends FlowrSearchElement<ParentInformation>[]>(elements: FlowrSearchElements<ParentInformation, T>, _config: unknown, _data: unknown, refineSearch?: (elements: T) => T) => {
         results: {
             certainty: LintingResultCertainty;
             function: Identifier;

package/linter/rules/naming-convention.d.ts

@@ -2,8 +2,7 @@ import type { DataflowGraph } from '../../dataflow/graph/graph';
 import type { NodeId } from '../../r-bridge/lang-4.x/ast/model/processing/node-id';
 import type { MergeableRecord } from '../../util/objects';
 import type { SourceRange } from '../../util/range';
-import type { LintingResult, LintQuickFixReplacement } from '../linter-format';
-import { LintingResultCertainty, LintingRuleCertainty } from '../linter-format';
+import { type LintingResult, type LintQuickFixReplacement, LintingResultCertainty, LintingRuleCertainty } from '../linter-format';
 import { LintingRuleTag } from '../linter-tags';
 export declare enum CasingConvention {
     CamelCase = "camelCase",
@@ -34,11 +33,23 @@ export interface NamingConventionMetadata extends MergeableRecord {
     /** number of symbols breaking the casing convetion */
     numBreak: number;
 }
+/**
+ * Attempts to detect the casing convention used in the given identifier.
+ */
 export declare function detectCasing(identifier: string): CasingConvention;
+/**
+ * Determines the most used casing convention in the given list of symbols.
+ */
 export declare function getMostUsedCasing(symbols: {
     detectedCasing: CasingConvention;
 }[]): CasingConvention;
+/**
+ * Attempts to fix the casing of the given identifier to match the provided convention.
+ */
 export declare function fixCasing(identifier: string, convention: CasingConvention): string | undefined;
+/**
+ * Creates quick fixes for renaming all references to the given node to match the provided replacement.
+ */
 export declare function createNamingConventionQuickFixes(graph: DataflowGraph, nodeId: NodeId, replacement: string, conv: CasingConvention): LintQuickFixReplacement[] | undefined;
 export declare const NAMING_CONVENTION: {
     readonly createSearch: (_config: NamingConventionConfig) => import("../../search/flowr-search-builder").FlowrSearchBuilder<"all", ["filter"], import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, Promise<import("../../search/flowr-search").FlowrSearchElements<import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, [] | import("../../search/flowr-search").FlowrSearchElement<import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation>[]>>>;
@@ -46,7 +57,7 @@ export declare const NAMING_CONVENTION: {
         normalize: import("../../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst;
         dataflow: import("../../dataflow/info").DataflowInformation;
         cfg: import("../../control-flow/control-flow-graph").ControlFlowInformation;
-        config: import("../../config").FlowrConfigOptions;
+        analyzer: import("../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider;
     }) => {
         results: {
             quickFix: LintQuickFixReplacement[] | undefined;
@@ -67,7 +78,7 @@ export declare const NAMING_CONVENTION: {
     readonly info: {
         readonly name: "Naming Convention";
         readonly certainty: LintingRuleCertainty.OverApproximative;
-        readonly description: "Checks wether the symbols conform to a certain naming convention";
+        readonly description: "Checks whether the symbols conform to a certain naming convention";
         readonly tags: readonly [LintingRuleTag.Style, LintingRuleTag.QuickFix];
         readonly defaultConfig: {
             readonly caseing: "auto";

package/linter/rules/naming-convention.js

@@ -25,6 +25,9 @@ var CasingConvention;
 function containsAlpha(s) {
     return /[A-Za-z]/.test(s);
 }
+/**
+ * Attempts to detect the casing convention used in the given identifier.
+ */
 function detectCasing(identifier) {
     if (identifier.trim() === '' || !containsAlpha(identifier)) {
         return CasingConvention.Unknown;
@@ -68,6 +71,9 @@ function detectCasing(identifier) {
     }
     return CasingConvention.Unknown;
 }
+/**
+ * Determines the most used casing convention in the given list of symbols.
+ */
 function getMostUsedCasing(symbols) {
     if (symbols.length === 0) {
         return CasingConvention.Unknown;
@@ -77,9 +83,12 @@ function getMostUsedCasing(symbols) {
         const o = map.get(symbol.detectedCasing) ?? 0;
         map.set(symbol.detectedCasing, o + 1);
     }
-    // Return element with most occurances 
+    // Return element with most occurances
     return [...map].reduce((p, c) => p[1] > c[1] ? p : c)[0];
 }
+/**
+ * Attempts to fix the casing of the given identifier to match the provided convention.
+ */
 function fixCasing(identifier, convention) {
     if (!containsAlpha(identifier)) {
         return undefined;
@@ -110,6 +119,9 @@ function fixCasing(identifier, convention) {
             (0, assert_1.assertUnreachable)(convention);
     }
 }
+/**
+ * Creates quick fixes for renaming all references to the given node to match the provided replacement.
+ */
 function createNamingConventionQuickFixes(graph, nodeId, replacement, conv) {
     const refs = (0, dfg_get_symbol_refs_1.getAllRefsToSymbol)(graph, nodeId);
     const idMap = graph.idMap;
@@ -175,7 +187,7 @@ exports.NAMING_CONVENTION = {
         name: 'Naming Convention',
         // detects casing heuristically so correctness is not ensured using default config, but checks all identifiers in the code for naming convention match
         certainty: linter_format_1.LintingRuleCertainty.OverApproximative,
-        description: 'Checks wether the symbols conform to a certain naming convention',
+        description: 'Checks whether the symbols conform to a certain naming convention',
         tags: [linter_tags_1.LintingRuleTag.Style, linter_tags_1.LintingRuleTag.QuickFix],
         defaultConfig: {
             caseing: 'auto',

package/linter/rules/network-functions.d.ts

@@ -1,5 +1,5 @@
 import { LintingRuleCertainty } from '../linter-format';
-import type { FunctionsMetadata, FunctionsResult } from './function-finder-util';
+import { type FunctionsMetadata, type FunctionsResult } from './function-finder-util';
 import { LintingRuleTag } from '../linter-tags';
 import type { MergeableRecord } from '../../util/objects';
 export interface NetworkFunctionsConfig extends MergeableRecord {
@@ -14,7 +14,7 @@ export declare const NETWORK_FUNCTIONS: {
         normalize: import("../../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst;
         dataflow: import("../../dataflow/info").DataflowInformation;
         cfg: import("../../control-flow/control-flow-graph").ControlFlowInformation;
-        config: import("../../config").FlowrConfigOptions;
+        analyzer: import("../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider;
     }) => {
         results: {
             certainty: import("../linter-format").LintingResultCertainty;

package/linter/rules/network-functions.js

@@ -7,7 +7,7 @@ const linter_tags_1 = require("../linter-tags");
 const read_functions_1 = require("../../queries/catalog/dependencies-query/function-info/read-functions");
 exports.NETWORK_FUNCTIONS = {
     createSearch: (config) => function_finder_util_1.functionFinderUtil.createSearch(config.fns),
-    processSearchResult: (e, c, d) => function_finder_util_1.functionFinderUtil.processSearchResult(e, c, d, es => es.filter(e => function_finder_util_1.functionFinderUtil.requireArgumentValue(e, read_functions_1.ReadFunctions, d, c.onlyTriggerWithArgument))),
+    processSearchResult: (e, c, d) => function_finder_util_1.functionFinderUtil.processSearchResult(e, c, d, es => es.filter(e => function_finder_util_1.functionFinderUtil.requireArgumentValue(e, read_functions_1.ReadFunctions, { config: d.analyzer.flowrConfig, dataflow: d.dataflow, normalize: d.normalize }, c.onlyTriggerWithArgument))),
     prettyPrint: function_finder_util_1.functionFinderUtil.prettyPrint('network operations'),
     info: {
         name: 'Network Functions',

package/linter/rules/seeded-randomness.d.ts

@@ -1,5 +1,4 @@
-import type { LintingResult } from '../linter-format';
-import { LintingResultCertainty, LintingRuleCertainty } from '../linter-format';
+import { type LintingResult, LintingResultCertainty, LintingRuleCertainty } from '../linter-format';
 import type { SourceRange } from '../../util/range';
 import type { MergeableRecord } from '../../util/objects';
 import type { Identifier } from '../../dataflow/environments/identifier';
@@ -28,6 +27,7 @@ export interface SeededRandomnessMeta extends MergeableRecord {
     callsWithFunctionProducers: number;
     callsWithAssignmentProducers: number;
     callsWithNonConstantProducers: number;
+    callsWithOtherBranchProducers: number;
 }
 export declare const SEEDED_RANDOMNESS: {
     readonly createSearch: (config: SeededRandomnessConfig) => import("../../search/flowr-search-builder").FlowrSearchBuilder<"all", ["with", "filter", "with"], import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, Promise<import("../../search/flowr-search").FlowrSearchElements<import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, import("../../search/flowr-search").FlowrSearchElement<import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation>[]>>>;
@@ -35,10 +35,10 @@ export declare const SEEDED_RANDOMNESS: {
         normalize: import("../../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst;
         dataflow: import("../../dataflow/info").DataflowInformation;
         cfg: import("../../control-flow/control-flow-graph").ControlFlowInformation;
-        config: import("../../config").FlowrConfigOptions;
+        analyzer: import("../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider;
     }) => {
         results: {
-            certainty: LintingResultCertainty.Certain;
+            certainty: LintingResultCertainty;
             function: Identifier;
             range: SourceRange;
         }[];

package/linter/rules/seeded-randomness.js

@@ -16,6 +16,7 @@ const general_1 = require("../../dataflow/eval/values/general");
 const config_1 = require("../../config");
 const r_function_call_1 = require("../../r-bridge/lang-4.x/ast/model/nodes/r-function-call");
 const r_value_1 = require("../../dataflow/eval/values/r-value");
+const info_1 = require("../../dataflow/info");
 exports.SEEDED_RANDOMNESS = {
     createSearch: (config) => flowr_search_builder_1.Q.all()
         .with(search_enrichers_1.Enrichment.CallTargets, { onlyBuiltin: true })
@@ -37,7 +38,8 @@ exports.SEEDED_RANDOMNESS = {
             consumerCalls: 0,
             callsWithFunctionProducers: 0,
             callsWithAssignmentProducers: 0,
-            callsWithNonConstantProducers: 0
+            callsWithNonConstantProducers: 0,
+            callsWithOtherBranchProducers: 0
         };
         return {
             results: elements.getElements()
@@ -51,16 +53,25 @@ exports.SEEDED_RANDOMNESS = {
                 };
             }))
                 // filter by calls that aren't preceded by a randomness producer
-                .filter(element => {
+                .flatMap(element => {
+                const dfgElement = dataflow.graph.getVertex(element.searchElement.node.info.id);
+                const cds = dfgElement ? new Set(dfgElement.cds) : new Set();
                 const producers = (0, search_enrichers_1.enrichmentContent)(element.searchElement, search_enrichers_1.Enrichment.LastCall).linkedIds
                     .map(e => dataflow.graph.getVertex(e.node.info.id));
                 const { assignment, func } = Object.groupBy(producers, f => assignmentArgIndexes.has(f.name) ? 'assignment' : 'func');
                 let nonConstant = false;
+                let otherBranch = false;
                 // function calls are already taken care of through the LastCall enrichment itself
                 for (const f of func ?? []) {
                     if (isConstantArgument(dataflow.graph, f, 0)) {
-                        metadata.callsWithFunctionProducers++;
-                        return false;
+                        const fCds = new Set(f.cds).difference(cds);
+                        if (fCds.size <= 0 || (0, info_1.happensInEveryBranchSet)(fCds)) {
+                            metadata.callsWithFunctionProducers++;
+                            return [];
+                        }
+                        else {
+                            otherBranch = true;
+                        }
                     }
                     else {
                         nonConstant = true;
@@ -71,9 +82,16 @@ exports.SEEDED_RANDOMNESS = {
                     const argIdx = assignmentArgIndexes.get(a.name);
                     const dest = (0, graph_1.getReferenceOfArgument)(a.args[argIdx]);
                     if (dest !== undefined && assignmentProducers.has((0, node_id_1.recoverName)(dest, dataflow.graph.idMap))) {
+                        // we either have arg index 0 or 1 for the assignmentProducers destination, so we select the assignment value as 1-argIdx here
                         if (isConstantArgument(dataflow.graph, a, 1 - argIdx)) {
-                            metadata.callsWithAssignmentProducers++;
-                            return false;
+                            const aCds = new Set(a.cds).difference(cds);
+                            if (aCds.size <= 0 || (0, info_1.happensInEveryBranchSet)(aCds)) {
+                                metadata.callsWithAssignmentProducers++;
+                                return [];
+                            }
+                            else {
+                                otherBranch = true;
+                            }
                         }
                         else {
                             nonConstant = true;
@@ -83,13 +101,15 @@ exports.SEEDED_RANDOMNESS = {
                 if (nonConstant) {
                     metadata.callsWithNonConstantProducers++;
                 }
-                return true;
-            })
-                .map(element => ({
-                certainty: linter_format_1.LintingResultCertainty.Certain,
-                function: element.target,
-                range: element.range
-            })),
+                if (otherBranch) {
+                    metadata.callsWithOtherBranchProducers++;
+                }
+                return [{
+                        certainty: otherBranch ? linter_format_1.LintingResultCertainty.Uncertain : linter_format_1.LintingResultCertainty.Certain,
+                        function: element.target,
+                        range: element.range
+                    }];
+            }),
             '.meta': metadata
         };
     },

package/linter/rules/unused-definition.d.ts

@@ -1,7 +1,6 @@
-import type { LintingResult } from '../linter-format';
-import { LintingRuleCertainty } from '../linter-format';
+import { type LintingResult, LintingRuleCertainty } from '../linter-format';
 import type { MergeableRecord } from '../../util/objects';
-import type { SourceRange } from '../../util/range';
+import { type SourceRange } from '../../util/range';
 import { LintingRuleTag } from '../linter-tags';
 import type { NormalizedAst, ParentInformation } from '../../r-bridge/lang-4.x/ast/model/processing/decorate';
 export interface UnusedDefinitionResult extends LintingResult {
@@ -23,7 +22,7 @@ export declare const UNUSED_DEFINITION: {
         normalize: NormalizedAst;
         dataflow: import("../../dataflow/info").DataflowInformation;
         cfg: import("../../control-flow/control-flow-graph").ControlFlowInformation;
-        config: import("../../config").FlowrConfigOptions;
+        analyzer: import("../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider;
     }) => {
         results: UnusedDefinitionResult[];
         ".meta": UnusedDefinitionMetadata;

package/linter/rules/useless-loop.d.ts

@@ -1,8 +1,7 @@
 import type { BuiltInMappingName } from '../../dataflow/environments/built-in';
 import type { MergeableRecord } from '../../util/objects';
 import type { SourceRange } from '../../util/range';
-import type { LintingResult } from '../linter-format';
-import { LintingResultCertainty, LintingRuleCertainty } from '../linter-format';
+import { type LintingResult, LintingResultCertainty, LintingRuleCertainty } from '../linter-format';
 import { LintingRuleTag } from '../linter-tags';
 export interface UselessLoopResult extends LintingResult {
     name: string;
@@ -17,11 +16,11 @@ export interface UselessLoopMetadata extends MergeableRecord {
 }
 export declare const USELESS_LOOP: {
     readonly createSearch: () => import("../../search/flowr-search-builder").FlowrSearchBuilder<"all", ["filter"], import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, Promise<import("../../search/flowr-search").FlowrSearchElements<import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, [] | import("../../search/flowr-search").FlowrSearchElement<import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation>[]>>>;
-    readonly processSearchResult: (elements: import("../../search/flowr-search").FlowrSearchElements<import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, import("../../search/flowr-search").FlowrSearchElement<import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation>[]>, useLessLoopConfig: UselessLoopConfig, { config, dataflow, normalize, cfg }: {
+    readonly processSearchResult: (elements: import("../../search/flowr-search").FlowrSearchElements<import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, import("../../search/flowr-search").FlowrSearchElement<import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation>[]>, useLessLoopConfig: UselessLoopConfig, { analyzer, dataflow, normalize, cfg }: {
         normalize: import("../../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst;
         dataflow: import("../../dataflow/info").DataflowInformation;
         cfg: import("../../control-flow/control-flow-graph").ControlFlowInformation;
-        config: import("../../config").FlowrConfigOptions;
+        analyzer: import("../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider;
     }) => {
         results: {
             certainty: LintingResultCertainty.Certain;

package/linter/rules/useless-loop.js

@@ -9,14 +9,14 @@ const linter_format_1 = require("../linter-format");
 const linter_tags_1 = require("../linter-tags");
 exports.USELESS_LOOP = {
     createSearch: () => flowr_search_builder_1.Q.all().filter(vertex_1.VertexType.FunctionCall),
-    processSearchResult: (elements, useLessLoopConfig, { config, dataflow, normalize, cfg }) => {
+    processSearchResult: (elements, useLessLoopConfig, { analyzer, dataflow, normalize, cfg }) => {
         const results = elements.getElements().filter(e => {
             const vertex = dataflow.graph.getVertex(e.node.info.id);
             return vertex
                 && (0, vertex_1.isFunctionCallVertex)(vertex)
                 && vertex.origin !== 'unnamed'
                 && useLessLoopConfig.loopyFunctions.has(vertex.origin[0]);
-        }).filter(loop => (0, useless_loop_1.onlyLoopsOnce)(loop.node.info.id, dataflow.graph, cfg, normalize, config)).map(res => ({
+        }).filter(loop => (0, useless_loop_1.onlyLoopsOnce)(loop.node.info.id, dataflow.graph, cfg, normalize, analyzer.inspectContext())).map(res => ({
             certainty: linter_format_1.LintingResultCertainty.Certain,
             name: res.node.lexeme,
             range: res.node.info.fullRange

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@eagleoutice/flowr",
-  "version": "2.6.1",
+  "version": "2.6.3",
   "description": "Static Dataflow Analyzer and Program Slicer for the R Programming Language",
   "types": "dist/src/index.d.ts",
   "repository": {
@@ -25,22 +25,10 @@
     "benchmark": "npm run build-dev && node dist/src/cli/benchmark-app.js",
     "summarizer": "ts-node src/cli/summarizer-app.ts",
     "export-quads": "ts-node src/cli/export-quads-app.ts",
-    "capabilities-markdown": "ts-node src/documentation/print-capabilities-markdown.ts",
-    "wiki:df-graph": "ts-node src/documentation/print-dataflow-graph-wiki.ts",
-    "wiki:normalized-ast": "ts-node src/documentation/print-normalized-ast-wiki.ts",
-    "wiki:query-api": "ts-node src/documentation/print-query-wiki.ts",
-    "wiki:core": "ts-node src/documentation/print-core-wiki.ts",
-    "wiki:analyzer": "ts-node src/documentation/print-analyzer-wiki.ts",
-    "wiki:engines": "ts-node src/documentation/print-engines-wiki.ts",
-    "wiki:search-api": "ts-node src/documentation/print-search-wiki.ts",
-    "wiki:linting-and-testing": "ts-node src/documentation/print-linting-and-testing-wiki.ts",
-    "wiki:interface": "ts-node src/documentation/print-interface-wiki.ts",
-    "wiki:onboarding": "ts-node src/documentation/print-onboarding-wiki.ts",
-    "wiki:faq": "ts-node src/documentation/print-faq-wiki.ts",
-    "wiki:cfg": "ts-node src/documentation/print-cfg-wiki.ts",
-    "wiki:linter": "ts-node src/documentation/print-linter-wiki.ts",
-    "gen:readme": "ts-node src/documentation/print-readme.ts",
-    "gen:linter-issue": "ts-node src/documentation/print-linter-issue.ts",
+    "capabilities-markdown": "ts-node src/documentation/doc-capabilities.ts",
+    "wiki": "ts-node src/cli/wiki.ts",
+    "wiki:watch": "ts-node-dev src/cli/wiki.ts -- --keep-alive",
+    "wiki:linter": "ts-node src/documentation/wiki-linter.ts",
     "build": "tsc --project .",
     "build-dev": "npm run build && npm run build:copy-wasm",
     "build:bundle-flowr": "npm run build && esbuild --bundle dist/src/cli/flowr.js --platform=node --tree-shaking=true --bundle --minify --external:clipboardy --target=node22 --outfile=dist/src/cli/flowr.min.js && npm run build:copy-wasm",
@@ -178,7 +166,7 @@
   "devDependencies": {
     "@commitlint/cli": "^19.7.1",
     "@commitlint/config-angular": "^19.7.1",
-    "@eagleoutice/eslint-config-flowr": "^1.0.19",
+    "@eagleoutice/eslint-config-flowr": "^1.0.27",
     "@eslint/eslintrc": "^3.3.1",
     "@eslint/js": "^9.34.0",
     "@j-ulrich/release-it-regex-bumper": "^5.3.0",
@@ -210,6 +198,7 @@
   },
   "dependencies": {
     "@eagleoutice/tree-sitter-r": "^1.1.2",
+    "@jupyterlab/nbformat": "^4.5.0",
     "@xmldom/xmldom": "^0.9.7",
     "clipboardy": "^4.0.0",
     "command-line-args": "^6.0.1",