@eagleoutice/flowr 2.9.12 → 2.9.14

package/queries/catalog/does-call-query/does-call-query-format.d.ts

@@ -5,7 +5,7 @@ import { executeDoesCallQuery } from './does-call-query-executor';
 import { type NodeId } from '../../../r-bridge/lang-4.x/ast/model/processing/node-id';
 import type { SingleSlicingCriterion } from '../../../slicing/criterion/parse';
 import type { ReplOutput } from '../../../cli/repl/commands/repl-main';
-import type { FlowrConfigOptions } from '../../../config';
+import type { FlowrConfig } from '../../../config';
 interface CallsIdConstraint {
     readonly type: 'calls-id';
     /** The id of the function being called. */
@@ -40,7 +40,7 @@ export interface DoesCallQueryResult extends BaseQueryResult {
     /** Results are either false (does not call) or an object with details on the calls made */
     readonly results: Record<string, FindAllCallsResult | false>;
 }
-declare function doesCallQueryLineParser(output: ReplOutput, line: readonly string[], _config: FlowrConfigOptions): ParsedQueryLine<'does-call'>;
+declare function doesCallQueryLineParser(output: ReplOutput, line: readonly string[], _config: FlowrConfig): ParsedQueryLine<'does-call'>;
 export declare const DoesCallQueryDefinition: {
     readonly executor: typeof executeDoesCallQuery;
     readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, processed: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider<import("../../../r-bridge/parser").KnownParser>, queryResults: BaseQueryResult, result: string[]) => Promise<boolean>;

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

@@ -5,7 +5,7 @@ import { executeFileQuery } from './files-query-executor';
 import type { NodeId } from '../../../r-bridge/lang-4.x/ast/model/processing/node-id';
 import { FileRole } from '../../../project/context/flowr-file';
 import type { ReplOutput } from '../../../cli/repl/commands/repl-main';
-import type { FlowrConfigOptions } from '../../../config';
+import type { FlowrConfig } from '../../../config';
 import type { CommandCompletions } from '../../../cli/repl/core';
 /**
  * Returns the content(s) of all files matching the given pattern.
@@ -24,8 +24,8 @@ export interface FileQueryInfo<T = object> {
 export interface FilesQueryResult extends BaseQueryResult {
     files: FileQueryInfo[];
 }
-declare function filesQueryLineParser(output: ReplOutput, line: readonly string[], _config: FlowrConfigOptions): ParsedQueryLine<'files'>;
-declare function filesQueryCompleter(line: readonly string[], startingNewArg: boolean, _config: FlowrConfigOptions): CommandCompletions;
+declare function filesQueryLineParser(output: ReplOutput, line: readonly string[], _config: FlowrConfig): ParsedQueryLine<'files'>;
+declare function filesQueryCompleter(line: readonly string[], startingNewArg: boolean, _config: FlowrConfig): CommandCompletions;
 export declare const FilesQueryDefinition: {
     readonly executor: typeof executeFileQuery;
     readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, _analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider<import("../../../r-bridge/parser").KnownParser>, queryResults: BaseQueryResult, result: string[]) => true;

package/queries/catalog/happens-before-query/happens-before-query-executor.js

@@ -22,8 +22,8 @@ async function executeHappensBefore({ analyzer }, queries) {
             log_1.log.warn('Duplicate happens-before query', query, 'ignoring');
         }
         try {
-            const resolvedA = (0, parse_1.slicingCriterionToId)(a, ast.idMap);
-            const resolvedB = (0, parse_1.slicingCriterionToId)(b, ast.idMap);
+            const resolvedA = parse_1.SingleSlicingCriterion.parse(a, ast.idMap);
+            const resolvedB = parse_1.SingleSlicingCriterion.parse(b, ast.idMap);
             results[fingerprint] = (0, happens_before_1.happensBefore)(cfg.graph, resolvedA, resolvedB);
         }
         catch (e) {

package/queries/catalog/inspect-exceptions-query/inspect-exception-query-executor.d.ts

@@ -1,6 +1,6 @@
 import type { InspectExceptionQuery, InspectExceptionQueryResult } from './inspect-exception-query-format';
 import type { BasicQueryData } from '../../base-query-format';
-import { type SingleSlicingCriterion } from '../../../slicing/criterion/parse';
+import { SingleSlicingCriterion } from '../../../slicing/criterion/parse';
 import type { NodeId } from '../../../r-bridge/lang-4.x/ast/model/processing/node-id';
 import type { ReadonlyFlowrAnalysisProvider } from '../../../project/flowr-analyzer';
 /**

package/queries/catalog/inspect-exceptions-query/inspect-exception-query-executor.js

@@ -25,7 +25,7 @@ async function getFunctionsToConsiderInCallGraph(queries, analyzer, onlyDefiniti
     const filterFor = new Set();
     if (filters) {
         for (const f of filters) {
-            const i = (0, parse_1.tryResolveSliceCriterionToId)(f, ast.idMap);
+            const i = parse_1.SingleSlicingCriterion.tryParse(f, ast.idMap);
             if (i !== undefined) {
                 filterFor.add(i);
             }

package/queries/catalog/inspect-exceptions-query/inspect-exception-query-format.d.ts

@@ -4,7 +4,7 @@ import type { ParsedQueryLine } from '../../query';
 import { executeExceptionQuery } from './inspect-exception-query-executor';
 import { NodeId } from '../../../r-bridge/lang-4.x/ast/model/processing/node-id';
 import type { ReplOutput } from '../../../cli/repl/commands/repl-main';
-import type { FlowrConfigOptions } from '../../../config';
+import type { FlowrConfig } from '../../../config';
 import type { ExceptionPoint } from '../../../dataflow/fn/exceptions-of-function';
 import type { SingleSlicingCriterion } from '../../../slicing/criterion/parse';
 /**
@@ -23,7 +23,7 @@ export interface InspectExceptionQueryResult extends BaseQueryResult {
      */
     readonly exceptions: Record<NodeId, ExceptionPoint[]>;
 }
-declare function inspectExceptionLineParser(_output: ReplOutput, line: readonly string[], _config: FlowrConfigOptions): ParsedQueryLine<'inspect-exception'>;
+declare function inspectExceptionLineParser(_output: ReplOutput, line: readonly string[], _config: FlowrConfig): ParsedQueryLine<'inspect-exception'>;
 export declare const InspectExceptionQueryDefinition: {
     readonly executor: typeof executeExceptionQuery;
     readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, processed: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider<import("../../../r-bridge/parser").KnownParser>, queryResults: BaseQueryResult, result: string[]) => Promise<boolean>;

package/queries/catalog/inspect-higher-order-query/inspect-higher-order-query-executor.js

@@ -4,7 +4,7 @@ exports.executeHigherOrderQuery = executeHigherOrderQuery;
 const higher_order_function_1 = require("../../../dataflow/fn/higher-order-function");
 const parse_1 = require("../../../slicing/criterion/parse");
 const vertex_1 = require("../../../dataflow/graph/vertex");
-const invert_dfg_1 = require("../../../dataflow/graph/invert-dfg");
+const df_helper_1 = require("../../../dataflow/graph/df-helper");
 /**
  * Execute higher-order function inspection queries on the given analyzer.
  */
@@ -26,7 +26,7 @@ async function executeHigherOrderQuery({ analyzer }, queries) {
     const filterFor = new Set();
     if (filters) {
         for (const f of filters) {
-            const i = (0, parse_1.tryResolveSliceCriterionToId)(f, ast.idMap);
+            const i = parse_1.SingleSlicingCriterion.tryParse(f, ast.idMap);
             if (i !== undefined) {
                 filterFor.add(i);
             }
@@ -37,7 +37,7 @@ async function executeHigherOrderQuery({ analyzer }, queries) {
         .filter(([, v]) => filterFor.size === 0 || filterFor.has(v.id));
     let invertedGraph;
     if (filterFor.size === 0 || filterFor.size > 10) {
-        invertedGraph = (0, invert_dfg_1.invertDfg)(graph, analyzer.inspectContext().env.makeCleanEnv());
+        invertedGraph = df_helper_1.Dataflow.invertGraph(graph, analyzer.inspectContext().env.makeCleanEnv());
     }
     const result = {};
     for (const [id] of fns) {

package/queries/catalog/inspect-higher-order-query/inspect-higher-order-query-format.d.ts

@@ -5,7 +5,7 @@ import { executeHigherOrderQuery } from './inspect-higher-order-query-executor';
 import { NodeId } from '../../../r-bridge/lang-4.x/ast/model/processing/node-id';
 import type { SingleSlicingCriterion } from '../../../slicing/criterion/parse';
 import type { ReplOutput } from '../../../cli/repl/commands/repl-main';
-import type { FlowrConfigOptions } from '../../../config';
+import type { FlowrConfig } from '../../../config';
 /**
  * Either returns all function definitions alongside whether they are higher-order functions,
  * or just those matching the filters.
@@ -17,7 +17,7 @@ export interface InspectHigherOrderQuery extends BaseQueryFormat {
 export interface InspectHigherOrderQueryResult extends BaseQueryResult {
     readonly higherOrder: Record<NodeId, boolean>;
 }
-declare function inspectHoLineParser(_output: ReplOutput, line: readonly string[], _config: FlowrConfigOptions): ParsedQueryLine<'inspect-higher-order'>;
+declare function inspectHoLineParser(_output: ReplOutput, line: readonly string[], _config: FlowrConfig): ParsedQueryLine<'inspect-higher-order'>;
 export declare const InspectHigherOrderQueryDefinition: {
     readonly executor: typeof executeHigherOrderQuery;
     readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, processed: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider<import("../../../r-bridge/parser").KnownParser>, queryResults: BaseQueryResult, result: string[]) => Promise<boolean>;

package/queries/catalog/inspect-recursion-query/inspect-recursion-query-format.d.ts

@@ -5,7 +5,7 @@ import { executeRecursionQuery } from './inspect-recursion-query-executor';
 import { NodeId } from '../../../r-bridge/lang-4.x/ast/model/processing/node-id';
 import type { SingleSlicingCriterion } from '../../../slicing/criterion/parse';
 import type { ReplOutput } from '../../../cli/repl/commands/repl-main';
-import type { FlowrConfigOptions } from '../../../config';
+import type { FlowrConfig } from '../../../config';
 /**
  * Either returns all function definitions alongside whether they are recursive,
  * or just those matching the filters.
@@ -17,7 +17,7 @@ export interface InspectRecursionQuery extends BaseQueryFormat {
 export interface InspectRecursionQueryResult extends BaseQueryResult {
     readonly recursive: Record<NodeId, boolean>;
 }
-declare function inspectRecLineParser(output: ReplOutput, line: readonly string[], _config: FlowrConfigOptions): ParsedQueryLine<'inspect-recursion'>;
+declare function inspectRecLineParser(output: ReplOutput, line: readonly string[], _config: FlowrConfig): ParsedQueryLine<'inspect-recursion'>;
 export declare const InspectRecursionQueryDefinition: {
     readonly executor: typeof executeRecursionQuery;
     readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, processed: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider<import("../../../r-bridge/parser").KnownParser>, queryResults: BaseQueryResult, result: string[]) => Promise<boolean>;

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

@@ -4,7 +4,7 @@ import Joi from 'joi';
 import { executeLinterQuery } from './linter-query-executor';
 import { type LintingRuleNames } from '../../../linter/linter-rules';
 import { type ConfiguredLintingRule, LintingResults } from '../../../linter/linter-format';
-import type { FlowrConfigOptions } from '../../../config';
+import type { FlowrConfig } from '../../../config';
 import type { ReplOutput } from '../../../cli/repl/commands/repl-main';
 import type { CommandCompletions } from '../../../cli/repl/core';
 export interface LinterQuery extends BaseQueryFormat {
@@ -23,8 +23,8 @@ export interface LinterQueryResult extends BaseQueryResult {
         [L in LintingRuleNames]?: LintingResults<L>;
     };
 }
-declare function linterQueryLineParser(output: ReplOutput, line: readonly string[], _config: FlowrConfigOptions): ParsedQueryLine<'linter'>;
-declare function linterQueryCompleter(line: readonly string[], startingNewArg: boolean, _config: FlowrConfigOptions): CommandCompletions;
+declare function linterQueryLineParser(output: ReplOutput, line: readonly string[], _config: FlowrConfig): ParsedQueryLine<'linter'>;
+declare function linterQueryCompleter(line: readonly string[], startingNewArg: boolean, _config: FlowrConfig): CommandCompletions;
 export declare const LinterQueryDefinition: {
     readonly executor: typeof executeLinterQuery;
     readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider<import("../../../r-bridge/parser").KnownParser>, queryResults: BaseQueryResult, result: string[]) => true;

package/queries/catalog/location-map-query/location-map-query-executor.js

@@ -1,8 +1,8 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.executeLocationMapQuery = executeLocationMapQuery;
-const parse_1 = require("../../../slicing/criterion/parse");
 const assert_1 = require("../../../util/assert");
+const parse_1 = require("../../../slicing/criterion/parse");
 const fileIdRegex = /^(?<file>.*(\.[rR]))-/;
 function fuzzyFindFile(node, idMap) {
     if (node?.info.file) {
@@ -31,7 +31,7 @@ async function executeLocationMapQuery({ analyzer }, queries) {
     const start = Date.now();
     const criteriaOfInterest = new Set(queries
         .flatMap(q => q.ids ?? [])
-        .map(c => (0, parse_1.tryResolveSliceCriterionToId)(c, ast.idMap))
+        .map(c => parse_1.SingleSlicingCriterion.tryParse(c, ast.idMap))
         .filter(assert_1.isNotUndefined));
     const locationMap = {
         files: {},

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

@@ -6,7 +6,7 @@ import type { NodeId } from '../../../r-bridge/lang-4.x/ast/model/processing/nod
 import type { SourceRange } from '../../../util/range';
 import type { SingleSlicingCriterion } from '../../../slicing/criterion/parse';
 import type { ReplOutput } from '../../../cli/repl/commands/repl-main';
-import type { FlowrConfigOptions } from '../../../config';
+import type { FlowrConfig } from '../../../config';
 import type { ParsedQueryLine } from '../../query';
 export interface LocationMapQuery extends BaseQueryFormat {
     readonly type: 'location-map';
@@ -25,7 +25,7 @@ export interface LocationMapQueryResult extends BaseQueryResult {
         ids: Record<NodeId, [FileId, SourceRange]>;
     };
 }
-declare function locationMapLineParser(_output: ReplOutput, line: readonly string[], _config: FlowrConfigOptions): ParsedQueryLine<'location-map'>;
+declare function locationMapLineParser(_output: ReplOutput, line: readonly string[], _config: FlowrConfig): ParsedQueryLine<'location-map'>;
 export declare const LocationMapQueryDefinition: {
     readonly executor: typeof executeLocationMapQuery;
     readonly asciiSummarizer: (formatter: OutputFormatter, _analyzer: unknown, queryResults: BaseQueryResult, result: string[]) => true;

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

@@ -1,5 +1,5 @@
 import type { BasicQueryData } from '../../base-query-format';
-import { type SingleSlicingCriterion } from '../../../slicing/criterion/parse';
+import { SingleSlicingCriterion } from '../../../slicing/criterion/parse';
 import type { OriginQuery, OriginQueryResult } from './origin-query-format';
 /**
  * Produce a fingerprint string for an origin query

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

@@ -4,7 +4,7 @@ exports.fingerPrintOfQuery = fingerPrintOfQuery;
 exports.executeResolveValueQuery = executeResolveValueQuery;
 const log_1 = require("../../../util/log");
 const parse_1 = require("../../../slicing/criterion/parse");
-const dfg_get_origin_1 = require("../../../dataflow/origin/dfg-get-origin");
+const df_helper_1 = require("../../../dataflow/graph/df-helper");
 /**
  * Produce a fingerprint string for an origin query
  */
@@ -22,12 +22,12 @@ async function executeResolveValueQuery({ analyzer }, queries) {
         if (results[key]) {
             log_1.log.warn(`Duplicate Key for origin-query: ${key}, skipping...`);
         }
-        const astId = (0, parse_1.slicingCriterionToId)(key, (await analyzer.normalize()).idMap);
+        const astId = parse_1.SingleSlicingCriterion.tryParse(key, (await analyzer.normalize()).idMap);
         if (astId === undefined) {
             log_1.log.warn(`Could not resolve id for ${key}, skipping...`);
             continue;
         }
-        results[key] = (0, dfg_get_origin_1.getOriginInDfg)((await analyzer.dataflow()).graph, astId);
+        results[key] = df_helper_1.Dataflow.origin((await analyzer.dataflow()).graph, astId);
     }
     return {
         '.meta': {

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

@@ -6,7 +6,7 @@ import { executeResolveValueQuery } from './origin-query-executor';
 import type { Origin } from '../../../dataflow/origin/dfg-get-origin';
 import type { NodeId } from '../../../r-bridge/lang-4.x/ast/model/processing/node-id';
 import type { ReplOutput } from '../../../cli/repl/commands/repl-main';
-import type { FlowrConfigOptions } from '../../../config';
+import type { FlowrConfig } from '../../../config';
 export interface OriginQuery extends BaseQueryFormat {
     readonly type: 'origin';
     /** The slicing criteria to use */
@@ -15,7 +15,7 @@ export interface OriginQuery extends BaseQueryFormat {
 export interface OriginQueryResult extends BaseQueryResult {
     results: Record<SingleSlicingCriterion, Origin[] | undefined>;
 }
-declare function originQueryLineParser(output: ReplOutput, line: readonly string[], _config: FlowrConfigOptions): ParsedQueryLine<'origin'>;
+declare function originQueryLineParser(output: ReplOutput, line: readonly string[], _config: FlowrConfig): ParsedQueryLine<'origin'>;
 export declare const OriginQueryDefinition: {
     readonly executor: typeof executeResolveValueQuery;
     readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, _analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider<import("../../../r-bridge/parser").KnownParser>, queryResults: BaseQueryResult, result: string[]) => true;

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

@@ -0,0 +1,9 @@
+import type { BasicQueryData } from '../../base-query-format';
+import type { ProvenanceQuery, ProvenanceQueryResult } from './provenance-query-format';
+/**
+ * Execute static slice queries, catching duplicates with the same fingerprint
+ * @param analyzer - The basic query data containing the analyzer
+ * @param queries - The static slice queries to execute
+ * @returns The results of the static slice queries
+ */
+export declare function executeProvenanceQuery({ analyzer }: BasicQueryData, queries: readonly ProvenanceQuery[]): Promise<ProvenanceQueryResult>;

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

@@ -0,0 +1,37 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.executeProvenanceQuery = executeProvenanceQuery;
+const log_1 = require("../../../util/log");
+const r_function_definition_1 = require("../../../r-bridge/lang-4.x/ast/model/nodes/r-function-definition");
+const parse_1 = require("../../../slicing/criterion/parse");
+const df_helper_1 = require("../../../dataflow/graph/df-helper");
+const model_1 = require("../../../r-bridge/lang-4.x/ast/model/model");
+/**
+ * Execute static slice queries, catching duplicates with the same fingerprint
+ * @param analyzer - The basic query data containing the analyzer
+ * @param queries - The static slice queries to execute
+ * @returns The results of the static slice queries
+ */
+async function executeProvenanceQuery({ analyzer }, queries) {
+    const start = Date.now();
+    const results = {};
+    const nast = await analyzer.normalize();
+    const df = await analyzer.dataflow();
+    for (const query of queries) {
+        const key = query.criterion;
+        if (results[key]) {
+            log_1.log.warn(`Duplicate Key for provenance query: ${key}, skipping...`);
+        }
+        const criterionId = parse_1.SingleSlicingCriterion.tryParse(key, nast.idMap) ?? key;
+        const provenanceNode = nast.idMap.get(criterionId);
+        const fdef = r_function_definition_1.RFunctionDefinition.wrappingFunctionDefinition(provenanceNode, nast.idMap);
+        results[key] = Array.from(df_helper_1.Dataflow.provenance(criterionId, df.graph, fdef ? model_1.RNode.collectAllIds(fdef) : undefined));
+    }
+    return {
+        '.meta': {
+            timing: Date.now() - start
+        },
+        results
+    };
+}
+//# sourceMappingURL=provenance-query-executor.js.map

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

@@ -0,0 +1,35 @@
+import type { BaseQueryFormat, BaseQueryResult } from '../../base-query-format';
+import type { SingleSlicingCriterion } from '../../../slicing/criterion/parse';
+import type { ParsedQueryLine } from '../../query';
+import Joi from 'joi';
+import type { NodeId } from '../../../r-bridge/lang-4.x/ast/model/processing/node-id';
+import type { ReplOutput } from '../../../cli/repl/commands/repl-main';
+import type { FlowrConfig } from '../../../config';
+import { executeProvenanceQuery } from './provenance-query-executor';
+/** Calculates the provenance starting from a given criterion */
+export interface ProvenanceQuery extends BaseQueryFormat {
+    readonly type: 'provenance';
+    /** The slicing criterion to use as a start*/
+    readonly criterion: SingleSlicingCriterion;
+    /** Whether to stop on fdef boundaries */
+    readonly restrictFdef?: boolean;
+}
+export interface ProvenanceQueryResult extends BaseQueryResult {
+    /**
+     * Maps the requested criteria to the returned ids
+     */
+    results: Record<string, NodeId[]>;
+}
+/**
+ * Checks whether the given argument represents a fdef boundary with an `f` suffix.
+ */
+export declare function fdefBoundaryParser(argument: string): boolean;
+declare function provenanceQueryLineParser(output: ReplOutput, line: readonly string[], _config: FlowrConfig): ParsedQueryLine<'provenance'>;
+export declare const ProvenanceQueryDefinition: {
+    readonly executor: typeof executeProvenanceQuery;
+    readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider<import("../../../r-bridge/parser").KnownParser>, queryResults: BaseQueryResult, result: string[]) => Promise<boolean>;
+    readonly fromLine: typeof provenanceQueryLineParser;
+    readonly schema: Joi.ObjectSchema<any>;
+    readonly flattenInvolvedNodes: (queryResults: BaseQueryResult) => NodeId[];
+};
+export {};

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

@@ -0,0 +1,62 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ProvenanceQueryDefinition = void 0;
+exports.fdefBoundaryParser = fdefBoundaryParser;
+const ansi_1 = require("../../../util/text/ansi");
+const time_1 = require("../../../util/text/time");
+const joi_1 = __importDefault(require("joi"));
+const slice_query_parser_1 = require("../../../cli/repl/parser/slice-query-parser");
+const provenance_query_executor_1 = require("./provenance-query-executor");
+const df_helper_1 = require("../../../dataflow/graph/df-helper");
+/**
+ * Checks whether the given argument represents a fdef boundary with an `f` suffix.
+ */
+function fdefBoundaryParser(argument) {
+    const endBracket = argument.indexOf(')');
+    return argument[endBracket + 1] === 'f';
+}
+function provenanceQueryLineParser(output, line, _config) {
+    const criterion = (0, slice_query_parser_1.sliceCriteriaParser)(line[0]);
+    const stopFdef = fdefBoundaryParser(line[0]);
+    if (!criterion || criterion.length !== 1) {
+        output.stderr(output.formatter.format('Invalid provenance query format, a single slicing criterion must be given in the form "(criterion1)"', { color: 1 /* Colors.Red */, effect: ansi_1.ColorEffect.Foreground, style: 1 /* FontStyles.Bold */ }));
+        return { query: [] };
+    }
+    return { query: [{
+                type: 'provenance',
+                criterion: criterion[0],
+                restrictFdef: stopFdef
+            }], rCode: line[1] };
+}
+exports.ProvenanceQueryDefinition = {
+    executor: provenance_query_executor_1.executeProvenanceQuery,
+    asciiSummarizer: async (formatter, analyzer, queryResults, result) => {
+        const out = queryResults;
+        const df = await analyzer.dataflow();
+        result.push(`Query: ${(0, ansi_1.bold)('provenance', formatter)} (${(0, time_1.printAsMs)(out['.meta'].timing, 0)})`);
+        for (const [key, obj] of Object.entries(out.results)) {
+            result.push(`   ╰ Provenance for ${key}`);
+            const dfg = df_helper_1.Dataflow.reduceGraph(df.graph, new Set(obj));
+            result.push(`     ╰ [Mermaid Url](${df_helper_1.Dataflow.visualize.mermaid.url(dfg)})`);
+        }
+        return true;
+    },
+    fromLine: provenanceQueryLineParser,
+    schema: joi_1.default.object({
+        type: joi_1.default.string().valid('provenance').required().description('The type of the query.'),
+        criterion: joi_1.default.string().required().description('The slicing criterion to use.'),
+        restrictFdef: joi_1.default.boolean().required().description('Whether to stop on fdef boundaries.')
+    }).description('Provenance query definition'),
+    flattenInvolvedNodes: (queryResults) => {
+        const flattened = [];
+        const out = queryResults;
+        for (const obj of Object.values(out.results)) {
+            flattened.push(...obj);
+        }
+        return flattened;
+    }
+};
+//# sourceMappingURL=provenance-query-format.js.map

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

@@ -3,8 +3,8 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.fingerPrintOfQuery = fingerPrintOfQuery;
 exports.executeResolveValueQuery = executeResolveValueQuery;
 const log_1 = require("../../../util/log");
-const parse_1 = require("../../../slicing/criterion/parse");
 const alias_tracking_1 = require("../../../dataflow/eval/resolve/alias-tracking");
+const parse_1 = require("../../../slicing/criterion/parse");
 /**
  * Naive fingerprint to filter out duplicate queries.
  */
@@ -18,15 +18,15 @@ async function executeResolveValueQuery({ analyzer }, queries) {
     const start = Date.now();
     const results = {};
     const graph = (await analyzer.dataflow()).graph;
-    const ast = await analyzer.normalize();
+    const idMap = (await analyzer.normalize()).idMap;
     for (const query of queries) {
         const key = fingerPrintOfQuery(query);
         if (results[key]) {
             log_1.log.warn(`Duplicate Key for resolve-value-query: ${key}, skipping...`);
         }
         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, resolve: analyzer.flowrConfig.solver.variables, ctx: analyzer.inspectContext() }));
+            .map(criteria => parse_1.SingleSlicingCriterion.parse(criteria, idMap))
+            .flatMap(ident => (0, alias_tracking_1.resolveIdToValue)(ident, { graph, full: true, idMap, resolve: analyzer.flowrConfig.solver.variables, ctx: analyzer.inspectContext() }));
         results[key] = {
             values: values
         };

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

@@ -5,7 +5,7 @@ import Joi from 'joi';
 import { executeResolveValueQuery } from './resolve-value-query-executor';
 import type { ResolveResult } from '../../../dataflow/eval/resolve/alias-tracking';
 import type { ReplOutput } from '../../../cli/repl/commands/repl-main';
-import type { FlowrConfigOptions } from '../../../config';
+import type { FlowrConfig } from '../../../config';
 export interface ResolveValueQuery extends BaseQueryFormat {
     readonly type: 'resolve-value';
     /** The slicing criteria to use */
@@ -16,7 +16,7 @@ export interface ResolveValueQueryResult extends BaseQueryResult {
         values: ResolveResult[];
     }>;
 }
-declare function resolveValueLineParser(output: ReplOutput, line: readonly string[], _config: FlowrConfigOptions): ParsedQueryLine<'resolve-value'>;
+declare function resolveValueLineParser(output: ReplOutput, line: readonly string[], _config: FlowrConfig): ParsedQueryLine<'resolve-value'>;
 export declare const ResolveValueQueryDefinition: {
     readonly executor: typeof executeResolveValueQuery;
     readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, _analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider<import("../../../r-bridge/parser").KnownParser>, queryResults: BaseQueryResult, result: string[]) => true;

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

@@ -30,6 +30,10 @@ exports.ResolveValueQueryDefinition = {
     executor: resolve_value_query_executor_1.executeResolveValueQuery,
     asciiSummarizer: (formatter, _analyzer, queryResults, result) => {
         const out = queryResults;
+        if (out === undefined || typeof out !== 'object' || !('.meta' in out)) {
+            result.push(formatter.format('Resolve value failed (maybe your criterion does not exist?)!', { color: 1 /* Colors.Red */, effect: ansi_1.ColorEffect.Foreground, style: 1 /* FontStyles.Bold */ }));
+            return true;
+        }
         result.push(`Query: ${(0, ansi_1.bold)('resolve-value', formatter)} (${(0, time_1.printAsMs)(out['.meta'].timing, 0)})`);
         for (const [fingerprint, obj] of Object.entries(out.results)) {
             const { criteria } = JSON.parse(fingerprint);

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

@@ -17,7 +17,7 @@ exports.SearchQueryDefinition = {
         const out = queryResults;
         result.push(`Query: ${(0, ansi_1.bold)('search', formatter)} (${(0, time_1.printAsMs)(out['.meta'].timing, 0)})`);
         for (const [, { ids, search }] of out.results.entries()) {
-            result.push(`   ╰ [query](${(0, mermaid_1.mermaidCodeToUrl)((0, flowr_search_printer_1.flowrSearchToMermaid)(search))}): {${(0, query_print_1.summarizeIdsIfTooLong)(formatter, ids)}}`);
+            result.push(`   ╰ [query](${mermaid_1.Mermaid.codeToUrl((0, flowr_search_printer_1.flowrSearchToMermaid)(search))}): {${(0, query_print_1.summarizeIdsIfTooLong)(formatter, ids)}}`);
         }
         return true;
     },

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

@@ -7,7 +7,8 @@ const reconstruct_1 = require("../../../reconstruct/reconstruct");
 const auto_select_defaults_1 = require("../../../reconstruct/auto-select/auto-select-defaults");
 const magic_comments_1 = require("../../../reconstruct/auto-select/magic-comments");
 const log_1 = require("../../../util/log");
-const _00_slice_1 = require("../../../core/steps/all/static-slicing/00-slice");
+const slice_direction_1 = require("../../../util/slice-direction");
+const parse_1 = require("../../../slicing/criterion/parse");
 /**
  * Produce a fingerprint string for a static slice query
  */
@@ -30,7 +31,8 @@ async function executeStaticSliceQuery({ analyzer }, queries) {
         }
         const { criteria, noReconstruction, noMagicComments } = query;
         const sliceStart = Date.now();
-        const slice = (0, static_slicer_1.staticSlice)(analyzer.inspectContext(), await analyzer.dataflow(), await analyzer.normalize(), criteria, query.direction ?? _00_slice_1.SliceDirection.Backward, analyzer.flowrConfig.solver.slicer?.threshold);
+        const n = await analyzer.normalize();
+        const slice = (0, static_slicer_1.staticSlice)(analyzer.inspectContext(), await analyzer.dataflow(), n, parse_1.SlicingCriteria.convertAll(criteria, n.idMap), query.direction ?? slice_direction_1.SliceDirection.Backward, analyzer.flowrConfig.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

@@ -5,11 +5,11 @@ import type { SlicingCriteria } from '../../../slicing/criterion/parse';
 import type { ParsedQueryLine } from '../../query';
 import Joi from 'joi';
 import { executeStaticSliceQuery } from './static-slice-query-executor';
-import { SliceDirection } from '../../../core/steps/all/static-slicing/00-slice';
 import type { NodeId } from '../../../r-bridge/lang-4.x/ast/model/processing/node-id';
 import type { ReplOutput } from '../../../cli/repl/commands/repl-main';
-import type { FlowrConfigOptions } from '../../../config';
-/** Calculates and returns all clusters encountered in the dataflow graph. */
+import type { FlowrConfig } from '../../../config';
+import { SliceDirection } from '../../../util/slice-direction';
+/** Calculates and returns the static backward or forward slice from the given criteria */
 export interface StaticSliceQuery extends BaseQueryFormat {
     readonly type: 'static-slice';
     /** The slicing criteria to use */
@@ -31,7 +31,7 @@ export interface StaticSliceQueryResult extends BaseQueryResult {
      */
     results: Record<string, Omit<PipelineOutput<typeof DEFAULT_SLICING_PIPELINE>, keyof PipelineOutput<typeof DEFAULT_DATAFLOW_PIPELINE>> | Omit<PipelineOutput<typeof DEFAULT_SLICE_WITHOUT_RECONSTRUCT_PIPELINE>, keyof PipelineOutput<typeof DEFAULT_DATAFLOW_PIPELINE>>>;
 }
-declare function sliceQueryLineParser(output: ReplOutput, line: readonly string[], _config: FlowrConfigOptions): ParsedQueryLine<'static-slice'>;
+declare function sliceQueryLineParser(output: ReplOutput, line: readonly string[], _config: FlowrConfig): ParsedQueryLine<'static-slice'>;
 export declare const StaticSliceQueryDefinition: {
     readonly executor: typeof executeStaticSliceQuery;
     readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, _analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider<import("../../../r-bridge/parser").KnownParser>, queryResults: BaseQueryResult, result: string[]) => true;

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

@@ -9,12 +9,12 @@ const time_1 = require("../../../util/text/time");
 const joi_1 = __importDefault(require("joi"));
 const static_slice_query_executor_1 = require("./static-slice-query-executor");
 const query_print_1 = require("../../query-print");
-const _00_slice_1 = require("../../../core/steps/all/static-slicing/00-slice");
 const slice_query_parser_1 = require("../../../cli/repl/parser/slice-query-parser");
+const slice_direction_1 = require("../../../util/slice-direction");
 function sliceQueryLineParser(output, line, _config) {
     const criteria = (0, slice_query_parser_1.sliceCriteriaParser)(line[0]);
     const direction = (0, slice_query_parser_1.sliceDirectionParser)(line[0]);
-    if (!criteria || criteria.length == 0) {
+    if (!criteria || criteria.length === 0) {
         output.stderr(output.formatter.format('Invalid static-slice query format, slicing criteria must be given in the form "(criterion1;criterion2;...)"', { color: 1 /* Colors.Red */, effect: ansi_1.ColorEffect.Foreground, style: 1 /* FontStyles.Bold */ }));
         return { query: [] };
     }
@@ -68,7 +68,7 @@ exports.StaticSliceQueryDefinition = {
         criteria: joi_1.default.array().items(joi_1.default.string()).min(0).required().description('The slicing criteria to use.'),
         noReconstruction: joi_1.default.boolean().optional().description('Do not reconstruct the slice into readable code.'),
         noMagicComments: joi_1.default.boolean().optional().description('Should the magic comments (force-including lines within the slice) be ignored?'),
-        direction: joi_1.default.string().valid(...Object.values(_00_slice_1.SliceDirection)).optional().description('The direction to slice in. Defaults to backward slicing if unset.')
+        direction: joi_1.default.string().valid(...Object.values(slice_direction_1.SliceDirection)).optional().description('The direction to slice in. Defaults to backward slicing if unset.')
     }).description('Slice query used to slice the dataflow graph'),
     flattenInvolvedNodes: (queryResults) => {
         const flattened = [];