@eagleoutice/flowr 2.1.2 → 2.1.3

package/cli/repl/commands/repl-query.d.ts

@@ -1,8 +1,3 @@
-import { DEFAULT_DATAFLOW_PIPELINE } from '../../../core/steps/pipeline/default-pipelines';
 import type { ReplCommand } from './repl-main';
-import type { OutputFormatter } from '../../../util/ansi';
-import type { QueryResults, SupportedQueryTypes } from '../../../queries/query';
-import type { PipelineOutput } from '../../../core/steps/pipeline/pipeline';
-export declare function asciiSummaryOfQueryResult(formatter: OutputFormatter, totalInMs: number, results: QueryResults<SupportedQueryTypes>, processed: PipelineOutput<typeof DEFAULT_DATAFLOW_PIPELINE>): string;
 export declare const queryCommand: ReplCommand;
 export declare const queryStarCommand: ReplCommand;

package/cli/repl/commands/repl-query.js

@@ -1,7 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.queryStarCommand = exports.queryCommand = void 0;
-exports.asciiSummaryOfQueryResult = asciiSummaryOfQueryResult;
 const pipeline_executor_1 = require("../../../core/pipeline-executor");
 const default_pipelines_1 = require("../../../core/steps/pipeline/default-pipelines");
 const retriever_1 = require("../../../r-bridge/retriever");
@@ -11,11 +10,6 @@ const schema_1 = require("../../../util/schema");
 const query_1 = require("../../../queries/query");
 const json_1 = require("../../../util/json");
 const query_schema_1 = require("../../../queries/query-schema");
-const built_in_1 = require("../../../dataflow/environments/built-in");
-const dfg_1 = require("../../../util/mermaid/dfg");
-const ast_1 = require("../../../util/mermaid/ast");
-const time_1 = require("../../../util/time");
-const doc_hover_over_1 = require("../../../documentation/doc-util/doc-hover-over");
 async function getDataflow(shell, remainingLine) {
     return await new pipeline_executor_1.PipelineExecutor(default_pipelines_1.DEFAULT_DATAFLOW_PIPELINE, {
         shell,
@@ -60,141 +54,6 @@ async function processQueryArgs(line, shell, output) {
         processed
     };
 }
-function nodeString(id, formatter, processed) {
-    if (id === built_in_1.BuiltIn) {
-        return (0, ansi_1.italic)('built-in', formatter);
-    }
-    const node = processed.normalize.idMap.get(id);
-    if (node === undefined) {
-        return `UNKNOWN: ${id}`;
-    }
-    return `${(0, ansi_1.italic)('`' + (node.lexeme ?? node.info.fullLexeme ?? 'UNKNOWN') + '`', formatter)} (L.${node.location?.[0]})`;
-}
-function asciiCallContextSubHit(formatter, results, processed) {
-    const result = [];
-    for (const { id, calls = [], linkedIds = [], aliasRoots = [] } of results) {
-        const node = processed.normalize.idMap.get(id);
-        if (node === undefined) {
-            result.push(` ${(0, ansi_1.bold)('UNKNOWN: ' + JSON.stringify({ calls, linkedIds }))}`);
-            continue;
-        }
-        let line = nodeString(id, formatter, processed);
-        if (calls.length > 0) {
-            line += ` with ${calls.length} call${calls.length > 1 ? 's' : ''} (${calls.map(c => nodeString(c, formatter, processed)).join(', ')})`;
-        }
-        if (linkedIds.length > 0) {
-            line += ` with ${linkedIds.length} link${linkedIds.length > 1 ? 's' : ''} (${linkedIds.map(c => nodeString(c, formatter, processed)).join(', ')})`;
-        }
-        if (aliasRoots.length > 0) {
-            line += ` with ${aliasRoots.length} alias root${aliasRoots.length > 1 ? 's' : ''} (${aliasRoots.map(c => nodeString(c, formatter, processed)).join(', ')})`;
-        }
-        result.push(line);
-    }
-    return result.join(', ');
-}
-function asciiCallContext(formatter, results, processed) {
-    /* traverse over 'kinds' and within them 'subkinds' */
-    const result = [];
-    for (const [kind, { subkinds }] of Object.entries(results['kinds'])) {
-        result.push(`   ╰ ${(0, ansi_1.bold)(kind, formatter)}`);
-        for (const [subkind, values] of Object.entries(subkinds)) {
-            result.push(`     ╰ ${(0, ansi_1.bold)(subkind, formatter)}: ${asciiCallContextSubHit(formatter, values, processed)}`);
-        }
-    }
-    return result.join('\n');
-}
-function summarizeIdsIfTooLong(ids) {
-    const naive = ids.join(', ');
-    if (naive.length <= 20) {
-        return naive;
-    }
-    let acc = '';
-    let i = 0;
-    while (acc.length <= 20) {
-        acc += ids[i++] + ', ';
-    }
-    if (i < ids.length) {
-        acc += '... (see JSON below)';
-    }
-    return (0, doc_hover_over_1.textWithTooltip)(acc, JSON.stringify(ids));
-}
-function asciiSummaryOfQueryResult(formatter, totalInMs, results, processed) {
-    const result = [];
-    for (const [query, queryResults] of Object.entries(results)) {
-        if (query === '.meta') {
-            continue;
-        }
-        if (query === 'call-context') {
-            const out = queryResults;
-            result.push(`Query: ${(0, ansi_1.bold)(query, formatter)} (${(0, time_1.printAsMs)(out['.meta'].timing, 0)})`);
-            result.push(asciiCallContext(formatter, out, processed));
-            continue;
-        }
-        else if (query === 'dataflow') {
-            const out = queryResults;
-            result.push(`Query: ${(0, ansi_1.bold)(query, formatter)} (${(0, time_1.printAsMs)(out['.meta'].timing, 0)})`);
-            result.push(`   ╰ [Dataflow Graph](${(0, dfg_1.graphToMermaidUrl)(out.graph)})`);
-            continue;
-        }
-        else if (query === 'id-map') {
-            const out = queryResults;
-            result.push(`Query: ${(0, ansi_1.bold)(query, formatter)} (${(0, time_1.printAsMs)(out['.meta'].timing, 0)})`);
-            result.push(`   ╰ Id List: {${summarizeIdsIfTooLong([...out.idMap.keys()])}}`);
-            continue;
-        }
-        else if (query === 'normalized-ast') {
-            const out = queryResults;
-            result.push(`Query: ${(0, ansi_1.bold)(query, formatter)} (${(0, time_1.printAsMs)(out['.meta'].timing, 0)})`);
-            result.push(`   ╰ [Normalized AST](${(0, ast_1.normalizedAstToMermaidUrl)(out.normalized.ast)})`);
-            continue;
-        }
-        else if (query === 'static-slice') {
-            const out = queryResults;
-            result.push(`Query: ${(0, ansi_1.bold)(query, formatter)} (${(0, time_1.printAsMs)(out['.meta'].timing, 0)})`);
-            for (const [fingerprint, obj] of Object.entries(out.results)) {
-                const { criteria, noMagicComments, noReconstruction } = JSON.parse(fingerprint);
-                const addons = [];
-                if (noReconstruction) {
-                    addons.push('no reconstruction');
-                }
-                if (noMagicComments) {
-                    addons.push('no magic comments');
-                }
-                result.push(`   ╰ Slice for {${criteria.join(', ')}} ${addons.join(', ')}`);
-                if ('reconstruct' in obj) {
-                    result.push('     ╰ Code (newline as <code>&#92;n</code>): <code>' + obj.reconstruct.code.split('\n').join('\\n') + '</code>');
-                }
-                else {
-                    result.push(`     ╰ Id List: {${summarizeIdsIfTooLong([...obj.slice.result])}}`);
-                }
-            }
-            continue;
-        }
-        else if (query === 'dataflow-cluster') {
-            const out = queryResults;
-            result.push(`Query: ${(0, ansi_1.bold)(query, formatter)} (${out['.meta'].timing.toFixed(0)}ms)`);
-            result.push(`   ╰ Found ${out.clusters.length} cluster${out.clusters.length === 1 ? '' : 's'}`);
-            for (const cluster of out.clusters) {
-                const unknownSideEffects = cluster.hasUnknownSideEffects ? '(has unknown side effect)' : '';
-                result.push(`      ╰ ${unknownSideEffects} {${summarizeIdsIfTooLong(cluster.members)}} ([marked](${(0, dfg_1.graphToMermaidUrl)(processed.dataflow.graph, false, new Set(cluster.members))}))`);
-            }
-            continue;
-        }
-        result.push(`Query: ${(0, ansi_1.bold)(query, formatter)}`);
-        let timing = -1;
-        // eslint-disable-next-line @typescript-eslint/no-unsafe-argument
-        for (const [key, value] of Object.entries(queryResults)) {
-            if (key === '.meta') {
-                timing = value.timing;
-                continue;
-            }
-            result.push(` ╰ ${key}: ${JSON.stringify(value)}`);
-        }
-        result.push(`  - Took ${(0, time_1.printAsMs)(timing, 0)}`);
-    }
-    result.push((0, ansi_1.italic)(`All queries together required ≈${(0, time_1.printAsMs)(results['.meta'].timing, 0)} (1ms accuracy, total ${(0, time_1.printAsMs)(totalInMs, 0)})`, formatter));
-    return formatter.format(result.join('\n'));
-}
 exports.queryCommand = {
     description: `Query the given R code, start with '${retriever_1.fileProtocol}' to indicate a file. The query is to be a valid query in json format (use 'help' to get more information).`,
     usageExample: ':query "<query>" <code>',
@@ -205,7 +64,8 @@ exports.queryCommand = {
         const results = await processQueryArgs(remainingLine, shell, output);
         const totalEnd = Date.now();
         if (results) {
-            output.stdout(asciiSummaryOfQueryResult(output.formatter, totalEnd - totalStart, results.query, results.processed));
+            output.stdout(JSON.stringify(results));
+            output.stdout('Total time: ' + (totalEnd - totalStart) + 'ms');
         }
     }
 };

package/documentation/data/server/doc-data-server-messages.js

@@ -467,10 +467,15 @@ See [above](#message-request-file-analysis) for the general structure of the res
     end
     deactivate  Server
 	`,
-        shortDescription: 'Obtain the lineage of a given slicing criterion.',
+        shortDescription: '([DEPRECATED](${FlowrWikiBaseRef}/Query%20API)) Obtain the lineage of a given slicing criterion.',
         text: async (shell) => {
             return `
 
+${(0, doc_structure_1.block)({
+                type: 'WARNING',
+                content: `We deprecated the lineage request in favor of the \`lineage\` [Query](${doc_files_1.FlowrWikiBaseRef}/Query%20API).`
+            })}
+
 In order to retrieve the lineage of an object, you have to send a file analysis request first. The \`filetoken\` you assign is of use here as you can re-use it to repeatedly retrieve the lineage of the same file.
 Besides that, you will need to add a [criterion](${doc_files_1.FlowrWikiBaseRef}/Terminology#slicing-criterion) that specifies the object whose lineage you're interested in.
 

package/documentation/doc-util/doc-query.d.ts

@@ -1,11 +1,15 @@
 import type { RShell } from '../../r-bridge/shell';
-import type { Queries, SupportedQueryTypes } from '../../queries/query';
+import type { Queries, QueryResults, SupportedQueryTypes } from '../../queries/query';
+import { DEFAULT_DATAFLOW_PIPELINE } from '../../core/steps/pipeline/default-pipelines';
+import { type OutputFormatter } from '../../util/ansi';
 import type { SupportedVirtualQueryTypes } from '../../queries/virtual-query/virtual-queries';
 import type { VirtualCompoundConstraint } from '../../queries/virtual-query/compound-query';
+import type { PipelineOutput } from '../../core/steps/pipeline/pipeline';
 export interface ShowQueryOptions {
     readonly showCode?: boolean;
     readonly collapseResult?: boolean;
 }
+export declare function asciiSummaryOfQueryResult(formatter: OutputFormatter, totalInMs: number, results: QueryResults<SupportedQueryTypes>, processed: PipelineOutput<typeof DEFAULT_DATAFLOW_PIPELINE>): string;
 export declare function showQuery<Base extends SupportedQueryTypes, VirtualArguments extends VirtualCompoundConstraint<Base> = VirtualCompoundConstraint<Base>>(shell: RShell, code: string, queries: Queries<Base, VirtualArguments>, { showCode, collapseResult }?: ShowQueryOptions): Promise<string>;
 export interface QueryDocumentation {
     readonly name: string;

package/documentation/doc-util/doc-query.js

@@ -1,6 +1,7 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.RegisteredQueries = void 0;
+exports.asciiSummaryOfQueryResult = asciiSummaryOfQueryResult;
 exports.showQuery = showQuery;
 exports.registerQueryDocumentation = registerQueryDocumentation;
 exports.tocForQueryType = tocForQueryType;
@@ -11,11 +12,157 @@ const default_pipelines_1 = require("../../core/steps/pipeline/default-pipelines
 const retriever_1 = require("../../r-bridge/retriever");
 const json_1 = require("../../util/json");
 const ansi_1 = require("../../util/ansi");
-const repl_query_1 = require("../../cli/repl/commands/repl-query");
 const doc_files_1 = require("./doc-files");
 const doc_dfg_1 = require("./doc-dfg");
 const doc_code_1 = require("./doc-code");
 const time_1 = require("../../util/time");
+const built_in_1 = require("../../dataflow/environments/built-in");
+const dfg_1 = require("../../util/mermaid/dfg");
+const ast_1 = require("../../util/mermaid/ast");
+const doc_hover_over_1 = require("./doc-hover-over");
+function nodeString(id, formatter, processed) {
+    if (id === built_in_1.BuiltIn) {
+        return (0, ansi_1.italic)('built-in', formatter);
+    }
+    const node = processed.normalize.idMap.get(id);
+    if (node === undefined) {
+        return `UNKNOWN: ${id}`;
+    }
+    return `${(0, ansi_1.italic)('`' + (node.lexeme ?? node.info.fullLexeme ?? 'UNKNOWN') + '`', formatter)} (L.${node.location?.[0]})`;
+}
+function asciiCallContextSubHit(formatter, results, processed) {
+    const result = [];
+    for (const { id, calls = [], linkedIds = [], aliasRoots = [] } of results) {
+        const node = processed.normalize.idMap.get(id);
+        if (node === undefined) {
+            result.push(` ${(0, ansi_1.bold)('UNKNOWN: ' + JSON.stringify({ calls, linkedIds }))}`);
+            continue;
+        }
+        let line = nodeString(id, formatter, processed);
+        if (calls.length > 0) {
+            line += ` with ${calls.length} call${calls.length > 1 ? 's' : ''} (${calls.map(c => nodeString(c, formatter, processed)).join(', ')})`;
+        }
+        if (linkedIds.length > 0) {
+            line += ` with ${linkedIds.length} link${linkedIds.length > 1 ? 's' : ''} (${linkedIds.map(c => nodeString(c, formatter, processed)).join(', ')})`;
+        }
+        if (aliasRoots.length > 0) {
+            line += ` with ${aliasRoots.length} alias root${aliasRoots.length > 1 ? 's' : ''} (${aliasRoots.map(c => nodeString(c, formatter, processed)).join(', ')})`;
+        }
+        result.push(line);
+    }
+    return result.join(', ');
+}
+function asciiCallContext(formatter, results, processed) {
+    /* traverse over 'kinds' and within them 'subkinds' */
+    const result = [];
+    for (const [kind, { subkinds }] of Object.entries(results['kinds'])) {
+        result.push(`   ╰ ${(0, ansi_1.bold)(kind, formatter)}`);
+        for (const [subkind, values] of Object.entries(subkinds)) {
+            result.push(`     ╰ ${(0, ansi_1.bold)(subkind, formatter)}: ${asciiCallContextSubHit(formatter, values, processed)}`);
+        }
+    }
+    return result.join('\n');
+}
+function summarizeIdsIfTooLong(ids) {
+    const naive = ids.join(', ');
+    if (naive.length <= 20) {
+        return naive;
+    }
+    let acc = '';
+    let i = 0;
+    while (acc.length <= 20) {
+        acc += ids[i++] + ', ';
+    }
+    if (i < ids.length) {
+        acc += '... (see JSON below)';
+    }
+    return (0, doc_hover_over_1.textWithTooltip)(acc, JSON.stringify(ids));
+}
+function asciiSummaryOfQueryResult(formatter, totalInMs, results, processed) {
+    const result = [];
+    for (const [query, queryResults] of Object.entries(results)) {
+        if (query === '.meta') {
+            continue;
+        }
+        if (query === 'call-context') {
+            const out = queryResults;
+            result.push(`Query: ${(0, ansi_1.bold)(query, formatter)} (${(0, time_1.printAsMs)(out['.meta'].timing, 0)})`);
+            result.push(asciiCallContext(formatter, out, processed));
+            continue;
+        }
+        else if (query === 'dataflow') {
+            const out = queryResults;
+            result.push(`Query: ${(0, ansi_1.bold)(query, formatter)} (${(0, time_1.printAsMs)(out['.meta'].timing, 0)})`);
+            result.push(`   ╰ [Dataflow Graph](${(0, dfg_1.graphToMermaidUrl)(out.graph)})`);
+            continue;
+        }
+        else if (query === 'id-map') {
+            const out = queryResults;
+            result.push(`Query: ${(0, ansi_1.bold)(query, formatter)} (${(0, time_1.printAsMs)(out['.meta'].timing, 0)})`);
+            result.push(`   ╰ Id List: {${summarizeIdsIfTooLong([...out.idMap.keys()])}}`);
+            continue;
+        }
+        else if (query === 'normalized-ast') {
+            const out = queryResults;
+            result.push(`Query: ${(0, ansi_1.bold)(query, formatter)} (${(0, time_1.printAsMs)(out['.meta'].timing, 0)})`);
+            result.push(`   ╰ [Normalized AST](${(0, ast_1.normalizedAstToMermaidUrl)(out.normalized.ast)})`);
+            continue;
+        }
+        else if (query === 'static-slice') {
+            const out = queryResults;
+            result.push(`Query: ${(0, ansi_1.bold)(query, formatter)} (${(0, time_1.printAsMs)(out['.meta'].timing, 0)})`);
+            for (const [fingerprint, obj] of Object.entries(out.results)) {
+                const { criteria, noMagicComments, noReconstruction } = JSON.parse(fingerprint);
+                const addons = [];
+                if (noReconstruction) {
+                    addons.push('no reconstruction');
+                }
+                if (noMagicComments) {
+                    addons.push('no magic comments');
+                }
+                result.push(`   ╰ Slice for {${criteria.join(', ')}} ${addons.join(', ')}`);
+                if ('reconstruct' in obj) {
+                    result.push('     ╰ Code (newline as <code>&#92;n</code>): <code>' + obj.reconstruct.code.split('\n').join('\\n') + '</code>');
+                }
+                else {
+                    result.push(`     ╰ Id List: {${summarizeIdsIfTooLong([...obj.slice.result])}}`);
+                }
+            }
+            continue;
+        }
+        else if (query === 'dataflow-cluster') {
+            const out = queryResults;
+            result.push(`Query: ${(0, ansi_1.bold)(query, formatter)} (${out['.meta'].timing.toFixed(0)}ms)`);
+            result.push(`   ╰ Found ${out.clusters.length} cluster${out.clusters.length === 1 ? '' : 's'}`);
+            for (const cluster of out.clusters) {
+                const unknownSideEffects = cluster.hasUnknownSideEffects ? '(has unknown side effect)' : '';
+                result.push(`      ╰ ${unknownSideEffects} {${summarizeIdsIfTooLong(cluster.members)}} ([marked](${(0, dfg_1.graphToMermaidUrl)(processed.dataflow.graph, false, new Set(cluster.members))}))`);
+            }
+            continue;
+        }
+        else if (query === 'lineage') {
+            const out = queryResults;
+            result.push(`Query: ${(0, ansi_1.bold)(query, formatter)} (${(0, time_1.printAsMs)(out['.meta'].timing, 0)})`);
+            for (const [criteria, lineage] of Object.entries(out.lineages)) {
+                result.push(`   ╰ ${criteria}: {${summarizeIdsIfTooLong([...lineage])}}`);
+            }
+            continue;
+        }
+        result.push(`Query: ${(0, ansi_1.bold)(query, formatter)}`);
+        let timing = -1;
+        // eslint-disable-next-line @typescript-eslint/no-unsafe-argument
+        for (const [key, value] of Object.entries(queryResults)) {
+            if (key === '.meta') {
+                timing = value.timing;
+                continue;
+            }
+            result.push(` ╰ ${key}: ${JSON.stringify(value)}`);
+        }
+        result.push(`  - Took ${(0, time_1.printAsMs)(timing, 0)}`);
+    }
+    result.push((0, ansi_1.italic)(`All queries together required ≈${(0, time_1.printAsMs)(results['.meta'].timing, 0)} (1ms accuracy, total ${(0, time_1.printAsMs)(totalInMs, 0)})`, formatter));
+    return formatter.format(result.join('\n'));
+}
 async function showQuery(shell, code, queries, { showCode, collapseResult } = {}) {
     const now = performance.now();
     const analysis = await new pipeline_executor_1.PipelineExecutor(default_pipelines_1.DEFAULT_DATAFLOW_PIPELINE, {
@@ -37,7 +184,7 @@ ${collapseResult ? ' <details> <summary style="color:gray">Show Results</summary
 
 _Results (prettified and summarized):_
 
-${(0, repl_query_1.asciiSummaryOfQueryResult)(ansi_1.markdownFormatter, duration, results, analysis)}
+${asciiSummaryOfQueryResult(ansi_1.markdownFormatter, duration, results, analysis)}
 
 <details> <summary style="color:gray">Show Detailed Results as Json</summary>
 

package/documentation/print-query-wiki.js

@@ -21,6 +21,7 @@ const id_map_query_executor_1 = require("../queries/catalog/id-map-query/id-map-
 const normalized_ast_query_executor_1 = require("../queries/catalog/normalized-ast-query/normalized-ast-query-executor");
 const cluster_query_executor_1 = require("../queries/catalog/cluster-query/cluster-query-executor");
 const static_slice_query_executor_1 = require("../queries/catalog/static-slice-query/static-slice-query-executor");
+const lineage_query_executor_1 = require("../queries/catalog/lineage-query/lineage-query-executor");
 (0, doc_query_1.registerQueryDocumentation)('call-context', {
     name: 'Call-Context Query',
     type: 'active',
@@ -121,6 +122,37 @@ ${await (0, doc_query_1.showQuery)(shell, exampleCode, [{
 		`;
     }
 });
+(0, doc_query_1.registerQueryDocumentation)('lineage', {
+    name: 'Lineage Query',
+    type: 'active',
+    shortDescription: 'Returns lineage of a criteria.',
+    functionName: lineage_query_executor_1.executeLineageQuery.name,
+    functionFile: '../queries/catalog/lineage-query/lineage-query-executor.ts',
+    buildExplanation: async (shell) => {
+        const exampleCode = 'x <- 1\nx';
+        return `
+This query calculates the _lineage_ of a given slicing criterion. The lineage traces back all parts that the
+respective variables stems from given the reads, definitions, and returns in the dataflow graph.
+
+To understand this, let's start with a simple example query, to get the lineage of the second use of \`x\` in the following code:
+${(0, doc_code_1.codeBlock)('r', exampleCode)}
+ 
+For this, we use the criterion \`2@x\` (which is the first use of \`x\` in the second line).
+ 
+${await (0, doc_query_1.showQuery)(shell, exampleCode, [{
+                type: 'lineage',
+                criterion: '2@x'
+            }], { showCode: false })}
+
+In this simple scenario, the _lineage_ is equivalent to the slice (and in-fact the complete code). 
+In general the lineage is smaller and makes no executability guarantees. 
+It is just a quick and neither complete nor sound way to get information on where the variable originates from.
+
+This query replaces the old [\`request-lineage\`](${doc_files_1.FlowrWikiBaseRef}/Interface#message-request-lineage) message.
+
+		`;
+    }
+});
 (0, doc_query_1.registerQueryDocumentation)('dataflow-cluster', {
     name: 'Dataflow Cluster Query',
     type: 'active',

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@eagleoutice/flowr",
-  "version": "2.1.2",
+  "version": "2.1.3",
   "description": "Static Dataflow Analyzer and Program Slicer for the R Programming Language",
   "types": "dist/src/index.d.ts",
   "repository": {
@@ -38,7 +38,8 @@
     "test": "nyc --no-clean mocha",
     "performance-test": "func() { cd test/performance/ && bash run-all-suites.sh $1 $2 $3; cd ../../; }; func",
     "test-full": "npm run test -- --test-installation",
-    "detect-circular-deps": "npx madge  --extensions ts,tsx --circular src/"
+    "detect-circular-deps": "npx madge  --extensions ts,tsx --circular src/",
+    "checkup": "npm run flowr -- --execute \":version\" && npm run lint && npm run test-full -- --forbid-only && docker build -t test-flowr -f scripts/Dockerfile . && npm run doc && npm-run-all wiki:*"
   },
   "keywords": [
     "static code analysis",

package/queries/catalog/call-context-query/call-context-query-executor.js

@@ -93,7 +93,7 @@ function isSubCallQuery(query) {
     return 'linkTo' in query;
 }
 function exactCallNameRegex(name) {
-    return new RegExp(`^${name}$`);
+    return new RegExp(`^(${name})$`);
 }
 function promoteQueryCallNames(queries) {
     let requiresCfg = false;

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

@@ -0,0 +1,3 @@
+import type { BasicQueryData } from '../../query';
+import type { LineageQuery, LineageQueryResult } from './lineage-query-format';
+export declare function executeLineageQuery({ graph, ast }: BasicQueryData, queries: readonly LineageQuery[]): LineageQueryResult;

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

@@ -0,0 +1,22 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.executeLineageQuery = executeLineageQuery;
+const log_1 = require("../../../util/log");
+const repl_lineage_1 = require("../../../cli/repl/commands/repl-lineage");
+function executeLineageQuery({ graph, ast }, queries) {
+    const start = Date.now();
+    const result = {};
+    for (const { criterion } of queries) {
+        if (result[criterion]) {
+            log_1.log.warn('Duplicate criterion in lineage query:', criterion);
+        }
+        result[criterion] = (0, repl_lineage_1.getLineage)(criterion, graph, ast.idMap);
+    }
+    return {
+        '.meta': {
+            timing: Date.now() - start
+        },
+        lineages: result
+    };
+}
+//# sourceMappingURL=lineage-query-executor.js.map

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

@@ -0,0 +1,14 @@
+import type { BaseQueryFormat, BaseQueryResult } from '../../base-query-format';
+import type { SingleSlicingCriterion } from '../../../slicing/criterion/parse';
+import type { NodeId } from '../../../r-bridge/lang-4.x/ast/model/processing/node-id';
+/**
+ * Calculates the lineage of the given criterion.
+ */
+export interface LineageQuery extends BaseQueryFormat {
+    readonly type: 'lineage';
+    readonly criterion: SingleSlicingCriterion;
+}
+export interface LineageQueryResult extends BaseQueryResult {
+    /** Maps each criterion to the found lineage, duplicates are ignored. */
+    readonly lineages: Record<SingleSlicingCriterion, Set<NodeId>>;
+}

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

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=lineage-query-format.js.map

package/queries/query-schema.d.ts

@@ -5,6 +5,7 @@ export declare const IdMapQuerySchema: Joi.ObjectSchema<any>;
 export declare const NormalizedAstQuerySchema: Joi.ObjectSchema<any>;
 export declare const DataflowClusterQuerySchema: Joi.ObjectSchema<any>;
 export declare const StaticSliceQuerySchema: Joi.ObjectSchema<any>;
+export declare const LineageQuerySchema: Joi.ObjectSchema<any>;
 export declare const SupportedQueriesSchema: Joi.AlternativesSchema<any>;
 export declare const CompoundQuerySchema: Joi.ObjectSchema<any>;
 export declare const VirtualQuerySchema: Joi.AlternativesSchema<any>;

package/queries/query-schema.js

@@ -3,7 +3,7 @@ var __importDefault = (this && this.__importDefault) || function (mod) {
     return (mod && mod.__esModule) ? mod : { "default": mod };
 };
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.QueriesSchema = exports.AnyQuerySchema = exports.VirtualQuerySchema = exports.CompoundQuerySchema = exports.SupportedQueriesSchema = exports.StaticSliceQuerySchema = exports.DataflowClusterQuerySchema = exports.NormalizedAstQuerySchema = exports.IdMapQuerySchema = exports.DataflowQuerySchema = exports.CallContextQuerySchema = void 0;
+exports.QueriesSchema = exports.AnyQuerySchema = exports.VirtualQuerySchema = exports.CompoundQuerySchema = exports.SupportedQueriesSchema = exports.LineageQuerySchema = exports.StaticSliceQuerySchema = exports.DataflowClusterQuerySchema = exports.NormalizedAstQuerySchema = exports.IdMapQuerySchema = exports.DataflowQuerySchema = exports.CallContextQuerySchema = void 0;
 const joi_1 = __importDefault(require("joi"));
 const call_context_query_format_1 = require("./catalog/call-context-query/call-context-query-format");
 exports.CallContextQuerySchema = joi_1.default.object({
@@ -37,7 +37,11 @@ exports.StaticSliceQuerySchema = joi_1.default.object({
     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?')
 }).description('Slice query used to slice the dataflow graph');
-exports.SupportedQueriesSchema = joi_1.default.alternatives(exports.CallContextQuerySchema, exports.DataflowQuerySchema, exports.IdMapQuerySchema, exports.NormalizedAstQuerySchema, exports.DataflowClusterQuerySchema, exports.StaticSliceQuerySchema).description('Supported queries');
+exports.LineageQuerySchema = joi_1.default.object({
+    type: joi_1.default.string().valid('lineage').required().description('The type of the query.'),
+    id: joi_1.default.string().required().description('The ID of the node to get the lineage of.')
+}).description('Lineage query used to find the lineage of a node in the dataflow graph');
+exports.SupportedQueriesSchema = joi_1.default.alternatives(exports.CallContextQuerySchema, exports.DataflowQuerySchema, exports.IdMapQuerySchema, exports.NormalizedAstQuerySchema, exports.DataflowClusterQuerySchema, exports.StaticSliceQuerySchema, exports.LineageQuerySchema).description('Supported queries');
 exports.CompoundQuerySchema = joi_1.default.object({
     type: joi_1.default.string().valid('compound').required().description('The type of the query.'),
     query: joi_1.default.string().required().description('The query to run on the file analysis information.'),

package/queries/query.d.ts

@@ -15,7 +15,9 @@ import type { DataflowClusterQuery } from './catalog/cluster-query/cluster-query
 import { executeDataflowClusterQuery } from './catalog/cluster-query/cluster-query-executor';
 import type { StaticSliceQuery } from './catalog/static-slice-query/static-slice-query-format';
 import { executeStaticSliceClusterQuery } from './catalog/static-slice-query/static-slice-query-executor';
-export type Query = CallContextQuery | DataflowQuery | NormalizedAstQuery | IdMapQuery | DataflowClusterQuery | StaticSliceQuery;
+import type { LineageQuery } from './catalog/lineage-query/lineage-query-format';
+import { executeLineageQuery } from './catalog/lineage-query/lineage-query-executor';
+export type Query = CallContextQuery | DataflowQuery | NormalizedAstQuery | IdMapQuery | DataflowClusterQuery | StaticSliceQuery | LineageQuery;
 export type QueryArgumentsWithType<QueryType extends BaseQueryFormat['type']> = Query & {
     type: QueryType;
 };
@@ -34,6 +36,7 @@ export declare const SupportedQueries: {
     readonly 'normalized-ast': typeof executeNormalizedAstQuery;
     readonly 'dataflow-cluster': typeof executeDataflowClusterQuery;
     readonly 'static-slice': typeof executeStaticSliceClusterQuery;
+    readonly lineage: typeof executeLineageQuery;
 };
 export type SupportedQueryTypes = keyof typeof SupportedQueries;
 export type QueryResult<Type extends Query['type']> = ReturnType<typeof SupportedQueries[Type]>;

package/queries/query.js

@@ -11,13 +11,15 @@ const id_map_query_executor_1 = require("./catalog/id-map-query/id-map-query-exe
 const normalized_ast_query_executor_1 = require("./catalog/normalized-ast-query/normalized-ast-query-executor");
 const cluster_query_executor_1 = require("./catalog/cluster-query/cluster-query-executor");
 const static_slice_query_executor_1 = require("./catalog/static-slice-query/static-slice-query-executor");
+const lineage_query_executor_1 = require("./catalog/lineage-query/lineage-query-executor");
 exports.SupportedQueries = {
     'call-context': call_context_query_executor_1.executeCallContextQueries,
     'dataflow': dataflow_query_executor_1.executeDataflowQuery,
     'id-map': id_map_query_executor_1.executeIdMapQuery,
     'normalized-ast': normalized_ast_query_executor_1.executeNormalizedAstQuery,
     'dataflow-cluster': cluster_query_executor_1.executeDataflowClusterQuery,
-    'static-slice': static_slice_query_executor_1.executeStaticSliceClusterQuery
+    'static-slice': static_slice_query_executor_1.executeStaticSliceClusterQuery,
+    'lineage': lineage_query_executor_1.executeLineageQuery
 };
 function executeQueriesOfSameType(data, ...queries) {
     (0, assert_1.guard)(queries.length > 0, 'At least one query must be provided');

package/util/version.js

@@ -3,7 +3,7 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.flowrVersion = flowrVersion;
 const semver_1 = require("semver");
 // this is automatically replaced with the current version by release-it
-const version = '2.1.2';
+const version = '2.1.3';
 function flowrVersion() {
     return new semver_1.SemVer(version);
 }