@eagleoutice/flowr 2.9.2 → 2.9.4

package/linter/linter-format.js

@@ -1,27 +1,70 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.LintingPrettyPrintContext = exports.LintingRuleCertainty = exports.LintingResultCertainty = void 0;
-exports.isLintingResultsError = isLintingResultsError;
-exports.isLintingResultsSuccess = isLintingResultsSuccess;
+exports.LintingPrettyPrintContext = exports.LintingRuleCertainty = exports.LintingResultCertainty = exports.LintingResults = void 0;
+const assert_1 = require("../util/assert");
 /**
- * Checks whether the given linting results represent an error.
- * @see {@link isLintingResultsSuccess}
+ * Helper functions for working with {@link LintingResults}.
  */
-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;
-}
+exports.LintingResults = {
+    /**
+     * Checks whether the given linting results represent an error.
+     * @see {@link LintingResultsError}
+     * @see {@link LintingResults.isSuccess}
+     */
+    isError(o) {
+        return 'error' in o;
+    },
+    /**
+     * Checks whether the given linting results represent a successful execution.
+     * @see {@link LintingResultsSuccess}
+     * @see {@link LintingResults.isError}
+     * @see {@link LintingResults.unpackSuccess}
+     */
+    isSuccess(o) {
+        return 'results' in o;
+    },
+    /**
+     * Unpacks the given linting results, throwing an error if they represent an error.
+     */
+    unpackSuccess(o) {
+        if (exports.LintingResults.isSuccess(o)) {
+            return o;
+        }
+        throw new Error(exports.LintingResults.stringifyError(o));
+    },
+    /**
+     * Gets all involved node IDs from the given linting results.
+     * If the results represent an error, an empty set is returned.
+     */
+    allInvolvedIds(res) {
+        if (!res || exports.LintingResults.isError(res)) {
+            return new Set();
+        }
+        return new Set(res.results.flatMap(r => r.involvedId).filter(assert_1.isNotUndefined));
+    },
+    /**
+     * Stringifies the error contained in the given linting results error.
+     */
+    stringifyError({ error }) {
+        if (error instanceof Error) {
+            return error.message;
+        }
+        if (typeof error === 'string') {
+            return error;
+        }
+        try {
+            return JSON.stringify(error);
+        }
+        catch {
+            return String(error);
+        }
+    }
+};
 var LintingResultCertainty;
 (function (LintingResultCertainty) {
     /**
      * The linting rule cannot say for sure whether the result is correct or not.
-     * This linting certainty should be used for linting results whose calculations are based on estimations involving unknown side-effects, reflection, etc.
+     * This linting certainty should be used for linting results whose calculations are based on estimations involving unknown side effects, reflection, etc.
      */
     LintingResultCertainty["Uncertain"] = "uncertain";
     /**

package/linter/linter-rules.d.ts

@@ -6,13 +6,10 @@ import type { LintingRule } from './linter-format';
 export declare const LintingRules: {
     readonly 'deprecated-functions': {
         readonly createSearch: (config: import("./rules/function-finder-util").FunctionsToDetectConfig) => import("../search/flowr-search-builder").FlowrSearchBuilder<"all", ["filter", "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: unknown, _data: unknown, refineSearch?: (elements: T) => T) => {
-            results: {
-                certainty: import("./linter-format").LintingResultCertainty;
-                involvedId: import("../r-bridge/lang-4.x/ast/model/processing/node-id").NodeId;
-                function: import("../dataflow/environments/identifier").BrandedIdentifier;
-                range: import("../util/range").SourceRange;
-            }[];
+        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[number] & {
+            certainty?: import("./linter-format").LintingResultCertainty;
+        })[]) => {
+            results: import("./rules/function-finder-util").FunctionsResult[];
             '.meta': import("./rules/function-finder-util").FunctionsMetadata;
         };
         readonly prettyPrint: {
@@ -68,7 +65,7 @@ export declare const LintingRules: {
                 involvedId: import("../r-bridge/lang-4.x/ast/model/processing/node-id").NodeId;
                 certainty: import("./linter-format").LintingResultCertainty;
                 function: import("../dataflow/environments/identifier").BrandedIdentifier;
-                range: import("../util/range").SourceRange;
+                loc: [startLine: number, startColumn: number, endLine: number, endColumn: number, f?: string | undefined];
             }[];
             '.meta': import("./rules/seeded-randomness").SeededRandomnessMeta;
         };
@@ -157,14 +154,7 @@ export declare const LintingRules: {
             cfg: import("../control-flow/control-flow-graph").ControlFlowInformation;
             analyzer: import("../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider;
         }) => {
-            results: {
-                involvedId: import("../r-bridge/lang-4.x/ast/model/processing/node-id").NodeId;
-                quickFix: import("./linter-format").LintQuickFixReplacement[] | undefined;
-                certainty: import("./linter-format").LintingResultCertainty;
-                detectedCasing: import("./rules/naming-convention").CasingConvention;
-                name: string;
-                range: import("../util/range").SourceRange;
-            }[];
+            results: import("./rules/naming-convention").NamingConventionResult[];
             '.meta': {
                 numMatches: number;
                 numBreak: number;
@@ -193,12 +183,7 @@ export declare const LintingRules: {
             cfg: import("../control-flow/control-flow-graph").ControlFlowInformation;
             analyzer: import("../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider;
         }) => {
-            results: {
-                certainty: import("./linter-format").LintingResultCertainty;
-                involvedId: import("../r-bridge/lang-4.x/ast/model/processing/node-id").NodeId;
-                function: import("../dataflow/environments/identifier").BrandedIdentifier;
-                range: import("../util/range").SourceRange;
-            }[];
+            results: import("./rules/function-finder-util").FunctionsResult[];
             '.meta': import("./rules/function-finder-util").FunctionsMetadata;
         };
         readonly prettyPrint: {
@@ -275,7 +260,7 @@ export declare const LintingRules: {
             results: {
                 certainty: import("./linter-format").LintingResultCertainty.Certain;
                 name: string;
-                range: import("../util/range").SourceRange;
+                loc: [startLine: number, startColumn: number, endLine: number, endColumn: number, f?: string | undefined];
                 involvedId: import("../r-bridge/lang-4.x/ast/model/processing/node-id").NodeId;
             }[];
             '.meta': {

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

@@ -1,11 +1,11 @@
 import { type LintingResult, LintingRuleCertainty } from '../linter-format';
 import { type MergeableRecord } from '../../util/objects';
-import { type SourceRange } from '../../util/range';
+import { SourceLocation } from '../../util/range';
 import { LintingRuleTag } from '../linter-tags';
 import type { FunctionInfo } from '../../queries/catalog/dependencies-query/function-info/function-info';
 export interface AbsoluteFilePathResult extends LintingResult {
     filePath: string;
-    range: SourceRange;
+    loc: SourceLocation;
 }
 type SupportedWd = '@script' | '@home' | string;
 export interface AbsoluteFilePathConfig extends MergeableRecord {

package/linter/rules/absolute-path.js

@@ -8,7 +8,6 @@ const linter_format_1 = require("../linter-format");
 const objects_1 = require("../../util/objects");
 const flowr_search_builder_1 = require("../../search/flowr-search-builder");
 const range_1 = require("../../util/range");
-const dfg_1 = require("../../util/mermaid/dfg");
 const linter_tags_1 = require("../linter-tags");
 const type_1 = require("../../r-bridge/lang-4.x/ast/model/type");
 const strings_1 = require("../../util/text/strings");
@@ -42,7 +41,7 @@ function buildQuickFix(str, filePath, wd) {
     }
     return [{
             type: 'replace',
-            range: str.location,
+            loc: range_1.SourceLocation.fromNode(str) ?? range_1.SourceLocation.invalid(),
             description: `Replace with a relative path to \`${filePath}\``,
             replacement: str.content.quotes + '.' + path_1.default.sep + path_1.default.relative(wd, filePath) + str.content.quotes
         }];
@@ -108,7 +107,7 @@ exports.ABSOLUTE_PATH = {
                         return [{
                                 certainty: linter_format_1.LintingResultCertainty.Uncertain,
                                 filePath: node.content.str,
-                                range: node.info.fullRange ?? node.location,
+                                loc: range_1.SourceLocation.fromNode(node) ?? range_1.SourceLocation.invalid(),
                                 quickFix: buildQuickFix(node, node.content.str, wd)
                             }];
                     }
@@ -123,7 +122,7 @@ exports.ABSOLUTE_PATH = {
                         return {
                             certainty: linter_format_1.LintingResultCertainty.Certain,
                             filePath: r.value,
-                            range: elem?.info.fullRange ?? elem?.location ?? (0, range_1.rangeFrom)(-1, -1, -1, -1),
+                            loc: elem ? range_1.SourceLocation.fromNode(elem) ?? range_1.SourceLocation.invalid() : range_1.SourceLocation.invalid(),
                             quickFix: buildQuickFix(elem, r.value, wd)
                         };
                     });
@@ -144,7 +143,7 @@ exports.ABSOLUTE_PATH = {
                             return strings.filter(s => (0, strings_1.isAbsolutePath)(s, regex)).map(str => ({
                                 certainty: linter_format_1.LintingResultCertainty.Uncertain,
                                 filePath: str,
-                                range: node.info.fullRange ?? node.location ?? (0, range_1.rangeFrom)(-1, -1, -1, -1),
+                                loc: range_1.SourceLocation.fromNode(element.node) ?? range_1.SourceLocation.invalid(),
                                 quickFix: undefined
                             }));
                         }
@@ -158,8 +157,8 @@ exports.ABSOLUTE_PATH = {
         };
     },
     prettyPrint: {
-        [linter_format_1.LintingPrettyPrintContext.Query]: result => `Path \`${result.filePath}\` at ${(0, dfg_1.formatRange)(result.range)}`,
-        [linter_format_1.LintingPrettyPrintContext.Full]: result => `Path \`${result.filePath}\` at ${(0, dfg_1.formatRange)(result.range)} is absolute`
+        [linter_format_1.LintingPrettyPrintContext.Query]: result => `Path \`${result.filePath}\` at ${range_1.SourceLocation.format(result.loc)}`,
+        [linter_format_1.LintingPrettyPrintContext.Full]: result => `Path \`${result.filePath}\` at ${range_1.SourceLocation.format(result.loc)} is absolute`
     },
     info: {
         name: 'Absolute Paths',

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

@@ -1,7 +1,7 @@
 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 { SourceRange } from '../../util/range';
 import { LintingRuleCertainty, type LintingResult } from '../linter-format';
 import { LintingRuleTag } from '../linter-tags';
 export interface DataFrameAccessValidationResult extends LintingResult {

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

@@ -9,7 +9,6 @@ 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");
 const linter_tags_1 = require("../linter-tags");
@@ -69,7 +68,7 @@ exports.DATA_FRAME_ACCESS_VALIDATION = {
             involvedId: node?.info.id,
             access: node?.lexeme ?? '???',
             ...(operand?.type === type_1.RType.Symbol ? { operand: identifier_1.Identifier.getName(operand.content) } : {}),
-            range: node?.info.fullRange ?? node?.location ?? (0, range_1.rangeFrom)(-1, -1, -1, -1),
+            range: range_1.SourceRange.fromNode(node) ?? range_1.SourceRange.invalid(),
             certainty: linter_format_1.LintingResultCertainty.Certain
         }));
         return { results, '.meta': metadata };
@@ -77,10 +76,10 @@ exports.DATA_FRAME_ACCESS_VALIDATION = {
     prettyPrint: {
         [linter_format_1.LintingPrettyPrintContext.Query]: result => `Access of ${result.type} ` +
             (typeof result.accessed === 'string' ? `"${result.accessed}"` : result.accessed) + ' ' +
-            (result.operand !== undefined ? `of \`${result.operand}\`` : `at \`${result.access}\``) + ` at ${(0, dfg_1.formatRange)(result.range)}`,
+            (result.operand !== undefined ? `of \`${result.operand}\`` : `at \`${result.access}\``) + ` at ${range_1.SourceRange.format(result.range)}`,
         [linter_format_1.LintingPrettyPrintContext.Full]: result => `Accessed ${result.type} ` +
             (typeof result.accessed === 'string' ? `"${result.accessed}"` : result.accessed) + ' does not exist ' +
-            (result.operand !== undefined ? `in \`${result.operand}\`` : `at \`${result.access}\``) + ` at ${(0, dfg_1.formatRange)(result.range)}`
+            (result.operand !== undefined ? `in \`${result.operand}\`` : `at \`${result.access}\``) + ` at ${range_1.SourceRange.format(result.range)}`
     },
     info: {
         name: 'Dataframe Access Validation',

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

@@ -1,10 +1,10 @@
 import { type LintingResult, LintingRuleCertainty } from '../linter-format';
-import { type SourceRange } from '../../util/range';
+import { SourceLocation } from '../../util/range';
 import type { MergeableRecord } from '../../util/objects';
 import { LintingRuleTag } from '../linter-tags';
 import { type CfgSimplificationPassName } from '../../control-flow/cfg-simplification';
 export interface DeadCodeResult extends LintingResult {
-    readonly range: SourceRange;
+    readonly loc: SourceLocation;
 }
 export interface DeadCodeConfig extends MergeableRecord {
     /**

package/linter/rules/dead-code.js

@@ -4,7 +4,6 @@ exports.DEAD_CODE = void 0;
 const linter_format_1 = require("../linter-format");
 const range_1 = require("../../util/range");
 const flowr_search_builder_1 = require("../../search/flowr-search-builder");
-const dfg_1 = require("../../util/mermaid/dfg");
 const linter_tags_1 = require("../linter-tags");
 const search_enrichers_1 = require("../../search/search-executor/search-enrichers");
 const assert_1 = require("../../util/assert");
@@ -28,15 +27,15 @@ exports.DEAD_CODE = {
                 .map(element => ({
                 certainty: linter_format_1.LintingResultCertainty.Certain,
                 involvedId: element.node.info.id,
-                range: (element.node.info.fullRange ?? element.node.location)
+                loc: range_1.SourceLocation.fromNode(element.node)
             }))
-                .filter(element => (0, assert_1.isNotUndefined)(element.range))),
+                .filter(element => (0, assert_1.isNotUndefined)(element.loc))),
             '.meta': meta
         };
     },
     prettyPrint: {
-        [linter_format_1.LintingPrettyPrintContext.Query]: result => `Code at ${(0, dfg_1.formatRange)(result.range)}`,
-        [linter_format_1.LintingPrettyPrintContext.Full]: result => `Code at ${(0, dfg_1.formatRange)(result.range)} can never be executed`,
+        [linter_format_1.LintingPrettyPrintContext.Query]: result => `Code at ${range_1.SourceLocation.format(result.loc)}`,
+        [linter_format_1.LintingPrettyPrintContext.Full]: result => `Code at ${range_1.SourceLocation.format(result.loc)} can never be executed`,
     },
     info: {
         name: 'Dead Code',
@@ -50,7 +49,7 @@ exports.DEAD_CODE = {
 function combineResults(results) {
     for (let i = results.length - 1; i >= 0; i--) {
         const result = results[i];
-        const other = results.find(other => result !== other && (0, range_1.rangeIsSubsetOf)(result.range, other.range));
+        const other = results.find(other => result !== other && range_1.SourceLocation.isSubsetOf(result.loc, other.loc));
         if (other !== undefined) {
             if (!Array.isArray(other.involvedId)) {
                 other.involvedId = other.involvedId !== undefined ? [other.involvedId] : [];

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

@@ -3,13 +3,10 @@ import { LintingRuleTag } from '../linter-tags';
 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", ["filter", "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: unknown, _data: unknown, refineSearch?: (elements: T) => T) => {
-        results: {
-            certainty: import("../linter-format").LintingResultCertainty;
-            involvedId: import("../../r-bridge/lang-4.x/ast/model/processing/node-id").NodeId;
-            function: import("../../dataflow/environments/identifier").BrandedIdentifier;
-            range: import("../../util/range").SourceRange;
-        }[];
+    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[number] & {
+        certainty?: import("../linter-format").LintingResultCertainty;
+    })[]) => {
+        results: FunctionsResult[];
         '.meta': FunctionsMetadata;
     };
     readonly prettyPrint: {

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

@@ -1,11 +1,11 @@
 import { type LintingResult, LintingRuleCertainty } from '../linter-format';
 import type { MergeableRecord } from '../../util/objects';
-import type { SourceRange } from '../../util/range';
+import { SourceLocation } from '../../util/range';
 import type { FunctionInfo } from '../../queries/catalog/dependencies-query/function-info/function-info';
 import { LintingRuleTag } from '../linter-tags';
 export interface FilePathValidityResult extends LintingResult {
     filePath: string;
-    range: SourceRange;
+    loc: SourceLocation;
 }
 export interface FilePathValidityConfig extends MergeableRecord {
     /**

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

@@ -3,7 +3,7 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.FILE_PATH_VALIDITY = void 0;
 const linter_format_1 = require("../linter-format");
 const flowr_search_builder_1 = require("../../search/flowr-search-builder");
-const dfg_1 = require("../../util/mermaid/dfg");
+const range_1 = require("../../util/range");
 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");
@@ -33,14 +33,17 @@ exports.FILE_PATH_VALIDITY = {
                     return [];
                 }
                 metadata.totalReads++;
-                const range = element.node.info.fullRange;
+                const loc = range_1.SourceLocation.fromNode(element.node);
+                if (!loc) {
+                    return [];
+                }
                 // check if we can't parse the file path statically
                 if (matchingRead.value === dependencies_query_format_1.Unknown) {
                     metadata.totalUnknown++;
                     if (config.includeUnknown) {
                         return [{
                                 involvedId: matchingRead.nodeId,
-                                range,
+                                loc,
                                 filePath: dependencies_query_format_1.Unknown,
                                 certainty: linter_format_1.LintingResultCertainty.Uncertain
                             }];
@@ -67,7 +70,7 @@ exports.FILE_PATH_VALIDITY = {
                 }
                 return [{
                         involvedId: matchingRead.nodeId,
-                        range,
+                        loc,
                         filePath: matchingRead.value,
                         certainty: writesBefore && writesBefore.length && writesBefore.every(w => w === logic_1.Ternary.Maybe) ? linter_format_1.LintingResultCertainty.Uncertain : linter_format_1.LintingResultCertainty.Certain
                     }];
@@ -88,8 +91,8 @@ exports.FILE_PATH_VALIDITY = {
         }
     },
     prettyPrint: {
-        [linter_format_1.LintingPrettyPrintContext.Query]: result => `Path \`${result.filePath}\` at ${(0, dfg_1.formatRange)(result.range)}`,
-        [linter_format_1.LintingPrettyPrintContext.Full]: result => `Path \`${result.filePath}\` at ${(0, dfg_1.formatRange)(result.range)} does not point to a valid file`
+        [linter_format_1.LintingPrettyPrintContext.Query]: result => `Path \`${result.filePath}\` at ${range_1.SourceLocation.format(result.loc)}`,
+        [linter_format_1.LintingPrettyPrintContext.Full]: result => `Path \`${result.filePath}\` at ${range_1.SourceLocation.format(result.loc)} does not point to a valid file`
     }
 };
 function samePath(a, b, ignoreCapitalization) {

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

@@ -1,4 +1,4 @@
-import type { SourceRange } from '../../util/range';
+import { SourceLocation } from '../../util/range';
 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';
@@ -6,10 +6,10 @@ import type { MergeableRecord } from '../../util/objects';
 import type { DataflowInformation } from '../../dataflow/info';
 import type { FunctionInfo } from '../../queries/catalog/dependencies-query/function-info/function-info';
 import type { ReadonlyFlowrAnalysisProvider } from '../../project/flowr-analyzer';
-import type { BrandedIdentifier } from '../../dataflow/environments/identifier';
+import { Ternary } from '../../util/logic';
 export interface FunctionsResult extends LintingResult {
     function: string;
-    range: SourceRange;
+    loc: SourceLocation;
 }
 export interface FunctionsMetadata extends MergeableRecord {
     totalCalls: number;
@@ -26,13 +26,10 @@ export interface FunctionsToDetectConfig extends MergeableRecord {
  */
 export declare const functionFinderUtil: {
     createSearch: (functions: readonly string[]) => import("../../search/flowr-search-builder").FlowrSearchBuilder<"all", ["filter", "with", "filter"], ParentInformation, Promise<FlowrSearchElements<ParentInformation, [] | FlowrSearchElement<ParentInformation>[]>>>;
-    processSearchResult: <T extends FlowrSearchElement<ParentInformation>[]>(elements: FlowrSearchElements<ParentInformation, T>, _config: unknown, _data: unknown, refineSearch?: (elements: T) => T) => {
-        results: {
-            certainty: LintingResultCertainty;
-            involvedId: import("../../r-bridge/lang-4.x/ast/model/processing/node-id").NodeId;
-            function: BrandedIdentifier;
-            range: SourceRange;
-        }[];
+    processSearchResult: <T extends FlowrSearchElement<ParentInformation>[]>(elements: FlowrSearchElements<ParentInformation, T>, _config: unknown, _data: unknown, refineSearch?: (elements: T) => (T[number] & {
+        certainty?: LintingResultCertainty;
+    })[]) => {
+        results: FunctionsResult[];
         '.meta': FunctionsMetadata;
     };
     prettyPrint: (functionType: string) => {
@@ -43,5 +40,5 @@ export declare const functionFinderUtil: {
         normalize: NormalizedAst;
         dataflow: DataflowInformation;
         analyzer: ReadonlyFlowrAnalysisProvider;
-    }, requireValue: RegExp | string | undefined): boolean;
+    }, requireValue: RegExp | string | undefined): Ternary;
 };

package/linter/rules/function-finder-util.js

@@ -4,12 +4,13 @@ exports.functionFinderUtil = void 0;
 const flowr_search_builder_1 = require("../../search/flowr-search-builder");
 const flowr_search_filters_1 = require("../../search/flowr-search-filters");
 const search_enrichers_1 = require("../../search/search-executor/search-enrichers");
+const range_1 = require("../../util/range");
 const linter_format_1 = require("../linter-format");
-const dfg_1 = require("../../util/mermaid/dfg");
 const assert_1 = require("../../util/assert");
 const resolve_argument_1 = require("../../dataflow/eval/resolve/resolve-argument");
 const vertex_1 = require("../../dataflow/graph/vertex");
 const dependencies_query_format_1 = require("../../queries/catalog/dependencies-query/dependencies-query-format");
+const logic_1 = require("../../util/logic");
 /**
  * This helper object collects utility functions used to create linting rules that search for specific functions.
  */
@@ -37,42 +38,50 @@ exports.functionFinderUtil = {
                 metadata.totalFunctionDefinitions++;
                 return {
                     node: element.node,
-                    range: element.node.info.fullRange,
-                    target: target
+                    loc: range_1.SourceLocation.fromNode(element.node),
+                    target: target,
+                    certainty: element.certainty
                 };
             });
         });
         return {
             results: results.map(element => ({
-                certainty: linter_format_1.LintingResultCertainty.Certain,
+                certainty: element.certainty ?? linter_format_1.LintingResultCertainty.Certain,
                 involvedId: element.node.info.id,
                 function: element.target,
-                range: element.range
-            })),
+                loc: element.loc
+            })).filter(e => (0, assert_1.isNotUndefined)(e.loc)),
             '.meta': metadata
         };
     },
     prettyPrint: (functionType) => {
         return {
-            [linter_format_1.LintingPrettyPrintContext.Query]: (result) => `Function \`${result.function}\` at ${(0, dfg_1.formatRange)(result.range)}`,
-            [linter_format_1.LintingPrettyPrintContext.Full]: (result) => `Function \`${result.function}\` called at ${(0, dfg_1.formatRange)(result.range)} is related to ${functionType}`
+            [linter_format_1.LintingPrettyPrintContext.Query]: (result) => `Function \`${result.function}\` at ${range_1.SourceLocation.format(result.loc)}`,
+            [linter_format_1.LintingPrettyPrintContext.Full]: (result) => `Function \`${result.function}\` called at ${range_1.SourceLocation.format(result.loc)} is related to ${functionType}`
         };
     },
     requireArgumentValue(element, pool, data, requireValue) {
         const info = pool.find(f => f.name === element.node.lexeme);
         /* if we have no additional info, we assume they always access the network */
         if (info === undefined) {
-            return true;
+            return logic_1.Ternary.Always;
         }
         const vert = data.dataflow.graph.getVertex(element.node.info.id);
         if ((0, vertex_1.isFunctionCallVertex)(vert)) {
             const args = (0, resolve_argument_1.getArgumentStringValue)(data.analyzer.flowrConfig.solver.variables, data.dataflow.graph, vert, info.argIdx, info.argName, info.resolveValue, data.analyzer.inspectContext());
             // we obtain all values, at least one of them has to trigger for the request
             const argValues = args ? args.values().flatMap(v => [...v]).filter(assert_1.isNotUndefined).toArray() : [];
-            /* if there are no arguments we assume they may access the network, otherwise we check for the flag */
-            return argValues.length === 0 || argValues.some(v => v === dependencies_query_format_1.Unknown || (requireValue instanceof RegExp ? requireValue.test(v) : v === requireValue));
+            if (argValues.length === 0) {
+                return logic_1.Ternary.Maybe;
+            }
+            else if (argValues.some(v => requireValue instanceof RegExp ? requireValue.test(v) : v === requireValue)) {
+                return logic_1.Ternary.Always;
+            }
+            else if (argValues.some(v => v === dependencies_query_format_1.Unknown)) {
+                return logic_1.Ternary.Maybe;
+            }
         }
-        return false;
+        return logic_1.Ternary.Never;
     }
 };
 //# sourceMappingURL=function-finder-util.js.map

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

@@ -1,8 +1,8 @@
 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, type LintQuickFixReplacement, LintingResultCertainty, LintingRuleCertainty } from '../linter-format';
+import { SourceLocation } from '../../util/range';
+import { type LintingResult, type LintQuickFixReplacement, LintingRuleCertainty } from '../linter-format';
 import { LintingRuleTag } from '../linter-tags';
 export declare enum CasingConvention {
     CamelCase = "camelCase",
@@ -16,7 +16,7 @@ export declare enum CasingConvention {
 export interface NamingConventionResult extends LintingResult {
     name: string;
     detectedCasing: CasingConvention;
-    range: SourceRange;
+    loc: SourceLocation;
 }
 /**
  * It is planned to have a config like ESLint
@@ -66,14 +66,7 @@ export declare const NAMING_CONVENTION: {
         cfg: import("../../control-flow/control-flow-graph").ControlFlowInformation;
         analyzer: import("../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider;
     }) => {
-        results: {
-            involvedId: NodeId;
-            quickFix: LintQuickFixReplacement[] | undefined;
-            certainty: LintingResultCertainty;
-            detectedCasing: CasingConvention;
-            name: string;
-            range: SourceRange;
-        }[];
+        results: NamingConventionResult[];
         '.meta': {
             numMatches: number;
             numBreak: number;

package/linter/rules/naming-convention.js

@@ -10,7 +10,7 @@ const vertex_1 = require("../../dataflow/graph/vertex");
 const dfg_get_symbol_refs_1 = require("../../dataflow/origin/dfg-get-symbol-refs");
 const flowr_search_builder_1 = require("../../search/flowr-search-builder");
 const assert_1 = require("../../util/assert");
-const dfg_1 = require("../../util/mermaid/dfg");
+const range_1 = require("../../util/range");
 const linter_format_1 = require("../linter-format");
 const linter_tags_1 = require("../linter-tags");
 var CasingConvention;
@@ -136,21 +136,21 @@ function createNamingConventionQuickFixes(graph, nodeId, replacement, conv) {
         if (node === undefined) {
             continue;
         }
-        const range = node.info.fullRange;
-        if (range) {
+        const loc = range_1.SourceLocation.fromNode(node);
+        if (loc) {
             // In case of a function call we only need to include the name, not the '()'
-            range[3] = range[1] + node.lexeme.length - 1;
+            loc[3] = loc[1] + node.lexeme.length - 1;
             result.push({
                 type: 'replace',
                 replacement: replacement,
                 description: `Rename to match naming convention ${conv}`,
-                range: range
+                loc: loc
             });
         }
     }
     return result.length === 0 ?
         undefined : // We sort so that when applied in order the fixes will start from the end of the line to avoid conflicts
-        result.sort((a, b) => a.range[0] == b.range[0] ? b.range[1] - a.range[1] : b.range[0] - a.range[0]);
+        result.sort((a, b) => range_1.SourceLocation.compare(b.loc, a.loc));
 }
 exports.NAMING_CONVENTION = {
     createSearch: (_config) => flowr_search_builder_1.Q.all().filter(vertex_1.VertexType.VariableDefinition),
@@ -160,9 +160,9 @@ exports.NAMING_CONVENTION = {
             certainty: linter_format_1.LintingResultCertainty.Certain,
             detectedCasing: detectCasing(m.node.lexeme, config.ignorePrefix),
             name: m.node.lexeme,
-            range: m.node.info.fullRange,
+            loc: range_1.SourceLocation.fromNode(m.node),
             id: m.node.info.id
-        }));
+        })).filter(e => (0, assert_1.isNotUndefined)(e.loc));
         const casing = config.caseing === 'auto' ? getMostUsedCasing(symbols) : config.caseing;
         const results = symbols
             .filter(m => (m.detectedCasing !== casing) && (!config.ignoreNonAlpha || containsAlpha(m.name)))
@@ -183,8 +183,8 @@ exports.NAMING_CONVENTION = {
         };
     },
     prettyPrint: {
-        [linter_format_1.LintingPrettyPrintContext.Query]: result => `Identifier '${result.name}' at ${(0, dfg_1.formatRange)(result.range)} (${result.detectedCasing})`,
-        [linter_format_1.LintingPrettyPrintContext.Full]: result => `Identifier '${result.name}' at ${(0, dfg_1.formatRange)(result.range)} follows wrong convention: ${result.detectedCasing}`
+        [linter_format_1.LintingPrettyPrintContext.Query]: result => `Identifier '${result.name}' at ${range_1.SourceLocation.format(result.loc)} (${result.detectedCasing})`,
+        [linter_format_1.LintingPrettyPrintContext.Full]: result => `Identifier '${result.name}' at ${range_1.SourceLocation.format(result.loc)} follows wrong convention: ${result.detectedCasing}`
     },
     info: {
         name: 'Naming Convention',