@eagleoutice/flowr 2.6.2 → 2.6.3

package/project/plugins/plugin-registry.js

@@ -0,0 +1,62 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.BuiltInPlugins = void 0;
+exports.registerPluginMaker = registerPluginMaker;
+exports.getPlugin = getPlugin;
+exports.makePlugin = makePlugin;
+const flowr_analyzer_description_file_plugin_1 = require("./file-plugins/flowr-analyzer-description-file-plugin");
+const flowr_analyzer_package_versions_description_file_plugin_1 = require("./package-version-plugins/flowr-analyzer-package-versions-description-file-plugin");
+const flowr_analyzer_loading_order_description_file_plugin_1 = require("./loading-order-plugins/flowr-analyzer-loading-order-description-file-plugin");
+const flowr_analyzer_rmd_file_plugin_1 = require("./file-plugins/notebooks/flowr-analyzer-rmd-file-plugin");
+const flowr_analyzer_qmd_file_plugin_1 = require("./file-plugins/notebooks/flowr-analyzer-qmd-file-plugin");
+const assert_1 = require("../../util/assert");
+const flowr_analyzer_jupyter_file_plugin_1 = require("./file-plugins/notebooks/flowr-analyzer-jupyter-file-plugin");
+/**
+ * The built-in Flowr Analyzer plugins that are always available.
+ */
+exports.BuiltInPlugins = [
+    ['file:description', flowr_analyzer_description_file_plugin_1.FlowrAnalyzerDescriptionFilePlugin],
+    ['versions:description', flowr_analyzer_package_versions_description_file_plugin_1.FlowrAnalyzerPackageVersionsDescriptionFilePlugin],
+    ['loading-order:description', flowr_analyzer_loading_order_description_file_plugin_1.FlowrAnalyzerLoadingOrderDescriptionFilePlugin],
+    ['file:rmd', flowr_analyzer_rmd_file_plugin_1.FlowrAnalyzerRmdFilePlugin],
+    ['file:qmd', flowr_analyzer_qmd_file_plugin_1.FlowrAnalyzerQmdFilePlugin],
+    ['file:ipynb', flowr_analyzer_jupyter_file_plugin_1.FlowrAnalyzerJupyterFilePlugin],
+];
+/**
+ * The registry of built-in and user-registered Flowr Analyzer plugins.
+ * Used by the {@link FlowrAnalyzerBuilder} and {@link FlowrAnalyzer} to instantiate plugins by name.
+ */
+const PluginRegistry = new Map(exports.BuiltInPlugins);
+/**
+ * Register a new Flowr Analyzer plugin for the registry,
+ * to be used by the {@link FlowrAnalyzerBuilder} and {@link FlowrAnalyzer}.
+ */
+function registerPluginMaker(plugin, name = plugin.name) {
+    PluginRegistry.set(name, plugin);
+}
+/**
+ * Retrieve a registered Flowr Analyzer plugin by its name.
+ * @see {@link PluginToRegister}
+ */
+function getPlugin(name, args) {
+    const plugin = PluginRegistry.get(name);
+    return plugin ? new plugin(...args) : undefined;
+}
+/**
+ * Create a Flowr Analyzer plugin from a {@link PluginToRegister} specification.
+ */
+function makePlugin(toRegister) {
+    if (toRegister instanceof Object && 'process' in toRegister) {
+        return toRegister;
+    }
+    if (Array.isArray(toRegister)) {
+        const [name, args] = toRegister;
+        const plugin = getPlugin(name, args);
+        (0, assert_1.guard)(plugin !== undefined, () => `Unknown Flowr Analyzer plugin: ${name.toString()}`);
+        return plugin;
+    }
+    const plugin = getPlugin(toRegister, []);
+    (0, assert_1.guard)(plugin !== undefined, () => `Unknown Flowr Analyzer plugin: ${toRegister.toString()}`);
+    return plugin;
+}
+//# sourceMappingURL=plugin-registry.js.map

package/project/plugins/project-discovery/flowr-analyzer-project-discovery-plugin.js

@@ -19,6 +19,7 @@ class FlowrAnalyzerProjectDiscoveryPlugin extends flowr_analyzer_plugin_1.FlowrA
     }
 }
 exports.FlowrAnalyzerProjectDiscoveryPlugin = FlowrAnalyzerProjectDiscoveryPlugin;
+const discoverRSourcesRegex = /\.(r|rmd|ipynb|qmd)$/i;
 /**
  * This is the default dummy implementation of the {@link FlowrAnalyzerProjectDiscoveryPlugin}.
  * It simply collects all files in the given folder and returns them as either {@link RParseRequest} (for R and Rmd files) or {@link FlowrTextFile} (for all other files).
@@ -27,11 +28,16 @@ class DefaultFlowrAnalyzerProjectDiscoveryPlugin extends FlowrAnalyzerProjectDis
     name = 'default-project-discovery-plugin';
     description = 'This is the default project discovery plugin that does nothing.';
     version = new semver_1.SemVer('0.0.0');
+    supportedExtensions;
+    constructor(triggerOnExtensions = discoverRSourcesRegex) {
+        super();
+        this.supportedExtensions = triggerOnExtensions;
+    }
     process(_context, args) {
         const requests = [];
         /* the dummy approach of collecting all files, group R and Rmd files, and be done with it */
         for (const file of (0, files_1.getAllFilesSync)(args.content)) {
-            if (file.endsWith('.R') || file.endsWith('.r') || file.endsWith('.Rmd') || file.endsWith('.rmd')) {
+            if (this.supportedExtensions.test(file)) {
                 requests.push({ content: file, request: 'file' });
             }
             else {

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

@@ -9,6 +9,7 @@ const two_layer_collector_1 = require("../../two-layer-collector");
 const objects_1 = require("../../../util/objects");
 const identify_link_to_last_call_relation_1 = require("./identify-link-to-last-call-relation");
 const cfg_kind_1 = require("../../../project/cfg-kind");
+const extract_cfg_1 = require("../../../control-flow/extract-cfg");
 /* if the node is effected by nse, we have an ingoing nse edge */
 function isQuoted(node, graph) {
     const vertex = graph.ingoingEdges(node);
@@ -211,6 +212,7 @@ async function executeCallContextQueries({ analyzer }, queries) {
                 }
             }
         }
+        const calls = cfg ? (0, extract_cfg_1.getCallsInCfg)(cfg, dataflow.graph) : undefined;
         for (const query of promotedQueries.filter(q => !q.includeAliases && (q.callName instanceof RegExp ? q.callName.test(info.name) : q.callName.has(info.name)))) {
             const file = ast.idMap.get(nodeId)?.info.file;
             if (!doesFilepathMatch(file, query.fileFilter)) {
@@ -218,7 +220,7 @@ async function executeCallContextQueries({ analyzer }, queries) {
             }
             let targets = undefined;
             if (query.callTargets) {
-                targets = (0, identify_link_to_last_call_relation_1.satisfiesCallTargets)(nodeId, dataflow.graph, query.callTargets);
+                targets = (0, identify_link_to_last_call_relation_1.satisfiesCallTargets)(info, dataflow.graph, query.callTargets);
                 if (targets === 'no') {
                     continue;
                 }
@@ -235,7 +237,7 @@ async function executeCallContextQueries({ analyzer }, queries) {
                 const linked = Array.isArray(query.linkTo) ? query.linkTo : [query.linkTo];
                 for (const link of linked) {
                     /* if we have a linkTo query, we have to find the last call */
-                    const lastCall = (0, identify_link_to_last_call_relation_1.identifyLinkToLastCallRelation)(nodeId, cfg.graph, dataflow.graph, link);
+                    const lastCall = (0, identify_link_to_last_call_relation_1.identifyLinkToLastCallRelation)(nodeId, cfg.graph, dataflow.graph, link, calls);
                     if (lastCall) {
                         linkedIds ??= new Set();
                         for (const l of lastCall) {

package/queries/catalog/call-context-query/identify-link-to-last-call-relation.d.ts

@@ -21,7 +21,7 @@ export declare enum CallTargets {
 /**
  * Determines whether the given function call node satisfies the specified call target condition.
  */
-export declare function satisfiesCallTargets(id: NodeId, graph: DataflowGraph, callTarget: CallTargets): NodeId[] | 'no';
+export declare function satisfiesCallTargets(info: DataflowGraphVertexFunctionCall, graph: DataflowGraph, callTarget: CallTargets): NodeId[] | 'no';
 /**
  * Gets the value node of the specified argument in the given function call, if it exists and matches the allowed types.
  */
@@ -33,5 +33,8 @@ export declare function getValueOfArgument<Types extends readonly RType[] = read
 }) | undefined;
 /**
  * Identifies nodes that link to the last call of a specified function from a given starting node in the control flow graph.
+ * If you pass on `knownCalls` (e.g., produced by {@link getCallsInCfg}), this will only respect the functions
+ * listed there and ignore any other calls. This can be also used to speed up the process if you already have
+ * the known calls available.
  */
-export declare function identifyLinkToLastCallRelation(from: NodeId, cfg: ControlFlowGraph, graph: DataflowGraph, { callName, ignoreIf, cascadeIf }: LinkTo<RegExp> | PromotedLinkTo): NodeId[];
+export declare function identifyLinkToLastCallRelation(from: NodeId, cfg: ControlFlowGraph, graph: DataflowGraph, { callName, ignoreIf, cascadeIf }: LinkTo<RegExp> | PromotedLinkTo, knownCalls?: Map<NodeId, Required<DataflowGraphVertexFunctionCall>>): NodeId[];

package/queries/catalog/call-context-query/identify-link-to-last-call-relation.js

@@ -31,25 +31,22 @@ var CallTargets;
 /**
  * Determines whether the given function call node satisfies the specified call target condition.
  */
-function satisfiesCallTargets(id, graph, callTarget) {
-    const callVertex = graph.getVertex(id, true);
-    if (callVertex === undefined || callVertex.tag !== vertex_1.VertexType.FunctionCall) {
-        return 'no';
-    }
-    const outgoing = graph.outgoingEdges(id);
+function satisfiesCallTargets(info, graph, callTarget) {
+    const outgoing = graph.outgoingEdges(info.id);
     if (outgoing === undefined) {
         return 'no';
     }
-    const callTargets = [...outgoing]
+    const callTargets = outgoing.entries()
         .filter(([, { types }]) => (0, edge_1.edgeIncludesType)(types, edge_1.EdgeType.Calls))
-        .map(([t]) => t);
+        .map(([t]) => t)
+        .toArray();
     let builtIn = false;
-    if (callVertex.environment !== undefined) {
+    if (info.environment !== undefined) {
         /*
          * for performance and scoping reasons, flowR will not identify the global linkage,
          * including any potential built-in mapping.
          */
-        const reResolved = (0, resolve_by_name_1.resolveByName)(callVertex.name, callVertex.environment, identifier_1.ReferenceType.Unknown);
+        const reResolved = (0, resolve_by_name_1.resolveByName)(info.name, info.environment, identifier_1.ReferenceType.Unknown);
         if (reResolved?.some(t => (0, built_in_1.isBuiltIn)(t.definedAt))) {
             builtIn = true;
         }
@@ -115,31 +112,41 @@ function getValueOfArgument(graph, call, argument, additionalAllowedTypes) {
 }
 /**
  * Identifies nodes that link to the last call of a specified function from a given starting node in the control flow graph.
+ * If you pass on `knownCalls` (e.g., produced by {@link getCallsInCfg}), this will only respect the functions
+ * listed there and ignore any other calls. This can be also used to speed up the process if you already have
+ * the known calls available.
  */
-function identifyLinkToLastCallRelation(from, cfg, graph, { callName, ignoreIf, cascadeIf }) {
+function identifyLinkToLastCallRelation(from, cfg, graph, { callName, ignoreIf, cascadeIf }, knownCalls) {
     if (ignoreIf?.(from, graph)) {
         return [];
     }
     const found = [];
+    const cNameCheck = callName instanceof RegExp ? ({ name }) => callName.test(name)
+        : ({ name }) => callName.has(name);
+    const getVertex = knownCalls ?
+        (node) => knownCalls.get(node) :
+        (node) => {
+            const v = graph.getVertex(node, true);
+            return (0, vertex_1.isFunctionCallVertex)(v) ? v : undefined;
+        };
     (0, simple_visitor_1.visitCfgInReverseOrder)(cfg, [from], node => {
         /* we ignore the start id as it cannot be the last call */
         if (node === from) {
             return;
         }
-        const vertex = graph.getVertex(node, true);
-        if (vertex === undefined || vertex.tag !== vertex_1.VertexType.FunctionCall) {
+        const vertex = getVertex(node);
+        if (vertex === undefined) {
             return;
         }
-        if (callName instanceof RegExp ? callName.test(vertex.name) : callName.has(vertex.name)) {
+        if (cNameCheck(vertex)) {
             const act = cascadeIf ? cascadeIf(vertex, from, graph) : cascade_action_1.CascadeAction.Stop;
             if (act === cascade_action_1.CascadeAction.Skip) {
                 return;
             }
-            const tar = satisfiesCallTargets(vertex.id, graph, CallTargets.MustIncludeGlobal);
-            if (tar === 'no') {
-                return act === cascade_action_1.CascadeAction.Stop;
+            const tar = satisfiesCallTargets(vertex, graph, CallTargets.MustIncludeGlobal);
+            if (tar !== 'no') {
+                found.push(node);
             }
-            found.push(node);
             return act === cascade_action_1.CascadeAction.Stop;
         }
     });

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

@@ -15,7 +15,7 @@ export interface DataflowClusterQueryResult extends BaseQueryResult {
 }
 export declare const ClusterQueryDefinition: {
     readonly executor: typeof executeDataflowClusterQuery;
-    readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider, queryResults: BaseQueryResult, result: string[]) => Promise<boolean>;
+    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 schema: Joi.ObjectSchema<any>;
     readonly flattenInvolvedNodes: (queryResults: BaseQueryResult) => NodeId[];
 };

package/queries/catalog/control-flow-query/control-flow-query-format.d.ts

@@ -22,7 +22,7 @@ export interface ControlFlowQueryResult extends BaseQueryResult {
 }
 export declare const ControlFlowQueryDefinition: {
     readonly executor: typeof executeControlFlowQuery;
-    readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider, queryResults: BaseQueryResult, result: string[]) => Promise<boolean>;
+    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 schema: Joi.ObjectSchema<any>;
     readonly flattenInvolvedNodes: (queryResults: BaseQueryResult) => NodeId[];
 };

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

@@ -14,7 +14,7 @@ export interface DataflowLensQueryResult extends BaseQueryResult {
 }
 export declare const DataflowLensQueryDefinition: {
     readonly executor: typeof executeDataflowLensQuery;
-    readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, _analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider, queryResults: BaseQueryResult, result: string[]) => true;
+    readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, _analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider<import("../../../r-bridge/parser").KnownParser>, queryResults: BaseQueryResult, result: string[]) => true;
     readonly schema: Joi.ObjectSchema<any>;
     readonly flattenInvolvedNodes: () => never[];
 };

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

@@ -15,7 +15,7 @@ export interface DataflowQueryResult extends BaseQueryResult {
 }
 export declare const DataflowQueryDefinition: {
     readonly executor: typeof executeDataflowQuery;
-    readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, _analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider, queryResults: BaseQueryResult, result: string[]) => true;
+    readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, _analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider<import("../../../r-bridge/parser").KnownParser>, queryResults: BaseQueryResult, result: string[]) => true;
     readonly schema: Joi.ObjectSchema<any>;
     readonly flattenInvolvedNodes: (queryResults: BaseQueryResult) => NodeId[];
 };

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

@@ -1,6 +1,6 @@
 import { type DependenciesQuery, type DependenciesQueryResult } from './dependencies-query-format';
 import type { BasicQueryData } from '../../base-query-format';
 /**
- *
+ * Executes a dependencies query.
  */
 export declare function executeDependenciesQuery({ analyzer, }: BasicQueryData, queries: readonly DependenciesQuery[]): Promise<DependenciesQueryResult>;

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

@@ -12,7 +12,7 @@ const identify_link_to_last_call_relation_1 = require("../call-context-query/ide
 const resolve_argument_1 = require("../../../dataflow/eval/resolve/resolve-argument");
 const assert_1 = require("../../../util/assert");
 /**
- *
+ * Executes a dependencies query.
  */
 async function executeDependenciesQuery({ analyzer, }, queries) {
     if (queries.length !== 1) {

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

@@ -70,7 +70,7 @@ export interface DependencyInfo extends Record<string, unknown> {
 export declare function getAllCategories(queries: readonly DependenciesQuery[]): Record<DependencyCategoryName, DependencyCategorySettings>;
 export declare const DependenciesQueryDefinition: {
     readonly executor: typeof executeDependenciesQuery;
-    readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, _analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider, queryResults: BaseQueryResult, result: string[], queries: readonly import("../../query").Query[]) => true;
+    readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, _analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider<import("../../../r-bridge/parser").KnownParser>, queryResults: BaseQueryResult, result: string[], queries: readonly import("../../query").Query[]) => true;
     readonly schema: Joi.ObjectSchema<any>;
     readonly flattenInvolvedNodes: (queryResults: BaseQueryResult, query: readonly import("../../query").Query[]) => NodeId[];
 };

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

@@ -25,7 +25,7 @@ exports.DefaultDependencyCategories = {
         /* for libraries, we have to additionally track all uses of `::` and `:::`, for this we currently simply traverse all uses */
         additionalAnalysis: async (data, ignoreDefault, _functions, _queryResults, result) => {
             if (!ignoreDefault) {
-                (0, visitor_1.visitAst)((await data.analyzer.normalize()).ast, n => {
+                (0, visitor_1.visitAst)((await data.analyzer.normalize()).ast.files.map(f => f.root), n => {
                     if (n.type === type_1.RType.Symbol && n.namespace) {
                         const dep = data.analyzer.inspectContext().deps.getDependency(n.namespace);
                         /* we should improve the identification of ':::' */

package/queries/catalog/df-shape-query/df-shape-query-executor.js

@@ -16,7 +16,7 @@ async function executeDfShapeQuery({ analyzer }, queries) {
     const dfg = (await analyzer.dataflow()).graph;
     const cfg = await analyzer.controlflow();
     const start = Date.now();
-    const domains = (0, shape_inference_1.inferDataFrameShapes)(cfg, dfg, ast, analyzer.flowrConfig);
+    const domains = (0, shape_inference_1.inferDataFrameShapes)(cfg, dfg, ast, analyzer.inspectContext());
     if (queries.length === 1 && queries[0].criterion === undefined) {
         return {
             '.meta': {

package/queries/catalog/df-shape-query/df-shape-query-format.d.ts

@@ -14,10 +14,10 @@ export interface DfShapeQuery extends BaseQueryFormat {
 export interface DfShapeQueryResult extends BaseQueryResult {
     domains: DataFrameStateDomain | Map<SingleSlicingCriterion, DataFrameDomain | undefined>;
 }
-declare function dfShapeQueryLineParser(output: ReplOutput, line: readonly string[], _config: FlowrConfigOptions): ParsedQueryLine<'df-shape'>;
+declare function dfShapeQueryLineParser(_output: ReplOutput, line: readonly string[], _config: FlowrConfigOptions): ParsedQueryLine<'df-shape'>;
 export declare const DfShapeQueryDefinition: {
     readonly executor: typeof executeDfShapeQuery;
-    readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, _analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider, queryResults: BaseQueryResult, result: string[]) => true;
+    readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, _analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider<import("../../../r-bridge/parser").KnownParser>, queryResults: BaseQueryResult, result: string[]) => true;
     readonly jsonFormatter: (queryResults: BaseQueryResult) => object;
     readonly fromLine: typeof dfShapeQueryLineParser;
     readonly schema: Joi.ObjectSchema<any>;

package/queries/catalog/df-shape-query/df-shape-query-format.js

@@ -10,7 +10,7 @@ const time_1 = require("../../../util/text/time");
 const df_shape_query_executor_1 = require("./df-shape-query-executor");
 const slice_query_parser_1 = require("../../../cli/repl/parser/slice-query-parser");
 const joi_1 = __importDefault(require("joi"));
-function dfShapeQueryLineParser(output, line, _config) {
+function dfShapeQueryLineParser(_output, line, _config) {
     const criterion = (0, slice_query_parser_1.sliceCriterionParser)(line[0]);
     return {
         query: {
@@ -35,10 +35,11 @@ exports.DfShapeQueryDefinition = {
         return true;
     },
     jsonFormatter: (queryResults) => {
-        const out = queryResults;
-        const domains = out.domains instanceof dataframe_domain_1.DataFrameStateDomain ? out.domains.value : out.domains;
-        const json = Object.fromEntries(domains.entries().map(([key, domain]) => [key, domain?.toJson()]));
-        return json;
+        const { domains, ...out } = queryResults;
+        const state = domains instanceof dataframe_domain_1.DataFrameStateDomain ? domains.value : domains;
+        const json = Object.fromEntries(state.entries().map(([key, domain]) => [key, domain?.toJson() ?? null]));
+        const result = { domains: json, ...out };
+        return result;
     },
     fromLine: dfShapeQueryLineParser,
     schema: joi_1.default.object({

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

@@ -1,6 +1,7 @@
 import type { BasicQueryData } from '../../base-query-format';
 import type { HappensBeforeQuery, HappensBeforeQueryResult } from './happens-before-query-format';
 /**
- *
+ * Execute happens-before queries on the given analyzer.
+ * This checks, whether for two given slicing criteria `a` and `b`, `a` happens before `b` in the control flow graph.
  */
 export declare function executeHappensBefore({ analyzer }: BasicQueryData, queries: readonly HappensBeforeQuery[]): Promise<HappensBeforeQueryResult>;

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

@@ -7,7 +7,8 @@ const extract_cfg_1 = require("../../../control-flow/extract-cfg");
 const happens_before_1 = require("../../../control-flow/happens-before");
 const parse_1 = require("../../../slicing/criterion/parse");
 /**
- *
+ * Execute happens-before queries on the given analyzer.
+ * This checks, whether for two given slicing criteria `a` and `b`, `a` happens before `b` in the control flow graph.
  */
 async function executeHappensBefore({ analyzer }, queries) {
     const start = Date.now();

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

@@ -13,7 +13,7 @@ export interface HappensBeforeQueryResult extends BaseQueryResult {
 }
 export declare const HappensBeforeQueryDefinition: {
     readonly executor: typeof executeHappensBefore;
-    readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, _analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider, queryResults: BaseQueryResult, result: string[]) => true;
+    readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, _analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider<import("../../../r-bridge/parser").KnownParser>, queryResults: BaseQueryResult, result: string[]) => true;
     readonly schema: Joi.ObjectSchema<any>;
     readonly flattenInvolvedNodes: () => never[];
 };

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

@@ -10,7 +10,7 @@ export interface IdMapQueryResult extends BaseQueryResult {
 }
 export declare const IdMapQueryDefinition: {
     readonly executor: typeof executeIdMapQuery;
-    readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, _analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider, queryResults: BaseQueryResult, result: string[]) => true;
+    readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, _analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider<import("../../../r-bridge/parser").KnownParser>, queryResults: BaseQueryResult, result: string[]) => true;
     readonly schema: Joi.ObjectSchema<any>;
     readonly flattenInvolvedNodes: () => never[];
 };

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

@@ -1,6 +1,6 @@
 import type { InspectHigherOrderQuery, InspectHigherOrderQueryResult } from './inspect-higher-order-query-format';
 import type { BasicQueryData } from '../../base-query-format';
 /**
- *
+ * Execute higher-order function inspection queries on the given analyzer.
  */
 export declare function executeHigherOrderQuery({ analyzer }: BasicQueryData, queries: readonly InspectHigherOrderQuery[]): Promise<InspectHigherOrderQueryResult>;

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

@@ -5,7 +5,7 @@ const parse_1 = require("../../../slicing/criterion/parse");
 const vertex_1 = require("../../../dataflow/graph/vertex");
 const higher_order_function_1 = require("../../../dataflow/fn/higher-order-function");
 /**
- *
+ * Execute higher-order function inspection queries on the given analyzer.
  */
 async function executeHigherOrderQuery({ analyzer }, queries) {
     const start = Date.now();

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

@@ -16,7 +16,7 @@ export interface InspectHigherOrderQueryResult extends BaseQueryResult {
 }
 export declare const InspectHigherOrderQueryDefinition: {
     readonly executor: typeof executeHigherOrderQuery;
-    readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, processed: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider, queryResults: BaseQueryResult, result: string[]) => Promise<boolean>;
+    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>;
     readonly schema: Joi.ObjectSchema<any>;
     readonly flattenInvolvedNodes: (queryResults: BaseQueryResult) => NodeId[];
 };

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

@@ -27,7 +27,7 @@ declare function linterQueryLineParser(output: ReplOutput, line: readonly string
 declare function linterQueryCompleter(line: readonly string[], startingNewArg: boolean, _config: FlowrConfigOptions): CommandCompletions;
 export declare const LinterQueryDefinition: {
     readonly executor: typeof executeLinterQuery;
-    readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, _analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider, queryResults: BaseQueryResult, result: string[]) => true;
+    readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider<import("../../../r-bridge/parser").KnownParser>, queryResults: BaseQueryResult, result: string[]) => true;
     readonly completer: typeof linterQueryCompleter;
     readonly fromLine: typeof linterQueryLineParser;
     readonly schema: Joi.ObjectSchema<any>;

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

@@ -12,6 +12,7 @@ const ansi_1 = require("../../../util/text/ansi");
 const time_1 = require("../../../util/text/time");
 const doc_code_1 = require("../../../documentation/doc-util/doc-code");
 const retriever_1 = require("../../../r-bridge/retriever");
+const assert_1 = require("../../../util/assert");
 function rulesFromInput(output, rulesPart) {
     return rulesPart
         .reduce((acc, ruleName) => {
@@ -78,9 +79,18 @@ function linterQueryCompleter(line, startingNewArg, _config) {
 }
 exports.LinterQueryDefinition = {
     executor: linter_query_executor_1.executeLinterQuery,
-    asciiSummarizer: (formatter, _analyzer, queryResults, result) => {
+    asciiSummarizer: (formatter, analyzer, queryResults, result) => {
         const out = queryResults;
         result.push(`Query: ${(0, ansi_1.bold)('linter', formatter)} (${(0, time_1.printAsMs)(out['.meta'].timing, 0)})`);
+        const allDidFail = Object.values(out.results).every(r => (0, linter_format_1.isLintingResultsError)(r));
+        if (allDidFail) {
+            result.push('All linting rules failed to execute.');
+            if (analyzer.inspectContext().files.loadingOrder.getUnorderedRequests().length === 0) {
+                result.push(formatter.format('No requests to lint for were found in the analysis.', { color: 1 /* Colors.Red */, effect: ansi_1.ColorEffect.Foreground, style: 1 /* FontStyles.Bold */ }));
+                result.push('If you consider this an error, please report a bug: ' + (0, assert_1.getGuardIssueUrl)('analyzer found no requests to lint for'));
+            }
+            return true;
+        }
         for (const [ruleName, results] of Object.entries(out.results)) {
             addLintingRuleResult(ruleName, results, result);
         }
@@ -101,7 +111,8 @@ function addLintingRuleResult(ruleName, results, result) {
     const rule = linter_rules_1.LintingRules[ruleName];
     result.push(`   ╰ **${rule.info.name}** (${ruleName}):`);
     if ((0, linter_format_1.isLintingResultsError)(results)) {
-        result.push(`       ╰ Error during execution of Rule: ${results.error}`);
+        const error = results.error.includes('At least one request must be set') ? 'No requests to lint for were found in the analysis.' : 'Error during execution of rule: ' + results.error;
+        result.push(`       ╰ ${error}`);
         return;
     }
     for (const certainty of [linter_format_1.LintingResultCertainty.Certain, linter_format_1.LintingResultCertainty.Uncertain]) {

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

@@ -39,7 +39,8 @@ async function executeLocationMapQuery({ analyzer }, queries) {
     };
     let count = 0;
     const inverseMap = new Map();
-    for (const file of (await analyzer.dataflow()).graph.sourced) {
+    await analyzer.dataflow(); // ensure all files are considered
+    for (const file of analyzer.inspectContext().files.consideredFilesList()) {
         locationMap.files[count] = file;
         inverseMap.set(file, count);
         count++;

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

@@ -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: FlowrConfigOptions): 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/location-map-query/location-map-query-format.js

@@ -10,7 +10,7 @@ const time_1 = require("../../../util/text/time");
 const joi_1 = __importDefault(require("joi"));
 const query_print_1 = require("../../query-print");
 const slice_query_parser_1 = require("../../../cli/repl/parser/slice-query-parser");
-function locationMapLineParser(output, line, _config) {
+function locationMapLineParser(_output, line, _config) {
     const criteria = (0, slice_query_parser_1.sliceCriteriaParser)(line[0]);
     return {
         query: {

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

@@ -13,7 +13,7 @@ export interface NormalizedAstQueryResult extends BaseQueryResult {
 }
 export declare const NormalizedAstQueryDefinition: {
     readonly executor: typeof executeNormalizedAstQuery;
-    readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, _analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider, queryResults: BaseQueryResult, result: string[]) => true;
+    readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, _analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider<import("../../../r-bridge/parser").KnownParser>, queryResults: BaseQueryResult, result: string[]) => true;
     readonly schema: Joi.ObjectSchema<any>;
     readonly flattenInvolvedNodes: () => never[];
 };

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

@@ -18,7 +18,7 @@ export interface OriginQueryResult extends BaseQueryResult {
 declare function originQueryLineParser(output: ReplOutput, line: readonly string[], _config: FlowrConfigOptions): ParsedQueryLine<'origin'>;
 export declare const OriginQueryDefinition: {
     readonly executor: typeof executeResolveValueQuery;
-    readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, _analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider, queryResults: BaseQueryResult, result: string[]) => true;
+    readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, _analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider<import("../../../r-bridge/parser").KnownParser>, queryResults: BaseQueryResult, result: string[]) => true;
     readonly fromLine: typeof originQueryLineParser;
     readonly schema: Joi.ObjectSchema<any>;
     readonly flattenInvolvedNodes: (queryResults: BaseQueryResult) => NodeId[];

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

@@ -9,12 +9,14 @@ async function executeProjectQuery({ analyzer }, queries) {
     if (queries.length !== 1) {
         log_1.log.warn('Project query expects only up to one query, but got', queries.length);
     }
+    // we need to know what is considered by the analyzer
+    await analyzer.dataflow();
     return {
         '.meta': {
             /* there is no sense in measuring a get */
             timing: 0
         },
-        files: (await analyzer.dataflow()).graph.sourced
+        files: [...analyzer.inspectContext().files.consideredFilesList()]
     };
 }
 //# sourceMappingURL=project-query-executor.js.map

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

@@ -9,7 +9,7 @@ export interface ProjectQueryResult extends BaseQueryResult {
 }
 export declare const ProjectQueryDefinition: {
     readonly executor: typeof executeProjectQuery;
-    readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, _analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider, queryResults: BaseQueryResult, result: string[]) => true;
+    readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, _analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider<import("../../../r-bridge/parser").KnownParser>, queryResults: BaseQueryResult, result: string[]) => true;
     readonly schema: Joi.ObjectSchema<any>;
     readonly flattenInvolvedNodes: () => never[];
 };

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

@@ -1,10 +1,10 @@
 import type { ResolveValueQuery, ResolveValueQueryResult } from './resolve-value-query-format';
 import type { BasicQueryData } from '../../base-query-format';
 /**
- *
+ * Naive fingerprint to filter out duplicate queries.
  */
 export declare function fingerPrintOfQuery(query: ResolveValueQuery): string;
 /**
- *
+ * Executes a resolve-value query.
  */
 export declare function executeResolveValueQuery({ analyzer }: BasicQueryData, queries: readonly ResolveValueQuery[]): Promise<ResolveValueQueryResult>;

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

@@ -6,13 +6,13 @@ const log_1 = require("../../../util/log");
 const parse_1 = require("../../../slicing/criterion/parse");
 const alias_tracking_1 = require("../../../dataflow/eval/resolve/alias-tracking");
 /**
- *
+ * Naive fingerprint to filter out duplicate queries.
  */
 function fingerPrintOfQuery(query) {
     return JSON.stringify(query);
 }
 /**
- *
+ * Executes a resolve-value query.
  */
 async function executeResolveValueQuery({ analyzer }, queries) {
     const start = Date.now();

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

@@ -19,7 +19,7 @@ export interface ResolveValueQueryResult extends BaseQueryResult {
 declare function resolveValueLineParser(output: ReplOutput, line: readonly string[], _config: FlowrConfigOptions): 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, queryResults: BaseQueryResult, result: string[]) => true;
+    readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, _analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider<import("../../../r-bridge/parser").KnownParser>, queryResults: BaseQueryResult, result: string[]) => true;
     readonly fromLine: typeof resolveValueLineParser;
     readonly schema: Joi.ObjectSchema<any>;
     readonly flattenInvolvedNodes: () => never[];