@eagleoutice/flowr 2.2.15 → 2.2.16

package/queries/catalog/dataflow-lens-query/dataflow-lens-query-format.d.ts

@@ -54,7 +54,7 @@ export declare const DataflowLensQueryDefinition: {
         }, input: {
             request?: import("../../../r-bridge/retriever").RParseRequests;
             parser?: import("../../../r-bridge/parser").Parser<import("../../../r-bridge/parser").KnownParserType>;
-        }) => import("../../../dataflow/info").DataflowInformation;
+        }, config: import("../../../config").FlowrConfigOptions) => import("../../../dataflow/info").DataflowInformation;
         readonly requiredInput: {};
         readonly name: "dataflow";
         readonly description: "Construct the dataflow graph";

package/queries/catalog/dataflow-query/dataflow-query-format.d.ts

@@ -55,7 +55,7 @@ export declare const DataflowQueryDefinition: {
         }, input: {
             request?: import("../../../r-bridge/retriever").RParseRequests;
             parser?: import("../../../r-bridge/parser").Parser<import("../../../r-bridge/parser").KnownParserType>;
-        }) => import("../../../dataflow/info").DataflowInformation;
+        }, config: import("../../../config").FlowrConfigOptions) => import("../../../dataflow/info").DataflowInformation;
         readonly requiredInput: {};
         readonly name: "dataflow";
         readonly description: "Construct the dataflow graph";

package/queries/catalog/dependencies-query/dependencies-query-executor.js

@@ -4,12 +4,9 @@ exports.executeDependenciesQuery = executeDependenciesQuery;
 const query_1 = require("../../query");
 const dependencies_query_format_1 = require("./dependencies-query-format");
 const vertex_1 = require("../../../dataflow/graph/vertex");
-const graph_1 = require("../../../dataflow/graph/graph");
 const log_1 = require("../../../util/log");
 const type_1 = require("../../../r-bridge/lang-4.x/ast/model/type");
-const r_function_call_1 = require("../../../r-bridge/lang-4.x/ast/model/nodes/r-function-call");
 const visitor_1 = require("../../../r-bridge/lang-4.x/ast/model/processing/visitor");
-const assert_1 = require("../../../util/assert");
 const objects_1 = require("../../../util/objects");
 const library_functions_1 = require("./function-info/library-functions");
 const source_functions_1 = require("./function-info/source-functions");
@@ -17,10 +14,7 @@ const read_functions_1 = require("./function-info/read-functions");
 const write_functions_1 = require("./function-info/write-functions");
 const function_info_1 = require("./function-info/function-info");
 const identify_link_to_last_call_relation_1 = require("../call-context-query/identify-link-to-last-call-relation");
-const r_value_1 = require("../../../dataflow/eval/values/r-value");
-const general_1 = require("../../../dataflow/eval/values/general");
-const alias_tracking_1 = require("../../../dataflow/eval/resolve/alias-tracking");
-const string_constants_1 = require("../../../dataflow/eval/values/string/string-constants");
+const resolve_argument_1 = require("../../../dataflow/eval/resolve/resolve-argument");
 function collectNamespaceAccesses(data, libraries) {
     /* for libraries, we have to additionally track all uses of `::` and `:::`, for this we currently simply traverse all uses */
     (0, visitor_1.visitAst)(data.ast.ast, n => {
@@ -29,7 +23,7 @@ function collectNamespaceAccesses(data, libraries) {
             libraries.push({
                 nodeId: n.info.id,
                 functionName: (n.info.fullLexeme ?? n.lexeme).includes(':::') ? ':::' : '::',
-                libraryName: n.namespace
+                libraryName: n.namespace,
             });
         }
     });
@@ -119,7 +113,7 @@ function getResults(data, results, kind, functions, makeInfo) {
     return kindEntries.flatMap(([name, results]) => results.flatMap(({ id, linkedIds }) => {
         const vertex = data.dataflow.graph.getVertex(id);
         const info = functions.find(f => f.name === name);
-        const args = getArgumentValue(data, vertex, info.argIdx, info.argName, info.resolveValue);
+        const args = (0, resolve_argument_1.getArgumentStringValue)(data.config.solver.variables, data.dataflow.graph, vertex, info.argIdx, info.argName, info.resolveValue);
         const linkedArgs = collectValuesFromLinks(args, data, linkedIds);
         const foundValues = linkedArgs ?? args;
         if (!foundValues) {
@@ -161,7 +155,7 @@ function collectValuesFromLinks(args, data, linkedIds) {
         if (vertex === undefined || vertex.tag !== vertex_1.VertexType.FunctionCall) {
             continue;
         }
-        const args = getArgumentValue(data, vertex, info.argIdx, info.argName, info.resolveValue);
+        const args = (0, resolve_argument_1.getArgumentStringValue)(data.config.solver.variables, data.dataflow.graph, vertex, info.argIdx, info.argName, info.resolveValue);
         if (args === undefined) {
             continue;
         }
@@ -175,112 +169,6 @@ function collectValuesFromLinks(args, data, linkedIds) {
     }
     return map.size ? map : undefined;
 }
-function hasCharacterOnly(data, vertex, idMap) {
-    if (!vertex.args || vertex.args.length === 0 || !idMap) {
-        return false;
-    }
-    const treatAsChar = getArgumentValue(data, vertex, 5, 'character.only', true);
-    if (!treatAsChar) {
-        return false;
-    }
-    const hasTrue = [...treatAsChar.values()].some(set => set?.has('TRUE'));
-    const hasFalse = hasTrue ? [...treatAsChar.values()].some(set => set === undefined || set.has('FALSE')) : false;
-    if (hasTrue && hasFalse) {
-        return 'maybe';
-    }
-    else {
-        return hasTrue;
-    }
-}
-function resolveBasedOnConfig(data, vertex, argument, environment, idMap, resolveValue) {
-    let full = true;
-    if (!resolveValue) {
-        full = false;
-    }
-    if (resolveValue === 'library') {
-        const hasChar = hasCharacterOnly(data, vertex, idMap);
-        if (hasChar === false) {
-            if (argument.type === type_1.RType.Symbol) {
-                return [argument.lexeme];
-            }
-            full = false;
-        }
-    }
-    full = true;
-    const resolved = (0, general_1.valueSetGuard)((0, alias_tracking_1.resolveIdToValue)(argument, { environment, graph: data.dataflow.graph, full: full }));
-    if (resolved) {
-        const values = [];
-        for (const value of resolved.elements) {
-            if (!(0, r_value_1.isValue)(value)) {
-                return undefined;
-            }
-            if (value.type === 'string' && (0, r_value_1.isValue)(value.value)) {
-                values.push(value.value.str);
-            }
-            else if (value.type === 'logical' && (0, r_value_1.isValue)(value.value)) {
-                values.push(value.value.valueOf() ? 'TRUE' : 'FALSE');
-            }
-            else if (value.type === 'vector' && (0, r_value_1.isValue)(value.elements)) {
-                const elements = (0, string_constants_1.collectStrings)(value.elements);
-                if (elements === undefined) {
-                    return undefined;
-                }
-                values.push(...elements);
-            }
-            else {
-                return undefined;
-            }
-        }
-        return values;
-    }
-}
-/**
- * Get the values of all arguments matching the criteria.
- */
-function getArgumentValue(data, vertex, argumentIndex, argumentName, resolveValue) {
-    const graph = data.dataflow.graph;
-    if (argumentName) {
-        const arg = vertex?.args.findIndex(arg => arg !== r_function_call_1.EmptyArgument && arg.name === argumentName);
-        if (arg >= 0) {
-            argumentIndex = arg;
-        }
-    }
-    if (!vertex || argumentIndex === undefined) {
-        return undefined;
-    }
-    if (argumentIndex === 'unnamed') {
-        // return all unnamed arguments
-        const references = vertex.args.filter(arg => arg !== r_function_call_1.EmptyArgument && !arg.name).map(graph_1.getReferenceOfArgument).filter(assert_1.isNotUndefined);
-        const map = new Map();
-        for (const ref of references) {
-            let valueNode = graph.idMap?.get(ref);
-            if (valueNode?.type === type_1.RType.Argument) {
-                valueNode = valueNode.value;
-            }
-            if (valueNode) {
-                // this should be evaluated in the callee-context
-                const values = resolveBasedOnConfig(data, vertex, valueNode, vertex.environment, graph.idMap, resolveValue) ?? [dependencies_query_format_1.Unknown];
-                map.set(ref, new Set(values));
-            }
-        }
-        return map;
-    }
-    if (argumentIndex < vertex.args.length) {
-        const arg = (0, graph_1.getReferenceOfArgument)(vertex.args[argumentIndex]);
-        if (!arg) {
-            return undefined;
-        }
-        let valueNode = graph.idMap?.get(arg);
-        if (valueNode?.type === type_1.RType.Argument) {
-            valueNode = valueNode.value;
-        }
-        if (valueNode) {
-            const values = resolveBasedOnConfig(data, vertex, valueNode, vertex.environment, graph.idMap, resolveValue) ?? [dependencies_query_format_1.Unknown];
-            return new Map([[arg, new Set(values)]]);
-        }
-    }
-    return undefined;
-}
 function getFunctionsToCheck(customFunctions, ignoreDefaultFunctions, defaultFunctions) {
     let functions = ignoreDefaultFunctions ? [] : [...defaultFunctions];
     if (customFunctions) {

package/queries/catalog/dependencies-query/dependencies-query-format.d.ts

@@ -79,7 +79,7 @@ export declare const DependenciesQueryDefinition: {
         }, input: {
             request?: import("../../../r-bridge/retriever").RParseRequests;
             parser?: import("../../../r-bridge/parser").Parser<import("../../../r-bridge/parser").KnownParserType>;
-        }) => import("../../../dataflow/info").DataflowInformation;
+        }, config: import("../../../config").FlowrConfigOptions) => import("../../../dataflow/info").DataflowInformation;
         readonly requiredInput: {};
         readonly name: "dataflow";
         readonly description: "Construct the dataflow graph";

package/queries/catalog/happens-before-query/happens-before-query-format.d.ts

@@ -53,7 +53,7 @@ export declare const HappensBeforeQueryDefinition: {
         }, input: {
             request?: import("../../../r-bridge/retriever").RParseRequests;
             parser?: import("../../../r-bridge/parser").Parser<import("../../../r-bridge/parser").KnownParserType>;
-        }) => import("../../../dataflow/info").DataflowInformation;
+        }, config: import("../../../config").FlowrConfigOptions) => import("../../../dataflow/info").DataflowInformation;
         readonly requiredInput: {};
         readonly name: "dataflow";
         readonly description: "Construct the dataflow graph";

package/queries/catalog/id-map-query/id-map-query-format.d.ts

@@ -50,7 +50,7 @@ export declare const IdMapQueryDefinition: {
         }, input: {
             request?: import("../../../r-bridge/retriever").RParseRequests;
             parser?: import("../../../r-bridge/parser").Parser<import("../../../r-bridge/parser").KnownParserType>;
-        }) => import("../../../dataflow/info").DataflowInformation;
+        }, config: import("../../../config").FlowrConfigOptions) => import("../../../dataflow/info").DataflowInformation;
         readonly requiredInput: {};
         readonly name: "dataflow";
         readonly description: "Construct the dataflow graph";

package/queries/catalog/lineage-query/lineage-query-format.d.ts

@@ -56,7 +56,7 @@ export declare const LineageQueryDefinition: {
         }, input: {
             request?: import("../../../r-bridge/retriever").RParseRequests;
             parser?: import("../../../r-bridge/parser").Parser<import("../../../r-bridge/parser").KnownParserType>;
-        }) => import("../../../dataflow/info").DataflowInformation;
+        }, config: import("../../../config").FlowrConfigOptions) => import("../../../dataflow/info").DataflowInformation;
         readonly requiredInput: {};
         readonly name: "dataflow";
         readonly description: "Construct the dataflow graph";

package/queries/catalog/linter-query/linter-query-executor.d.ts

@@ -1,3 +1,3 @@
 import type { BasicQueryData } from '../../base-query-format';
 import type { LinterQuery, LinterQueryResult } from './linter-query-format';
-export declare function executeLinterQuery({ ast, dataflow }: BasicQueryData, queries: readonly LinterQuery[]): LinterQueryResult;
+export declare function executeLinterQuery({ ast, dataflow, config }: BasicQueryData, queries: readonly LinterQuery[]): LinterQueryResult;

package/queries/catalog/linter-query/linter-query-executor.js

@@ -4,7 +4,7 @@ exports.executeLinterQuery = executeLinterQuery;
 const linter_rules_1 = require("../../../linter/linter-rules");
 const log_1 = require("../../../util/log");
 const linter_executor_1 = require("../../../linter/linter-executor");
-function executeLinterQuery({ ast, dataflow }, queries) {
+function executeLinterQuery({ ast, dataflow, config }, queries) {
     const flattened = queries.flatMap(q => q.rules ?? Object.keys(linter_rules_1.LintingRules));
     const distinct = new Set(flattened);
     if (distinct.size !== flattened.length) {
@@ -13,7 +13,7 @@ function executeLinterQuery({ ast, dataflow }, queries) {
     }
     const results = { results: {} };
     const start = Date.now();
-    const input = { normalize: ast, dataflow };
+    const input = { normalize: ast, dataflow, config };
     for (const entry of distinct) {
         const ruleName = typeof entry === 'string' ? entry : entry.name;
         results.results[ruleName] = (0, linter_executor_1.executeLintingRule)(ruleName, input, entry?.config);

package/queries/catalog/linter-query/linter-query-format.d.ts

@@ -61,7 +61,7 @@ export declare const LinterQueryDefinition: {
         }, input: {
             request?: import("../../../r-bridge/retriever").RParseRequests;
             parser?: import("../../../r-bridge/parser").Parser<import("../../../r-bridge/parser").KnownParserType>;
-        }) => import("../../../dataflow/info").DataflowInformation;
+        }, config: import("../../../config").FlowrConfigOptions) => import("../../../dataflow/info").DataflowInformation;
         readonly requiredInput: {};
         readonly name: "dataflow";
         readonly description: "Construct the dataflow graph";

package/queries/catalog/linter-query/linter-query-format.js

@@ -17,18 +17,7 @@ exports.LinterQueryDefinition = {
         const out = queryResults;
         result.push(`Query: ${(0, ansi_1.bold)('linter', formatter)} (${(0, time_1.printAsMs)(out['.meta'].timing, 0)})`);
         for (const [ruleName, results] of Object.entries(out.results)) {
-            const rule = linter_rules_1.LintingRules[ruleName];
-            result.push(`   ╰ ${ruleName}:`);
-            for (const certainty of [linter_format_1.LintingCertainty.Definitely, linter_format_1.LintingCertainty.Maybe]) {
-                const certaintyResults = results.results.filter(r => r.certainty === certainty);
-                if (certaintyResults.length) {
-                    result.push(`       ╰ ${certainty}:`);
-                    for (const res of certaintyResults) {
-                        result.push(`           ╰ ${rule.prettyPrint(res)}`);
-                    }
-                }
-            }
-            result.push(`       ╰ _Metadata_: ${(0, doc_code_1.codeInline)(JSON.stringify(results['.meta']))}`);
+            addLintingRuleResult(ruleName, results, result);
         }
         return true;
     },
@@ -41,4 +30,19 @@ exports.LinterQueryDefinition = {
     }).description('The linter query lints for the given set of rules and returns the result.'),
     flattenInvolvedNodes: () => []
 };
+function addLintingRuleResult(ruleName, results, result) {
+    const rule = linter_rules_1.LintingRules[ruleName];
+    result.push(`   ╰ **${rule.info.name}** (${ruleName}):`);
+    for (const certainty of [linter_format_1.LintingCertainty.Definitely, linter_format_1.LintingCertainty.Maybe]) {
+        const certaintyResults = results.results.filter(r => r.certainty === certainty);
+        if (certaintyResults.length) {
+            result.push(`       ╰ ${certainty}:`);
+            for (const res of certaintyResults) {
+                const pretty = rule.prettyPrint[linter_format_1.LintingPrettyPrintContext.Query](res, results['.meta']);
+                result.push(`           ╰ ${pretty}${res.quickFix ? ` (${res.quickFix.length} quick fix(es) available)` : ''}`);
+            }
+        }
+    }
+    result.push(`       ╰ _Metadata_: ${(0, doc_code_1.codeInline)(JSON.stringify(results['.meta']))}`);
+}
 //# sourceMappingURL=linter-query-format.js.map

package/queries/catalog/normalized-ast-query/normalized-ast-query-format.d.ts

@@ -53,7 +53,7 @@ export declare const NormalizedAstQueryDefinition: {
         }, input: {
             request?: import("../../../r-bridge/retriever").RParseRequests;
             parser?: import("../../../r-bridge/parser").Parser<import("../../../r-bridge/parser").KnownParserType>;
-        }) => import("../../../dataflow/info").DataflowInformation;
+        }, config: import("../../../config").FlowrConfigOptions) => import("../../../dataflow/info").DataflowInformation;
         readonly requiredInput: {};
         readonly name: "dataflow";
         readonly description: "Construct the dataflow graph";

package/queries/catalog/origin-query/origin-query-format.d.ts

@@ -54,7 +54,7 @@ export declare const OriginQueryDefinition: {
         }, input: {
             request?: import("../../../r-bridge/retriever").RParseRequests;
             parser?: import("../../../r-bridge/parser").Parser<import("../../../r-bridge/parser").KnownParserType>;
-        }) => import("../../../dataflow/info").DataflowInformation;
+        }, config: import("../../../config").FlowrConfigOptions) => import("../../../dataflow/info").DataflowInformation;
         readonly requiredInput: {};
         readonly name: "dataflow";
         readonly description: "Construct the dataflow graph";

package/queries/catalog/project-query/project-query-format.d.ts

@@ -49,7 +49,7 @@ export declare const ProjectQueryDefinition: {
         }, input: {
             request?: import("../../../r-bridge/retriever").RParseRequests;
             parser?: import("../../../r-bridge/parser").Parser<import("../../../r-bridge/parser").KnownParserType>;
-        }) => import("../../../dataflow/info").DataflowInformation;
+        }, config: import("../../../config").FlowrConfigOptions) => import("../../../dataflow/info").DataflowInformation;
         readonly requiredInput: {};
         readonly name: "dataflow";
         readonly description: "Construct the dataflow graph";

package/queries/catalog/resolve-value-query/resolve-value-query-executor.d.ts

@@ -1,4 +1,4 @@
 import type { ResolveValueQuery, ResolveValueQueryResult } from './resolve-value-query-format';
 import type { BasicQueryData } from '../../base-query-format';
 export declare function fingerPrintOfQuery(query: ResolveValueQuery): string;
-export declare function executeResolveValueQuery({ dataflow: { graph }, ast }: BasicQueryData, queries: readonly ResolveValueQuery[]): ResolveValueQueryResult;
+export declare function executeResolveValueQuery({ dataflow: { graph }, ast, config }: BasicQueryData, queries: readonly ResolveValueQuery[]): ResolveValueQueryResult;

package/queries/catalog/resolve-value-query/resolve-value-query-executor.js

@@ -8,7 +8,7 @@ const alias_tracking_1 = require("../../../dataflow/eval/resolve/alias-tracking"
 function fingerPrintOfQuery(query) {
     return JSON.stringify(query);
 }
-function executeResolveValueQuery({ dataflow: { graph }, ast }, queries) {
+function executeResolveValueQuery({ dataflow: { graph }, ast, config }, queries) {
     const start = Date.now();
     const results = {};
     for (const query of queries) {
@@ -18,7 +18,7 @@ function executeResolveValueQuery({ dataflow: { graph }, ast }, queries) {
         }
         const values = query.criteria
             .map(criteria => (0, parse_1.slicingCriterionToId)(criteria, ast.idMap))
-            .flatMap(ident => (0, alias_tracking_1.resolveIdToValue)(ident, { graph, full: true, idMap: ast.idMap }));
+            .flatMap(ident => (0, alias_tracking_1.resolveIdToValue)(ident, { graph, full: true, idMap: ast.idMap, resolve: config.solver.variables }));
         results[key] = {
             values: values
         };

package/queries/catalog/resolve-value-query/resolve-value-query-format.d.ts

@@ -55,7 +55,7 @@ export declare const ResolveValueQueryDefinition: {
         }, input: {
             request?: import("../../../r-bridge/retriever").RParseRequests;
             parser?: import("../../../r-bridge/parser").Parser<import("../../../r-bridge/parser").KnownParserType>;
-        }) => import("../../../dataflow/info").DataflowInformation;
+        }, config: import("../../../config").FlowrConfigOptions) => import("../../../dataflow/info").DataflowInformation;
         readonly requiredInput: {};
         readonly name: "dataflow";
         readonly description: "Construct the dataflow graph";

package/queries/catalog/search-query/search-query-executor.d.ts

@@ -1,3 +1,3 @@
 import type { BasicQueryData } from '../../base-query-format';
 import type { SearchQuery, SearchQueryResult } from './search-query-format';
-export declare function executeSearch({ ast, dataflow }: BasicQueryData, queries: readonly SearchQuery[]): SearchQueryResult;
+export declare function executeSearch({ ast, dataflow, config }: BasicQueryData, queries: readonly SearchQuery[]): SearchQueryResult;

package/queries/catalog/search-query/search-query-executor.js

@@ -2,13 +2,13 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.executeSearch = executeSearch;
 const flowr_search_executor_1 = require("../../../search/flowr-search-executor");
-function executeSearch({ ast, dataflow }, queries) {
+function executeSearch({ ast, dataflow, config }, queries) {
     const start = Date.now();
     const results = [];
     for (const query of queries) {
         const { search } = query;
         results.push({
-            ids: (0, flowr_search_executor_1.runSearch)(search, { normalize: ast, dataflow })
+            ids: (0, flowr_search_executor_1.runSearch)(search, { normalize: ast, dataflow, config })
                 .map(({ node }) => node.info.id),
             search
         });

package/queries/catalog/search-query/search-query-format.d.ts

@@ -55,7 +55,7 @@ export declare const SearchQueryDefinition: {
         }, input: {
             request?: import("../../../r-bridge/retriever").RParseRequests;
             parser?: import("../../../r-bridge/parser").Parser<import("../../../r-bridge/parser").KnownParserType>;
-        }) => import("../../../dataflow/info").DataflowInformation;
+        }, config: import("../../../config").FlowrConfigOptions) => import("../../../dataflow/info").DataflowInformation;
         readonly requiredInput: {};
         readonly name: "dataflow";
         readonly description: "Construct the dataflow graph";

package/queries/catalog/static-slice-query/static-slice-query-executor.d.ts

@@ -1,4 +1,4 @@
 import type { StaticSliceQuery, StaticSliceQueryResult } from './static-slice-query-format';
 import type { BasicQueryData } from '../../base-query-format';
 export declare function fingerPrintOfQuery(query: StaticSliceQuery): string;
-export declare function executeStaticSliceQuery({ dataflow: { graph }, ast }: BasicQueryData, queries: readonly StaticSliceQuery[]): StaticSliceQueryResult;
+export declare function executeStaticSliceQuery({ dataflow: { graph }, ast, config }: BasicQueryData, queries: readonly StaticSliceQuery[]): StaticSliceQueryResult;

package/queries/catalog/static-slice-query/static-slice-query-executor.js

@@ -10,7 +10,7 @@ const log_1 = require("../../../util/log");
 function fingerPrintOfQuery(query) {
     return JSON.stringify(query);
 }
-function executeStaticSliceQuery({ dataflow: { graph }, ast }, queries) {
+function executeStaticSliceQuery({ dataflow: { graph }, ast, config }, queries) {
     const start = Date.now();
     const results = {};
     for (const query of queries) {
@@ -20,7 +20,7 @@ function executeStaticSliceQuery({ dataflow: { graph }, ast }, queries) {
         }
         const { criteria, noReconstruction, noMagicComments } = query;
         const sliceStart = Date.now();
-        const slice = (0, static_slicer_1.staticSlicing)(graph, ast, criteria);
+        const slice = (0, static_slicer_1.staticSlicing)(graph, ast, criteria, config.solver.slicer?.threshold);
         const sliceEnd = Date.now();
         if (noReconstruction) {
             results[key] = { slice: { ...slice, '.meta': { timing: sliceEnd - sliceStart } } };

package/queries/catalog/static-slice-query/static-slice-query-format.d.ts

@@ -67,7 +67,7 @@ export declare const StaticSliceQueryDefinition: {
         }, input: {
             request?: import("../../../r-bridge/retriever").RParseRequests;
             parser?: import("../../../r-bridge/parser").Parser<import("../../../r-bridge/parser").KnownParserType>;
-        }) => import("../../../dataflow/info").DataflowInformation;
+        }, config: import("../../../config").FlowrConfigOptions) => import("../../../dataflow/info").DataflowInformation;
         readonly requiredInput: {};
         readonly name: "dataflow";
         readonly description: "Construct the dataflow graph";

package/queries/query.d.ts

@@ -97,7 +97,7 @@ export declare const SupportedQueries: {
             }, input: {
                 request?: import("../r-bridge/retriever").RParseRequests;
                 parser?: import("../r-bridge/parser").Parser<import("../r-bridge/parser").KnownParserType>;
-            }) => import("../dataflow/info").DataflowInformation;
+            }, config: import("../config").FlowrConfigOptions) => import("../dataflow/info").DataflowInformation;
             readonly requiredInput: {};
             readonly name: "dataflow";
             readonly description: "Construct the dataflow graph";
@@ -156,7 +156,7 @@ export declare const SupportedQueries: {
             }, input: {
                 request?: import("../r-bridge/retriever").RParseRequests;
                 parser?: import("../r-bridge/parser").Parser<import("../r-bridge/parser").KnownParserType>;
-            }) => import("../dataflow/info").DataflowInformation;
+            }, config: import("../config").FlowrConfigOptions) => import("../dataflow/info").DataflowInformation;
             readonly requiredInput: {};
             readonly name: "dataflow";
             readonly description: "Construct the dataflow graph";
@@ -215,7 +215,7 @@ export declare const SupportedQueries: {
             }, input: {
                 request?: import("../r-bridge/retriever").RParseRequests;
                 parser?: import("../r-bridge/parser").Parser<import("../r-bridge/parser").KnownParserType>;
-            }) => import("../dataflow/info").DataflowInformation;
+            }, config: import("../config").FlowrConfigOptions) => import("../dataflow/info").DataflowInformation;
             readonly requiredInput: {};
             readonly name: "dataflow";
             readonly description: "Construct the dataflow graph";
@@ -274,7 +274,7 @@ export declare const SupportedQueries: {
             }, input: {
                 request?: import("../r-bridge/retriever").RParseRequests;
                 parser?: import("../r-bridge/parser").Parser<import("../r-bridge/parser").KnownParserType>;
-            }) => import("../dataflow/info").DataflowInformation;
+            }, config: import("../config").FlowrConfigOptions) => import("../dataflow/info").DataflowInformation;
             readonly requiredInput: {};
             readonly name: "dataflow";
             readonly description: "Construct the dataflow graph";
@@ -333,7 +333,7 @@ export declare const SupportedQueries: {
             }, input: {
                 request?: import("../r-bridge/retriever").RParseRequests;
                 parser?: import("../r-bridge/parser").Parser<import("../r-bridge/parser").KnownParserType>;
-            }) => import("../dataflow/info").DataflowInformation;
+            }, config: import("../config").FlowrConfigOptions) => import("../dataflow/info").DataflowInformation;
             readonly requiredInput: {};
             readonly name: "dataflow";
             readonly description: "Construct the dataflow graph";
@@ -392,7 +392,7 @@ export declare const SupportedQueries: {
             }, input: {
                 request?: import("../r-bridge/retriever").RParseRequests;
                 parser?: import("../r-bridge/parser").Parser<import("../r-bridge/parser").KnownParserType>;
-            }) => import("../dataflow/info").DataflowInformation;
+            }, config: import("../config").FlowrConfigOptions) => import("../dataflow/info").DataflowInformation;
             readonly requiredInput: {};
             readonly name: "dataflow";
             readonly description: "Construct the dataflow graph";
@@ -451,7 +451,7 @@ export declare const SupportedQueries: {
             }, input: {
                 request?: import("../r-bridge/retriever").RParseRequests;
                 parser?: import("../r-bridge/parser").Parser<import("../r-bridge/parser").KnownParserType>;
-            }) => import("../dataflow/info").DataflowInformation;
+            }, config: import("../config").FlowrConfigOptions) => import("../dataflow/info").DataflowInformation;
             readonly requiredInput: {};
             readonly name: "dataflow";
             readonly description: "Construct the dataflow graph";
@@ -510,7 +510,7 @@ export declare const SupportedQueries: {
             }, input: {
                 request?: import("../r-bridge/retriever").RParseRequests;
                 parser?: import("../r-bridge/parser").Parser<import("../r-bridge/parser").KnownParserType>;
-            }) => import("../dataflow/info").DataflowInformation;
+            }, config: import("../config").FlowrConfigOptions) => import("../dataflow/info").DataflowInformation;
             readonly requiredInput: {};
             readonly name: "dataflow";
             readonly description: "Construct the dataflow graph";
@@ -569,7 +569,7 @@ export declare const SupportedQueries: {
             }, input: {
                 request?: import("../r-bridge/retriever").RParseRequests;
                 parser?: import("../r-bridge/parser").Parser<import("../r-bridge/parser").KnownParserType>;
-            }) => import("../dataflow/info").DataflowInformation;
+            }, config: import("../config").FlowrConfigOptions) => import("../dataflow/info").DataflowInformation;
             readonly requiredInput: {};
             readonly name: "dataflow";
             readonly description: "Construct the dataflow graph";
@@ -634,7 +634,7 @@ export declare const SupportedQueries: {
             }, input: {
                 request?: import("../r-bridge/retriever").RParseRequests;
                 parser?: import("../r-bridge/parser").Parser<import("../r-bridge/parser").KnownParserType>;
-            }) => import("../dataflow/info").DataflowInformation;
+            }, config: import("../config").FlowrConfigOptions) => import("../dataflow/info").DataflowInformation;
             readonly requiredInput: {};
             readonly name: "dataflow";
             readonly description: "Construct the dataflow graph";
@@ -693,7 +693,7 @@ export declare const SupportedQueries: {
             }, input: {
                 request?: import("../r-bridge/retriever").RParseRequests;
                 parser?: import("../r-bridge/parser").Parser<import("../r-bridge/parser").KnownParserType>;
-            }) => import("../dataflow/info").DataflowInformation;
+            }, config: import("../config").FlowrConfigOptions) => import("../dataflow/info").DataflowInformation;
             readonly requiredInput: {};
             readonly name: "dataflow";
             readonly description: "Construct the dataflow graph";
@@ -752,7 +752,7 @@ export declare const SupportedQueries: {
             }, input: {
                 request?: import("../r-bridge/retriever").RParseRequests;
                 parser?: import("../r-bridge/parser").Parser<import("../r-bridge/parser").KnownParserType>;
-            }) => import("../dataflow/info").DataflowInformation;
+            }, config: import("../config").FlowrConfigOptions) => import("../dataflow/info").DataflowInformation;
             readonly requiredInput: {};
             readonly name: "dataflow";
             readonly description: "Construct the dataflow graph";
@@ -811,7 +811,7 @@ export declare const SupportedQueries: {
             }, input: {
                 request?: import("../r-bridge/retriever").RParseRequests;
                 parser?: import("../r-bridge/parser").Parser<import("../r-bridge/parser").KnownParserType>;
-            }) => import("../dataflow/info").DataflowInformation;
+            }, config: import("../config").FlowrConfigOptions) => import("../dataflow/info").DataflowInformation;
             readonly requiredInput: {};
             readonly name: "dataflow";
             readonly description: "Construct the dataflow graph";
@@ -870,7 +870,7 @@ export declare const SupportedQueries: {
             }, input: {
                 request?: import("../r-bridge/retriever").RParseRequests;
                 parser?: import("../r-bridge/parser").Parser<import("../r-bridge/parser").KnownParserType>;
-            }) => import("../dataflow/info").DataflowInformation;
+            }, config: import("../config").FlowrConfigOptions) => import("../dataflow/info").DataflowInformation;
             readonly requiredInput: {};
             readonly name: "dataflow";
             readonly description: "Construct the dataflow graph";
@@ -929,7 +929,7 @@ export declare const SupportedQueries: {
             }, input: {
                 request?: import("../r-bridge/retriever").RParseRequests;
                 parser?: import("../r-bridge/parser").Parser<import("../r-bridge/parser").KnownParserType>;
-            }) => import("../dataflow/info").DataflowInformation;
+            }, config: import("../config").FlowrConfigOptions) => import("../dataflow/info").DataflowInformation;
             readonly requiredInput: {};
             readonly name: "dataflow";
             readonly description: "Construct the dataflow graph";

package/r-bridge/lang-4.x/ast/parser/json/parser.d.ts

@@ -2,6 +2,7 @@ import type { IdGenerator, NormalizedAst } from '../../model/processing/decorate
 import type { NoInfo, RNode } from '../../model/model';
 import type { ParseStepOutputTS } from '../../../../../core/steps/all/core/01-parse-tree-sitter';
 import type { ParseStepOutput } from '../../../../parser';
+import type { FlowrConfigOptions } from '../../../../../config';
 export declare const parseLog: import("tslog").Logger<import("tslog").ILogObj>;
 /**
  * Take the output as produced by the parse step and normalize the AST from the R parser.
@@ -18,4 +19,4 @@ export declare function normalizeButNotDecorated({ parsed }: ParseStepOutput<str
 /**
  * Tree-Sitter pendant to {@link normalize}.
  */
-export declare function normalizeTreeSitter({ parsed }: ParseStepOutputTS, getId?: IdGenerator<NoInfo>, file?: string): NormalizedAst;
+export declare function normalizeTreeSitter({ parsed }: ParseStepOutputTS, getId: IdGenerator<NoInfo> | undefined, config: FlowrConfigOptions, file?: string): NormalizedAst;

package/r-bridge/lang-4.x/ast/parser/json/parser.js

@@ -9,6 +9,7 @@ const log_1 = require("../../../../../util/log");
 const decorate_1 = require("../../model/processing/decorate");
 const normalize_root_1 = require("../main/internal/structure/normalize-root");
 const tree_sitter_normalize_1 = require("../../../tree-sitter/tree-sitter-normalize");
+const config_1 = require("../../../../../config");
 exports.parseLog = log_1.log.getSubLogger({ name: 'ast-parser' });
 /**
  * Take the output as produced by the parse step and normalize the AST from the R parser.
@@ -31,8 +32,9 @@ function normalizeButNotDecorated({ parsed }) {
 /**
  * Tree-Sitter pendant to {@link normalize}.
  */
-function normalizeTreeSitter({ parsed }, getId = (0, decorate_1.deterministicCountingIdGenerator)(0), file) {
-    const result = (0, decorate_1.decorateAst)((0, tree_sitter_normalize_1.normalizeTreeSitterTreeToAst)(parsed), { getId, file });
+function normalizeTreeSitter({ parsed }, getId = (0, decorate_1.deterministicCountingIdGenerator)(0), config, file) {
+    const lax = (0, config_1.getEngineConfig)(config, 'tree-sitter')?.lax;
+    const result = (0, decorate_1.decorateAst)((0, tree_sitter_normalize_1.normalizeTreeSitterTreeToAst)(parsed, lax), { getId, file });
     result.hasError = parsed.rootNode.hasError;
     return result;
 }