@eagleoutice/flowr 2.2.14 → 2.2.16

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

@@ -4,20 +4,17 @@ 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 resolve_by_name_1 = require("../../../dataflow/environments/resolve-by-name");
 const library_functions_1 = require("./function-info/library-functions");
 const source_functions_1 = require("./function-info/source-functions");
 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 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 => {
@@ -26,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,
             });
         }
     });
@@ -116,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) {
@@ -158,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;
         }
@@ -172,114 +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;
-        }
-    }
-    return (0, resolve_by_name_1.resolveIdToValue)(argument, { environment, graph: data.dataflow.graph, full });
-}
-function unwrapRValue(value) {
-    if (value === undefined) {
-        return undefined;
-    }
-    switch (typeof value) {
-        case 'string':
-            return value;
-        case 'number':
-            return value.toString();
-        case 'boolean':
-            return value ? 'TRUE' : 'FALSE';
-    }
-    if (typeof value !== 'object' || value === null) {
-        return JSON.stringify(value);
-    }
-    if ('str' in value) {
-        return value.str;
-    }
-    else if ('num' in value) {
-        return value.num.toString();
-    }
-    else {
-        return JSON.stringify(value);
-    }
-}
-/**
- * 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) {
-                // TDODO: extend vector support etc.
-                // this should be evaluated in the callee-context
-                const values = resolveBasedOnConfig(data, vertex, valueNode, vertex.environment, graph.idMap, resolveValue)
-                    ?.map(unwrapRValue) ?? [dependencies_query_format_1.Unknown];
-                map.set(ref, new Set(values));
-            }
-        }
-        return map;
-    }
-    if (vertex.args.length > argumentIndex) {
-        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)
-                ?.map(unwrapRValue) ?? [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

@@ -10,24 +10,14 @@ const linter_rules_1 = require("../../../linter/linter-rules");
 const linter_format_1 = require("../../../linter/linter-format");
 const ansi_1 = require("../../../util/text/ansi");
 const time_1 = require("../../../util/text/time");
+const doc_code_1 = require("../../../documentation/doc-util/doc-code");
 exports.LinterQueryDefinition = {
     executor: linter_query_executor_1.executeLinterQuery,
     asciiSummarizer: (formatter, _processed, queryResults, result) => {
         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: ${JSON.stringify(results['.meta'])}`);
+            addLintingRuleResult(ruleName, results, result);
         }
         return true;
     },
@@ -40,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

@@ -4,11 +4,11 @@ exports.fingerPrintOfQuery = fingerPrintOfQuery;
 exports.executeResolveValueQuery = executeResolveValueQuery;
 const log_1 = require("../../../util/log");
 const parse_1 = require("../../../slicing/criterion/parse");
-const resolve_by_name_1 = require("../../../dataflow/environments/resolve-by-name");
+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,9 +18,9 @@ function executeResolveValueQuery({ dataflow: { graph }, ast }, queries) {
         }
         const values = query.criteria
             .map(criteria => (0, parse_1.slicingCriterionToId)(criteria, ast.idMap))
-            .flatMap(ident => (0, resolve_by_name_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 ? [...new Set(values)] : []
+            values: values
         };
     }
     return {

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

@@ -2,6 +2,7 @@ import type { BaseQueryFormat, BaseQueryResult } from '../../base-query-format';
 import type { SlicingCriteria } from '../../../slicing/criterion/parse';
 import Joi from 'joi';
 import { executeResolveValueQuery } from './resolve-value-query-executor';
+import type { ResolveResult } from '../../../dataflow/eval/resolve/alias-tracking';
 export interface ResolveValueQuery extends BaseQueryFormat {
     readonly type: 'resolve-value';
     /** The slicing criteria to use */
@@ -9,7 +10,7 @@ export interface ResolveValueQuery extends BaseQueryFormat {
 }
 export interface ResolveValueQueryResult extends BaseQueryResult {
     results: Record<string, {
-        values: unknown[];
+        values: ResolveResult[];
     }>;
 }
 export declare const ResolveValueQueryDefinition: {
@@ -54,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/resolve-value-query/resolve-value-query-format.js

@@ -8,27 +8,7 @@ const ansi_1 = require("../../../util/text/ansi");
 const time_1 = require("../../../util/text/time");
 const joi_1 = __importDefault(require("joi"));
 const resolve_value_query_executor_1 = require("./resolve-value-query-executor");
-function rValueToAscii(value) {
-    if (value === null || value === undefined) {
-        return 'undefined';
-    }
-    else if (typeof value === 'string') {
-        return value;
-    }
-    else if (typeof value === 'object') {
-        if ('num' in value) {
-            return value.num.toString();
-        }
-        else if ('str' in value) {
-            return `${value.quotes}${value.str}${value.quotes}`;
-        }
-        else {
-            console.warn('omega lul');
-            return JSON.stringify(value);
-        }
-    }
-    return value;
-}
+const r_value_1 = require("../../../dataflow/eval/values/r-value");
 exports.ResolveValueQueryDefinition = {
     executor: resolve_value_query_executor_1.executeResolveValueQuery,
     asciiSummarizer: (formatter, _processed, queryResults, result) => {
@@ -37,7 +17,7 @@ exports.ResolveValueQueryDefinition = {
         for (const [fingerprint, obj] of Object.entries(out.results)) {
             const { criteria } = JSON.parse(fingerprint);
             result.push(`   ╰ Values for {${criteria.join(', ')}}`);
-            result.push(`   	╰ ${obj.values.map(v => rValueToAscii(v)).join(', ')}`);
+            result.push(`   	╰ ${obj.values.map(v => (0, r_value_1.stringifyValue)(v)).join(', ')}`);
         }
         return true;
     },

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