@eagleoutice/flowr 2.6.1 → 2.6.2

package/documentation/print-readme.js

@@ -15,6 +15,104 @@ const doc_auto_gen_1 = require("./doc-util/doc-auto-gen");
 const doc_general_1 = require("./doc-util/doc-general");
 const doc_dfg_1 = require("./doc-util/doc-dfg");
 const doc_query_1 = require("./doc-util/doc-query");
+const doc_issue_1 = require("./doc-util/doc-issue");
+const strings_1 = require("../util/text/strings");
+const PublicationsMain = [
+    {
+        header: 'Statically Analyzing the Dataflow of R Programs (OOPSLA \'25)',
+        description: 'Please cite this paper if you are using flowR in your research.',
+        doi: 'https://doi.org/10.1145/3763087',
+        bibtex: `@article{10.1145/3763087,
+	author = {Sihler, Florian and Tichy, Matthias},
+	title = {Statically Analyzing the Dataflow of R Programs},
+	year = {2025},
+	issue_date = {October 2025},
+	publisher = {Association for Computing Machinery},
+	address = {New York, NY, USA},
+	volume = {9},
+	number = {OOPSLA2},
+	url = {https://doi.org/10.1145/3763087},
+	doi = {10.1145/3763087},
+	abstract = {The R programming language is primarily designed for statistical computing and mostly used by researchers without a background in computer science. R provides a wide range of dynamic features and peculiarities that are difficult to analyze statically like dynamic scoping and lazy evaluation with dynamic side effects. At the same time, the R ecosystem lacks sophisticated analysis tools that support researchers in understanding and improving their code.   In this paper, we present a novel static dataflow analysis framework for the R programming language that is capable of handling the dynamic nature of R programs and produces the dataflow graph of given R programs. This graph can be essential in a range of analyses, including program slicing, which we implement as a proof of concept. The core analysis works as a stateful fold over a normalized version of the abstract syntax tree of the R program, which tracks (re-)definitions, values, function calls, side effects, external files, and a dynamic control flow to produce one dataflow graph per program.   We evaluate the correctness of our analysis using output equivalence testing on a manually curated dataset of 779 sensible slicing points from executable real-world R scripts. Additionally, we use a set of systematic test cases based on the capabilities of the R language and the implementation of the R interpreter and measure the runtimes well as the memory consumption on a set of 4,230 real-world R scripts and 20,815 packages available on R’s package manager CRAN.   Furthermore, we evaluate the recall of our program slicer, its accuracy using shrinking, and its improvement over the state of the art. We correctly analyze almost all programs in our equivalence test suite, preserving the identical output for 99.7\\% of the manually curated slicing points. On average, we require 576ms to analyze the dataflow and around 213kB to store the graph of a research script.   This shows that our analysis is capable of analyzing real-world sources quickly and correctly. Our slicer achieves an average reduction of 84.8\\% of tokens indicating its potential to improve program comprehension.},
+	journal = {Proc. ACM Program. Lang.},
+	month = oct,
+	articleno = {309},
+	numpages = {29},
+	keywords = {Dataflow Analysis, R Programming Language, Static Analysis}
+}`
+    },
+    {
+        header: 'flowR: A Static Program Slicer for R (ASE \'24, Tool)',
+        description: `This refers to the tool-demonstration of the <a href="${doc_files_1.FlowrVsCode}">VS Code Extension</a>.`,
+        doi: 'https://doi.org/10.1145/3691620.3695359',
+        bibtex: `@inproceedings{DBLP:conf/kbse/SihlerT24,
+  author       = {Florian Sihler and
+                  Matthias Tichy},
+  editor       = {Vladimir Filkov and
+                  Baishakhi Ray and
+                  Minghui Zhou},
+  title        = {flowR: {A} Static Program Slicer for {R}},
+  booktitle    = {Proceedings of the 39th {IEEE/ACM} International Conference on Automated
+                  Software Engineering, {ASE} 2024, Sacramento, CA, USA, October 27
+                  - November 1, 2024},
+  pages        = {2390--2393},
+  publisher    = {{ACM}},
+  year         = {2024},
+  url          = {https://doi.org/10.1145/3691620.3695359},
+  doi          = {10.1145/3691620.3695359},
+  timestamp    = {Mon, 03 Mar 2025 21:16:51 +0100},
+  biburl       = {https://dblp.org/rec/conf/kbse/SihlerT24.bib},
+  bibsource    = {dblp computer science bibliography, https://dblp.org}
+}`
+    },
+    {
+        header: 'On the Anatomy of Real-World R Code for Static Analysis (MSR \'24)',
+        description: 'This paper lays the foundation for flowR by analyzing the characteristics of real-world R code.',
+        doi: 'https://doi.org/10.1145/3643991.3644911',
+        bibtex: `
+
+@inproceedings{DBLP:conf/msr/SihlerPSTDD24,
+  author       = {Florian Sihler and
+                  Lukas Pietzschmann and
+                  Raphael Straub and
+                  Matthias Tichy and
+                  Andor Diera and
+                  Abdelhalim Hafedh Dahou},
+  editor       = {Diomidis Spinellis and
+                  Alberto Bacchelli and
+                  Eleni Constantinou},
+  title        = {On the Anatomy of Real-World {R} Code for Static Analysis},
+  booktitle    = {21st {IEEE/ACM} International Conference on Mining Software Repositories,
+                  {MSR} 2024, Lisbon, Portugal, April 15-16, 2024},
+  pages        = {619--630},
+  publisher    = {{ACM}},
+  year         = {2024},
+  url          = {https://doi.org/10.1145/3643991.3644911},
+  doi          = {10.1145/3643991.3644911},
+  timestamp    = {Sun, 19 Jan 2025 13:31:27 +0100},
+  biburl       = {https://dblp.org/rec/conf/msr/SihlerPSTDD24.bib},
+  bibsource    = {dblp computer science bibliography, https://dblp.org}
+}`
+    }
+];
+const OtherWorksUsingFlowr = [
+    { name: 'Computational Reproducibility of R Code Supplements on OSF', doi: 'https://doi.org/10.36190/2025.49' },
+    { name: 'Multi-View Structural Graph Summaries', doi: 'https://doi.org/10.1109/WI-IAT62293.2024.00037' }
+];
+function printPublications() {
+    return PublicationsMain.map(pub => {
+        return `
+* [${pub.header}](${pub.doi})  
+  ${pub.description}
+  <details><summary>BibTeX</summary>
+  
+${(0, doc_general_1.prefixLines)((0, doc_code_1.codeBlock)('bibtex', pub.bibtex), '   ')}
+  
+  </details>
+		`.trim();
+    }).join('\n\n') + '\n\n Works using flowR include:\n' +
+        (0, strings_1.joinWithLast)(OtherWorksUsingFlowr.map(pub => `[${pub.name}](${pub.doi})`)) + '.\n';
+}
 async function getText(shell) {
     const dateOptions = { year: 'numeric', month: 'short', day: 'numeric' };
     return `
@@ -155,6 +253,13 @@ If you want to use the same commands:
 For more details on how to use _flowR_ please refer to the [wiki pages](${doc_files_1.FlowrGithubBaseRef}/flowr/wiki),
 as well as the deployed [code documentation](https://flowr-analysis.github.io/flowr/doc/).
 
+## 📃 Publications on flowR
+
+If you are interested in the theoretical background of _flowR_,
+please check out the following publications (if you find that a paper is missing here, please open [a new issue](${doc_issue_1.NewIssueUrl})):
+
+${printPublications()}
+
 ## 🚀 Contributing
 
 We welcome every contribution! Please check out the [developer onboarding](${doc_files_1.FlowrWikiBaseRef}/Onboarding) section in the wiki for all the information you will need.

package/engines.d.ts

@@ -1,4 +1,4 @@
-import type { FlowrConfigOptions, KnownEngines } from './config';
+import { type FlowrConfigOptions, type KnownEngines } from './config';
 /**
  * Retrieve all requested engine instance.
  * Please make sure that if this includes the R engine, that you properly shut it down again!

package/linter/linter-executor.d.ts

@@ -1,5 +1,8 @@
-import type { LintingRuleConfig, LintingRuleNames } from './linter-rules';
+import { type LintingRuleConfig, type LintingRuleNames } from './linter-rules';
 import type { LintingResults } from './linter-format';
 import type { DeepPartial } from 'ts-essentials';
-import type { FlowrAnalysisProvider } from '../project/flowr-analyzer';
-export declare function executeLintingRule<Name extends LintingRuleNames>(ruleName: Name, input: FlowrAnalysisProvider, lintingRuleConfig?: DeepPartial<LintingRuleConfig<Name>>): Promise<LintingResults<Name>>;
+import type { ReadonlyFlowrAnalysisProvider } from '../project/flowr-analyzer';
+/**
+ * Executes a specific linting rule on the given analysis provider input.
+ */
+export declare function executeLintingRule<Name extends LintingRuleNames>(ruleName: Name, input: ReadonlyFlowrAnalysisProvider, lintingRuleConfig?: DeepPartial<LintingRuleConfig<Name>>): Promise<LintingResults<Name>>;

package/linter/linter-executor.js

@@ -4,6 +4,9 @@ exports.executeLintingRule = executeLintingRule;
 const linter_rules_1 = require("./linter-rules");
 const flowr_search_executor_1 = require("../search/flowr-search-executor");
 const objects_1 = require("../util/objects");
+/**
+ * Executes a specific linting rule on the given analysis provider input.
+ */
 async function executeLintingRule(ruleName, input, lintingRuleConfig) {
     try {
         const rule = linter_rules_1.LintingRules[ruleName];

package/linter/linter-format.d.ts

@@ -117,7 +117,15 @@ export interface LintingResultsSuccess<Name extends LintingRuleNames> {
         readonly processTimeMs: number;
     };
 }
+/**
+ * Checks whether the given linting results represent an error.
+ * @see {@link isLintingResultsSuccess}
+ */
 export declare function isLintingResultsError<Name extends LintingRuleNames>(o: LintingResults<Name>): o is LintingResultsError;
+/**
+ * Checks whether the given linting results represent a successful linting result.
+ * @see {@link isLintingResultsError}
+ */
 export declare function isLintingResultsSuccess<Name extends LintingRuleNames>(o: LintingResults<Name>): o is LintingResultsSuccess<Name>;
 export type LintingResults<Name extends LintingRuleNames> = LintingResultsSuccess<Name> | LintingResultsError;
 export declare enum LintingResultCertainty {

package/linter/linter-format.js

@@ -3,9 +3,17 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.LintingPrettyPrintContext = exports.LintingRuleCertainty = exports.LintingResultCertainty = void 0;
 exports.isLintingResultsError = isLintingResultsError;
 exports.isLintingResultsSuccess = isLintingResultsSuccess;
+/**
+ * Checks whether the given linting results represent an error.
+ * @see {@link isLintingResultsSuccess}
+ */
 function isLintingResultsError(o) {
     return 'error' in o;
 }
+/**
+ * Checks whether the given linting results represent a successful linting result.
+ * @see {@link isLintingResultsError}
+ */
 function isLintingResultsSuccess(o) {
     return 'results' in o;
 }

package/linter/rules/absolute-path.d.ts

@@ -1,7 +1,6 @@
-import type { LintingResult } from '../linter-format';
-import { LintingRuleCertainty } from '../linter-format';
-import type { MergeableRecord } from '../../util/objects';
-import type { SourceRange } from '../../util/range';
+import { type LintingResult, LintingRuleCertainty } from '../linter-format';
+import { type MergeableRecord } from '../../util/objects';
+import { type SourceRange } from '../../util/range';
 import { LintingRuleTag } from '../linter-tags';
 import type { FunctionInfo } from '../../queries/catalog/dependencies-query/function-info/function-info';
 import type { FlowrConfigOptions } from '../../config';

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,7 +31,7 @@ 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;

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");
@@ -24,7 +25,7 @@ exports.DATA_FRAME_ACCESS_VALIDATION = {
         });
         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);
+        const accessOperations = getAccessOperations(elements);
         const accesses = [];
         for (const [nodeId, operations] of accessOperations) {
             const access = { nodeId };
@@ -84,12 +85,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 +99,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';

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

@@ -1,6 +1,6 @@
 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: {

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';

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';

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>[]>>>;

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;

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 {

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';

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 {

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;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@eagleoutice/flowr",
-  "version": "2.6.1",
+  "version": "2.6.2",
   "description": "Static Dataflow Analyzer and Program Slicer for the R Programming Language",
   "types": "dist/src/index.d.ts",
   "repository": {
@@ -178,7 +178,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",

package/project/cache/flowr-analyzer-cache.d.ts

@@ -1,7 +1,6 @@
 import type { KnownParser } from '../../r-bridge/parser';
-import type { CacheInvalidationEvent } from './flowr-cache';
-import { FlowrCache } from './flowr-cache';
-import type { DEFAULT_DATAFLOW_PIPELINE, TREE_SITTER_DATAFLOW_PIPELINE } from '../../core/steps/pipeline/default-pipelines';
+import { type CacheInvalidationEvent, FlowrCache } from './flowr-cache';
+import { type DEFAULT_DATAFLOW_PIPELINE, type TREE_SITTER_DATAFLOW_PIPELINE } from '../../core/steps/pipeline/default-pipelines';
 import type { FlowrConfigOptions } from '../../config';
 import type { RParseRequests } from '../../r-bridge/retriever';
 import type { IdGenerator } from '../../r-bridge/lang-4.x/ast/model/processing/decorate';
@@ -37,14 +36,12 @@ export declare class FlowrAnalyzerCache<Parser extends KnownParser> extends Flow
     /**
      * Get the parse output for the request, parsing if necessary.
      * @param force - Do not use the cache, instead force a new parse.
-     *
      * @see {@link FlowrAnalyzerCache#peekParse} - to get the parse output if already available without triggering a new parse.
      */
     parse(force?: boolean): Promise<NonNullable<AnalyzerCacheType<Parser>['parse']>>;
     /**
      * Get the parse output for the request if already available, otherwise return `undefined`.
      * This will not trigger a new parse.
-     *
      * @see {@link FlowrAnalyzerCache#parse} - to get the parse output, parsing if necessary.
      */
     peekParse(): NonNullable<AnalyzerCacheType<Parser>['parse']> | undefined;
@@ -57,21 +54,18 @@ export declare class FlowrAnalyzerCache<Parser extends KnownParser> extends Flow
     /**
      * Get the normalized abstract syntax tree for the request if already available, otherwise return `undefined`.
      * This will not trigger a new normalization.
-     *
      * @see {@link FlowrAnalyzerCache#normalize} - to get the normalized AST, normalizing if necessary.
      */
     peekNormalize(): NonNullable<AnalyzerCacheType<Parser>['normalize']> | undefined;
     /**
      * Get the dataflow graph for the request, computing if necessary.
      * @param force - Do not use the cache, instead force new analyses.
-     *
      * @see {@link FlowrAnalyzerCache#peekDataflow} - to get the dataflow graph if already available without triggering a new computation.
      */
     dataflow(force?: boolean): Promise<NonNullable<AnalyzerCacheType<Parser>['dataflow']>>;
     /**
      * Get the dataflow graph for the request if already available, otherwise return `undefined`.
      * This will not trigger a new computation.
-     *
      * @see {@link FlowrAnalyzerCache#dataflow} - to get the dataflow graph, computing if necessary.
      */
     peekDataflow(): NonNullable<AnalyzerCacheType<Parser>['dataflow']> | undefined;
@@ -86,7 +80,6 @@ export declare class FlowrAnalyzerCache<Parser extends KnownParser> extends Flow
      * Get the control flow graph (CFG) for the request if already available, otherwise return `undefined`.
      * @param kind - The kind of CFG that is requested.
      * @param simplifications - Simplification passes to be applied to the CFG.
-     *
      * @see {@link FlowrAnalyzerCache#controlflow} - to get the control flow graph, computing if necessary.
      */
     peekControlflow(kind: CfgKind, simplifications: readonly CfgSimplificationPassName[] | undefined): ControlFlowInformation | undefined;

package/project/cache/flowr-analyzer-cache.js

@@ -65,7 +65,6 @@ class FlowrAnalyzerCache extends flowr_cache_1.FlowrCache {
     /**
      * Get the parse output for the request, parsing if necessary.
      * @param force - Do not use the cache, instead force a new parse.
-     *
      * @see {@link FlowrAnalyzerCache#peekParse} - to get the parse output if already available without triggering a new parse.
      */
     async parse(force) {
@@ -75,7 +74,6 @@ class FlowrAnalyzerCache extends flowr_cache_1.FlowrCache {
     /**
      * Get the parse output for the request if already available, otherwise return `undefined`.
      * This will not trigger a new parse.
-     *
      * @see {@link FlowrAnalyzerCache#parse} - to get the parse output, parsing if necessary.
      */
     peekParse() {
@@ -93,7 +91,6 @@ class FlowrAnalyzerCache extends flowr_cache_1.FlowrCache {
     /**
      * Get the normalized abstract syntax tree for the request if already available, otherwise return `undefined`.
      * This will not trigger a new normalization.
-     *
      * @see {@link FlowrAnalyzerCache#normalize} - to get the normalized AST, normalizing if necessary.
      */
     peekNormalize() {
@@ -102,7 +99,6 @@ class FlowrAnalyzerCache extends flowr_cache_1.FlowrCache {
     /**
      * Get the dataflow graph for the request, computing if necessary.
      * @param force - Do not use the cache, instead force new analyses.
-     *
      * @see {@link FlowrAnalyzerCache#peekDataflow} - to get the dataflow graph if already available without triggering a new computation.
      */
     async dataflow(force) {
@@ -112,7 +108,6 @@ class FlowrAnalyzerCache extends flowr_cache_1.FlowrCache {
     /**
      * Get the dataflow graph for the request if already available, otherwise return `undefined`.
      * This will not trigger a new computation.
-     *
      * @see {@link FlowrAnalyzerCache#dataflow} - to get the dataflow graph, computing if necessary.
      */
     peekDataflow() {
@@ -153,7 +148,6 @@ class FlowrAnalyzerCache extends flowr_cache_1.FlowrCache {
      * Get the control flow graph (CFG) for the request if already available, otherwise return `undefined`.
      * @param kind - The kind of CFG that is requested.
      * @param simplifications - Simplification passes to be applied to the CFG.
-     *
      * @see {@link FlowrAnalyzerCache#controlflow} - to get the control flow graph, computing if necessary.
      */
     peekControlflow(kind, simplifications) {

package/project/context/flowr-analyzer-context.d.ts

@@ -1,9 +1,6 @@
-import type { RAnalysisRequest, ReadOnlyFlowrAnalyzerFilesContext } from './flowr-analyzer-files-context';
-import { FlowrAnalyzerFilesContext } from './flowr-analyzer-files-context';
-import type { ReadOnlyFlowrAnalyzerDependenciesContext } from './flowr-analyzer-dependencies-context';
-import { FlowrAnalyzerDependenciesContext } from './flowr-analyzer-dependencies-context';
-import type { FlowrAnalyzerPlugin } from '../plugins/flowr-analyzer-plugin';
-import { PluginType } from '../plugins/flowr-analyzer-plugin';
+import { type RAnalysisRequest, type ReadOnlyFlowrAnalyzerFilesContext, FlowrAnalyzerFilesContext } from './flowr-analyzer-files-context';
+import { type ReadOnlyFlowrAnalyzerDependenciesContext, FlowrAnalyzerDependenciesContext } from './flowr-analyzer-dependencies-context';
+import { type FlowrAnalyzerPlugin, PluginType } from '../plugins/flowr-analyzer-plugin';
 /**
  * This is a read-only interface to the {@link FlowrAnalyzerContext}.
  * It prevents you from modifying the context, but allows you to inspect it (which is probably what you want when using the {@link FlowrAnalyzer}).

package/project/context/flowr-analyzer-dependencies-context.d.ts

@@ -16,7 +16,6 @@ export interface ReadOnlyFlowrAnalyzerDependenciesContext {
      * Get the dependency with the given name, if it exists.
      *
      * If the static dependencies have not yet been loaded, this may trigger a resolution step.
-     *
      * @param name - The name of the dependency to get.
      * @returns The dependency with the given name, or undefined if it does not exist.
      */

package/project/context/flowr-analyzer-files-context.d.ts

@@ -1,10 +1,9 @@
 import { AbstractFlowrAnalyzerContext } from './abstract-flowr-analyzer-context';
-import type { RParseRequest, RParseRequestFromFile } from '../../r-bridge/retriever';
+import { type RParseRequest, type RParseRequestFromFile } from '../../r-bridge/retriever';
 import type { FlowrAnalyzerLoadingOrderContext, ReadOnlyFlowrAnalyzerLoadingOrderContext } from './flowr-analyzer-loading-order-context';
 import { FlowrAnalyzerProjectDiscoveryPlugin } from '../plugins/project-discovery/flowr-analyzer-project-discovery-plugin';
 import { FlowrAnalyzerFilePlugin } from '../plugins/file-plugins/flowr-analyzer-file-plugin';
-import type { FlowrFile, FlowrFileProvider } from './flowr-file';
-import { SpecialFileRole } from './flowr-file';
+import { type FlowrFile, type FlowrFileProvider, SpecialFileRole } from './flowr-file';
 import type { FlowrDescriptionFile } from '../plugins/file-plugins/flowr-description-file';
 /**
  * This is a request to process a folder as a project, which will be expanded by the registered {@link FlowrAnalyzerProjectDiscoveryPlugin}s.
@@ -39,7 +38,6 @@ export interface ReadOnlyFlowrAnalyzerFilesContext {
     readonly loadingOrder: ReadOnlyFlowrAnalyzerLoadingOrderContext;
     /**
      * Get all requests that have been added to this context.
-     *
      * @example If you want to obtain all description files, use
      * ```ts
      * getFilesByRole(SpecialFileRole.Description)

package/project/context/flowr-file.d.ts

@@ -28,7 +28,6 @@ export declare enum SpecialFileRole {
  *
  * See {@link FlowrFile} for a basic single-cache implementation and {@link FlowrTextFile} for a text-file specific implementation.
  * If you want to pass in inline text files, see {@link FlowrInlineTextFile}.
- *
  * @typeParam Content - The type of the content returned by the `content()` method.
  */
 export interface FlowrFileProvider<Content = unknown> {