@eagleoutice/flowr 2.9.13 → 2.10.1

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

@@ -1,5 +1,5 @@
 import type { BaseQueryFormat, BaseQueryResult } from '../../base-query-format';
-import type { SingleSlicingCriterion } from '../../../slicing/criterion/parse';
+import type { SlicingCriterion } from '../../../slicing/criterion/parse';
 import type { ParsedQueryLine } from '../../query';
 import Joi from 'joi';
 import { executeResolveValueQuery } from './origin-query-executor';
@@ -10,10 +10,10 @@ import type { FlowrConfig } from '../../../config';
 export interface OriginQuery extends BaseQueryFormat {
     readonly type: 'origin';
     /** The slicing criteria to use */
-    readonly criterion: SingleSlicingCriterion;
+    readonly criterion: SlicingCriterion;
 }
 export interface OriginQueryResult extends BaseQueryResult {
-    results: Record<SingleSlicingCriterion, Origin[] | undefined>;
+    results: Record<SlicingCriterion, Origin[] | undefined>;
 }
 declare function originQueryLineParser(output: ReplOutput, line: readonly string[], _config: FlowrConfig): ParsedQueryLine<'origin'>;
 export declare const OriginQueryDefinition: {

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

@@ -0,0 +1,6 @@
+import type { BasicQueryData } from '../../base-query-format';
+import type { ProvenanceQuery, ProvenanceQueryResult } from './provenance-query-format';
+/**
+ * Execute a provenance query collection, {@link Dataflow.provenance}
+ */
+export declare function executeProvenanceQuery({ analyzer }: BasicQueryData, queries: readonly ProvenanceQuery[]): Promise<ProvenanceQueryResult>;

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

@@ -0,0 +1,34 @@
+"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 a provenance query collection, {@link Dataflow.provenance}
+ */
+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.SlicingCriterion.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 { SlicingCriterion } 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: SlicingCriterion;
+    /** 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.
  */
@@ -25,7 +25,7 @@ async function executeResolveValueQuery({ analyzer }, queries) {
             log_1.log.warn(`Duplicate Key for resolve-value-query: ${key}, skipping...`);
         }
         const values = query.criteria
-            .map(criteria => (0, parse_1.slicingCriterionToId)(criteria, idMap))
+            .map(criteria => parse_1.SlicingCriterion.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/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 { FlowrConfig } from '../../../config';
-/** Calculates and returns all clusters encountered in the dataflow graph. */
+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 */

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 = [];

package/queries/query.d.ts

@@ -33,10 +33,12 @@ import type { CallGraphQuery } from './catalog/call-graph-query/call-graph-query
 import type { InspectRecursionQuery } from './catalog/inspect-recursion-query/inspect-recursion-query-format';
 import type { DoesCallQuery } from './catalog/does-call-query/does-call-query-format';
 import type { InspectExceptionQuery } from './catalog/inspect-exceptions-query/inspect-exception-query-format';
+import type { InputSourcesQuery } from './catalog/input-sources-query/input-sources-query-format';
+import type { ProvenanceQuery } from './catalog/provenance-query/provenance-query-format';
 /**
  * These are all queries that can be executed from within flowR
  */
-export type Query = CallContextQuery | ConfigQuery | SearchQuery | DataflowQuery | DoesCallQuery | CallGraphQuery | ControlFlowQuery | DataflowLensQuery | FilesQuery | DfShapeQuery | NormalizedAstQuery | IdMapQuery | DataflowClusterQuery | StaticSliceQuery | DependenciesQuery | LocationMapQuery | HappensBeforeQuery | InspectExceptionQuery | InspectHigherOrderQuery | InspectRecursionQuery | ResolveValueQuery | ProjectQuery | OriginQuery | LinterQuery;
+export type Query = CallContextQuery | ConfigQuery | SearchQuery | DataflowQuery | DoesCallQuery | CallGraphQuery | ControlFlowQuery | DataflowLensQuery | FilesQuery | DfShapeQuery | NormalizedAstQuery | IdMapQuery | DataflowClusterQuery | StaticSliceQuery | DependenciesQuery | LocationMapQuery | HappensBeforeQuery | InspectExceptionQuery | InspectHigherOrderQuery | InspectRecursionQuery | ResolveValueQuery | ProjectQuery | OriginQuery | LinterQuery | ProvenanceQuery | InputSourcesQuery;
 export type QueryArgumentsWithType<QueryType extends BaseQueryFormat['type']> = Query & {
     type: QueryType;
 };
@@ -156,6 +158,20 @@ export declare const SupportedQueries: {
         readonly schema: Joi.ObjectSchema<any>;
         readonly flattenInvolvedNodes: (queryResults: BaseQueryResult) => NodeId[];
     };
+    readonly provenance: {
+        readonly executor: typeof import("./catalog/provenance-query/provenance-query-executor").executeProvenanceQuery;
+        readonly asciiSummarizer: (formatter: OutputFormatter, analyzer: ReadonlyFlowrAnalysisProvider<import("../r-bridge/parser").KnownParser>, queryResults: BaseQueryResult, result: string[]) => Promise<boolean>;
+        readonly fromLine: (output: ReplOutput, line: readonly string[], _config: FlowrConfig) => ParsedQueryLine<"provenance">;
+        readonly schema: Joi.ObjectSchema<any>;
+        readonly flattenInvolvedNodes: (queryResults: BaseQueryResult) => NodeId[];
+    };
+    readonly 'input-sources': {
+        readonly executor: typeof import("./catalog/input-sources-query/input-sources-query-executor").executeInputSourcesQuery;
+        readonly asciiSummarizer: (formatter: OutputFormatter, analyzer: ReadonlyFlowrAnalysisProvider<import("../r-bridge/parser").KnownParser>, queryResults: BaseQueryResult, result: string[]) => Promise<boolean>;
+        readonly fromLine: (output: ReplOutput, line: readonly string[], _config: FlowrConfig) => ParsedQueryLine<"input-sources">;
+        readonly schema: Joi.ObjectSchema<any>;
+        readonly flattenInvolvedNodes: (queryResults: BaseQueryResult) => NodeId[];
+    };
     readonly dependencies: {
         readonly executor: typeof import("./catalog/dependencies-query/dependencies-query-executor").executeDependenciesQuery;
         readonly asciiSummarizer: (formatter: OutputFormatter, _analyzer: ReadonlyFlowrAnalysisProvider<import("../r-bridge/parser").KnownParser>, queryResults: BaseQueryResult, result: string[], queries: readonly Query[]) => true;

package/queries/query.js

@@ -40,6 +40,8 @@ const call_graph_query_format_1 = require("./catalog/call-graph-query/call-graph
 const inspect_recursion_query_format_1 = require("./catalog/inspect-recursion-query/inspect-recursion-query-format");
 const does_call_query_format_1 = require("./catalog/does-call-query/does-call-query-format");
 const inspect_exception_query_format_1 = require("./catalog/inspect-exceptions-query/inspect-exception-query-format");
+const input_sources_query_format_1 = require("./catalog/input-sources-query/input-sources-query-format");
+const provenance_query_format_1 = require("./catalog/provenance-query/provenance-query-format");
 exports.SupportedQueries = {
     'call-context': call_context_query_format_1.CallContextQueryDefinition,
     'config': config_query_format_1.ConfigQueryDefinition,
@@ -54,6 +56,8 @@ exports.SupportedQueries = {
     'normalized-ast': normalized_ast_query_format_1.NormalizedAstQueryDefinition,
     'dataflow-cluster': cluster_query_format_1.ClusterQueryDefinition,
     'static-slice': static_slice_query_format_1.StaticSliceQueryDefinition,
+    'provenance': provenance_query_format_1.ProvenanceQueryDefinition,
+    'input-sources': input_sources_query_format_1.InputSourcesDefinition,
     'dependencies': dependencies_query_format_1.DependenciesQueryDefinition,
     'location-map': location_map_query_format_1.LocationMapQueryDefinition,
     'search': search_query_format_1.SearchQueryDefinition,

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

@@ -28,6 +28,7 @@ import type { ParentInformation } from './processing/decorate';
 import type { NodeId } from './processing/node-id';
 import type { OnEnter, OnExit } from './processing/visitor';
 import type { SingleOrArrayOrNothing } from '../../../../abstract-interpretation/normalized-ast-fold';
+import { getDocumentationOf } from '../../../roxygen2/documentation-provider';
 /** Simply an empty type constraint used to say that there are additional decorations (see {@link RAstNodeBase}). */
 export type NoInfo = object;
 /**
@@ -218,6 +219,9 @@ export declare const ROther: {
 export type RNode<Info = NoInfo> = RExpressionList<Info> | RFunctions<Info> | ROther<Info> | RConstructs<Info> | RNamedAccess<Info> | RIndexAccess<Info> | RUnaryOp<Info> | RBinaryOp<Info> | RSingleNode<Info> | RPipe<Info>;
 /**
  * Helper object to provide helper functions for {@link RNode|RNodes}.
+ * For the individual type checks, please consult the individual vertices, e.g. {@link RPipe.is}.
+ * Some vertices also have a {@link RPipe.availableFromRVersion} property that indicates from which R version they are available,
+ * so you can check for that as well if needed.
  * @see {@link DefaultNormalizedAstFold} - for a more powerful way to traverse the normalized AST
  */
 export declare const RNode: {
@@ -287,5 +291,10 @@ export declare const RNode: {
     readonly lexeme: <R extends RNode<ParentInformation>>(this: void, node: R | undefined) => R extends {
         lexeme: string;
     } ? string : string | undefined;
+    /**
+     * Return the (roxygen) documentation associated with the given node, if available.
+     * @see {@link getDocumentationOf}
+     */
+    readonly documentation: typeof getDocumentationOf;
 };
 export type OtherInfoNode = RNode | RDelimiter;

package/r-bridge/lang-4.x/ast/model/model.js

@@ -6,6 +6,7 @@ const type_1 = require("./type");
 const r_access_1 = require("./nodes/r-access");
 const visitor_1 = require("./processing/visitor");
 const assert_1 = require("../../../../util/assert");
+const documentation_provider_1 = require("../../../roxygen2/documentation-provider");
 /**
  * Helper object to provide helper functions for {@link RConstant|RConstants}.
  * @see {@link RNode} - for more general helper functions for all nodes
@@ -119,6 +120,9 @@ exports.ROther = {
 };
 /**
  * Helper object to provide helper functions for {@link RNode|RNodes}.
+ * For the individual type checks, please consult the individual vertices, e.g. {@link RPipe.is}.
+ * Some vertices also have a {@link RPipe.availableFromRVersion} property that indicates from which R version they are available,
+ * so you can check for that as well if needed.
  * @see {@link DefaultNormalizedAstFold} - for a more powerful way to traverse the normalized AST
  */
 exports.RNode = {
@@ -260,6 +264,11 @@ exports.RNode = {
      */
     lexeme(node) {
         return node?.info.fullLexeme ?? node?.lexeme;
-    }
+    },
+    /**
+     * Return the (roxygen) documentation associated with the given node, if available.
+     * @see {@link getDocumentationOf}
+     */
+    documentation: documentation_provider_1.getDocumentationOf
 };
 //# sourceMappingURL=model.js.map

package/r-bridge/lang-4.x/ast/model/nodes/r-access.d.ts

@@ -1,4 +1,5 @@
-import type { RAstNodeBase, Location, NoInfo, RNode } from '../model';
+import type { RAstNodeBase, Location, NoInfo } from '../model';
+import { RNode } from '../model';
 import { RType } from '../type';
 import type { RArgument, RUnnamedArgument } from './r-argument';
 import type { EmptyArgument } from './r-function-call';
@@ -42,5 +43,19 @@ export declare const RAccess: {
      * Type guard for {@link RIndexAccess} nodes.
      */
     readonly isIndex: <Info = object>(this: void, node: RNode<Info> | undefined) => node is RIndexAccess<Info>;
+    readonly getLocation: (this: void, node: RNode) => import("../../../../../util/range").SourceLocation | undefined;
+    readonly getId: (this: void, node: RNode<import("../processing/decorate").ParentInformation>) => import("../processing/node-id").NodeId;
+    readonly getType: (this: void, node: RNode) => RType;
+    readonly visitAst: <OtherInfo = object>(this: void, nodes: import("../../../../../abstract-interpretation/normalized-ast-fold").SingleOrArrayOrNothing<RNode<OtherInfo>>, onVisit?: import("../processing/visitor").OnEnter<OtherInfo>, onExit?: import("../processing/visitor").OnExit<OtherInfo>) => void;
+    readonly collectAllIds: <OtherInfo>(this: void, nodes: import("../../../../../abstract-interpretation/normalized-ast-fold").SingleOrArrayOrNothing<RNode<OtherInfo & import("../processing/decorate").ParentInformation>>) => Set<import("../processing/node-id").NodeId>;
+    readonly directChildren: <OtherInfo>(this: void, node: RNode<OtherInfo>) => readonly (RNode<OtherInfo> | typeof EmptyArgument)[];
+    readonly directParent: <OtherInfo>(this: void, node: RNode<OtherInfo & import("../processing/decorate").ParentInformation>, idMap: Map<import("../processing/node-id").NodeId, RNode<OtherInfo & import("../processing/decorate").ParentInformation>>) => RNode<OtherInfo & import("../processing/decorate").ParentInformation> | undefined;
+    readonly iterateParents: <OtherInfo>(this: void, node: RNode<OtherInfo & import("../processing/decorate").ParentInformation> | undefined, idMap: Map<import("../processing/node-id").NodeId, RNode<OtherInfo & import("../processing/decorate").ParentInformation>>) => Generator<RNode<OtherInfo & import("../processing/decorate").ParentInformation>>;
+    readonly depth: (this: void, node: RNode<import("../processing/decorate").ParentInformation>, idMap: Map<import("../processing/node-id").NodeId, RNode<import("../processing/decorate").ParentInformation>>) => number;
+    readonly collectAllIdsWithStop: <OtherInfo>(this: void, nodes: import("../../../../../abstract-interpretation/normalized-ast-fold").SingleOrArrayOrNothing<RNode<OtherInfo & import("../processing/decorate").ParentInformation>>, stop: (node: RNode<OtherInfo & import("../processing/decorate").ParentInformation>) => boolean) => Set<import("../processing/node-id").NodeId>;
+    readonly lexeme: <R extends RNode<import("../processing/decorate").ParentInformation>>(this: void, node: R | undefined) => R extends {
+        lexeme: string;
+    } ? string : string | undefined;
+    readonly documentation: typeof import("../../../../roxygen2/documentation-provider").getDocumentationOf;
 };
 export {};

package/r-bridge/lang-4.x/ast/model/nodes/r-access.js

@@ -1,11 +1,13 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.RAccess = void 0;
+const model_1 = require("../model");
 const type_1 = require("../type");
 /**
  * Helper for working with {@link RAccess} AST nodes.
  */
 exports.RAccess = {
+    ...model_1.RNode,
     name: 'RAccess',
     /**
      * Type guard for {@link RAccess} nodes.

package/r-bridge/lang-4.x/ast/model/nodes/r-argument.d.ts

@@ -1,4 +1,5 @@
-import type { RAstNodeBase, Location, NoInfo, RNode } from '../model';
+import type { RAstNodeBase, Location, NoInfo } from '../model';
+import { RNode } from '../model';
 import { RType } from '../type';
 import type { RSymbol } from './r-symbol';
 import type { ParentInformation } from '../processing/decorate';
@@ -53,4 +54,18 @@ export declare const RArgument: {
      * Retrieve the value of the argument with the given id from the list of arguments.
      */
     readonly getValue: <OtherInfo>(args: readonly RFunctionArgument<OtherInfo & ParentInformation>[], id: NodeId | undefined) => RNode<OtherInfo> | undefined;
+    readonly getLocation: (this: void, node: RNode) => import("../../../../../util/range").SourceLocation | undefined;
+    readonly getId: (this: void, node: RNode<ParentInformation>) => NodeId;
+    readonly getType: (this: void, node: RNode) => RType;
+    readonly visitAst: <OtherInfo = object>(this: void, nodes: import("../../../../../abstract-interpretation/normalized-ast-fold").SingleOrArrayOrNothing<RNode<OtherInfo>>, onVisit?: import("../processing/visitor").OnEnter<OtherInfo>, onExit?: import("../processing/visitor").OnExit<OtherInfo>) => void;
+    readonly collectAllIds: <OtherInfo>(this: void, nodes: import("../../../../../abstract-interpretation/normalized-ast-fold").SingleOrArrayOrNothing<RNode<OtherInfo & ParentInformation>>) => Set<NodeId>;
+    readonly directChildren: <OtherInfo>(this: void, node: RNode<OtherInfo>) => readonly (RNode<OtherInfo> | typeof EmptyArgument)[];
+    readonly directParent: <OtherInfo>(this: void, node: RNode<OtherInfo & ParentInformation>, idMap: Map<NodeId, RNode<OtherInfo & ParentInformation>>) => RNode<OtherInfo & ParentInformation> | undefined;
+    readonly iterateParents: <OtherInfo>(this: void, node: RNode<OtherInfo & ParentInformation> | undefined, idMap: Map<NodeId, RNode<OtherInfo & ParentInformation>>) => Generator<RNode<OtherInfo & ParentInformation>>;
+    readonly depth: (this: void, node: RNode<ParentInformation>, idMap: Map<NodeId, RNode<ParentInformation>>) => number;
+    readonly collectAllIdsWithStop: <OtherInfo>(this: void, nodes: import("../../../../../abstract-interpretation/normalized-ast-fold").SingleOrArrayOrNothing<RNode<OtherInfo & ParentInformation>>, stop: (node: RNode<OtherInfo & ParentInformation>) => boolean) => Set<NodeId>;
+    readonly lexeme: <R extends RNode<ParentInformation>>(this: void, node: R | undefined) => R extends {
+        lexeme: string;
+    } ? string : string | undefined;
+    readonly documentation: typeof import("../../../../roxygen2/documentation-provider").getDocumentationOf;
 };

package/r-bridge/lang-4.x/ast/model/nodes/r-argument.js

@@ -1,12 +1,14 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.RArgument = void 0;
+const model_1 = require("../model");
 const type_1 = require("../type");
 const r_function_call_1 = require("./r-function-call");
 /**
  * Helper for working with {@link RArgument} AST nodes.
  */
 exports.RArgument = {
+    ...model_1.RNode,
     name: 'RArgument',
     /**
      * Type guard for {@link RArgument} nodes.

package/r-bridge/lang-4.x/ast/model/nodes/r-binary-op.d.ts

@@ -1,4 +1,5 @@
-import type { RAstNodeBase, Location, NoInfo, RNode } from '../model';
+import type { RAstNodeBase, Location, NoInfo } from '../model';
+import { RNode } from '../model';
 import { RType } from '../type';
 import type { OperatorInformationValue } from '../operators';
 /**
@@ -23,4 +24,18 @@ export declare const RBinaryOp: {
      * Get the operator information for a binary operator node.
      */
     readonly getOperatorInfo: <Info = object>(node: RBinaryOp<Info>) => OperatorInformationValue | undefined;
+    readonly getLocation: (this: void, node: RNode) => import("../../../../../util/range").SourceLocation | undefined;
+    readonly getId: (this: void, node: RNode<import("../processing/decorate").ParentInformation>) => import("../processing/node-id").NodeId;
+    readonly getType: (this: void, node: RNode) => RType;
+    readonly visitAst: <OtherInfo = object>(this: void, nodes: import("../../../../../abstract-interpretation/normalized-ast-fold").SingleOrArrayOrNothing<RNode<OtherInfo>>, onVisit?: import("../processing/visitor").OnEnter<OtherInfo>, onExit?: import("../processing/visitor").OnExit<OtherInfo>) => void;
+    readonly collectAllIds: <OtherInfo>(this: void, nodes: import("../../../../../abstract-interpretation/normalized-ast-fold").SingleOrArrayOrNothing<RNode<OtherInfo & import("../processing/decorate").ParentInformation>>) => Set<import("../processing/node-id").NodeId>;
+    readonly directChildren: <OtherInfo>(this: void, node: RNode<OtherInfo>) => readonly (RNode<OtherInfo> | typeof import("./r-function-call").EmptyArgument)[];
+    readonly directParent: <OtherInfo>(this: void, node: RNode<OtherInfo & import("../processing/decorate").ParentInformation>, idMap: Map<import("../processing/node-id").NodeId, RNode<OtherInfo & import("../processing/decorate").ParentInformation>>) => RNode<OtherInfo & import("../processing/decorate").ParentInformation> | undefined;
+    readonly iterateParents: <OtherInfo>(this: void, node: RNode<OtherInfo & import("../processing/decorate").ParentInformation> | undefined, idMap: Map<import("../processing/node-id").NodeId, RNode<OtherInfo & import("../processing/decorate").ParentInformation>>) => Generator<RNode<OtherInfo & import("../processing/decorate").ParentInformation>>;
+    readonly depth: (this: void, node: RNode<import("../processing/decorate").ParentInformation>, idMap: Map<import("../processing/node-id").NodeId, RNode<import("../processing/decorate").ParentInformation>>) => number;
+    readonly collectAllIdsWithStop: <OtherInfo>(this: void, nodes: import("../../../../../abstract-interpretation/normalized-ast-fold").SingleOrArrayOrNothing<RNode<OtherInfo & import("../processing/decorate").ParentInformation>>, stop: (node: RNode<OtherInfo & import("../processing/decorate").ParentInformation>) => boolean) => Set<import("../processing/node-id").NodeId>;
+    readonly lexeme: <R extends RNode<import("../processing/decorate").ParentInformation>>(this: void, node: R | undefined) => R extends {
+        lexeme: string;
+    } ? string : string | undefined;
+    readonly documentation: typeof import("../../../../roxygen2/documentation-provider").getDocumentationOf;
 };

package/r-bridge/lang-4.x/ast/model/nodes/r-binary-op.js

@@ -1,12 +1,14 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.RBinaryOp = void 0;
+const model_1 = require("../model");
 const type_1 = require("../type");
 const operators_1 = require("../operators");
 /**
  * Helper for working with {@link RBinaryOp} AST nodes.
  */
 exports.RBinaryOp = {
+    ...model_1.RNode,
     name: 'RBinaryOp',
     /**
      * Type guard for {@link RBinaryOp} nodes.

package/r-bridge/lang-4.x/ast/model/nodes/r-break.d.ts

@@ -1,4 +1,5 @@
 import type { Leaf, Location, NoInfo } from '../model';
+import { RNode } from '../model';
 import { RType } from '../type';
 /**
  * A `break` statement.
@@ -15,4 +16,18 @@ export declare const RBreak: {
      * Type guard for {@link RBreak} nodes.
      */
     readonly is: <Info = object>(this: void, node: unknown) => node is RBreak<Info>;
+    readonly getLocation: (this: void, node: RNode) => import("../../../../../util/range").SourceLocation | undefined;
+    readonly getId: (this: void, node: RNode<import("../processing/decorate").ParentInformation>) => import("../processing/node-id").NodeId;
+    readonly getType: (this: void, node: RNode) => RType;
+    readonly visitAst: <OtherInfo = object>(this: void, nodes: import("../../../../../abstract-interpretation/normalized-ast-fold").SingleOrArrayOrNothing<RNode<OtherInfo>>, onVisit?: import("../processing/visitor").OnEnter<OtherInfo>, onExit?: import("../processing/visitor").OnExit<OtherInfo>) => void;
+    readonly collectAllIds: <OtherInfo>(this: void, nodes: import("../../../../../abstract-interpretation/normalized-ast-fold").SingleOrArrayOrNothing<RNode<OtherInfo & import("../processing/decorate").ParentInformation>>) => Set<import("../processing/node-id").NodeId>;
+    readonly directChildren: <OtherInfo>(this: void, node: RNode<OtherInfo>) => readonly (RNode<OtherInfo> | typeof import("./r-function-call").EmptyArgument)[];
+    readonly directParent: <OtherInfo>(this: void, node: RNode<OtherInfo & import("../processing/decorate").ParentInformation>, idMap: Map<import("../processing/node-id").NodeId, RNode<OtherInfo & import("../processing/decorate").ParentInformation>>) => RNode<OtherInfo & import("../processing/decorate").ParentInformation> | undefined;
+    readonly iterateParents: <OtherInfo>(this: void, node: RNode<OtherInfo & import("../processing/decorate").ParentInformation> | undefined, idMap: Map<import("../processing/node-id").NodeId, RNode<OtherInfo & import("../processing/decorate").ParentInformation>>) => Generator<RNode<OtherInfo & import("../processing/decorate").ParentInformation>>;
+    readonly depth: (this: void, node: RNode<import("../processing/decorate").ParentInformation>, idMap: Map<import("../processing/node-id").NodeId, RNode<import("../processing/decorate").ParentInformation>>) => number;
+    readonly collectAllIdsWithStop: <OtherInfo>(this: void, nodes: import("../../../../../abstract-interpretation/normalized-ast-fold").SingleOrArrayOrNothing<RNode<OtherInfo & import("../processing/decorate").ParentInformation>>, stop: (node: RNode<OtherInfo & import("../processing/decorate").ParentInformation>) => boolean) => Set<import("../processing/node-id").NodeId>;
+    readonly lexeme: <R extends RNode<import("../processing/decorate").ParentInformation>>(this: void, node: R | undefined) => R extends {
+        lexeme: string;
+    } ? string : string | undefined;
+    readonly documentation: typeof import("../../../../roxygen2/documentation-provider").getDocumentationOf;
 };

package/r-bridge/lang-4.x/ast/model/nodes/r-break.js

@@ -1,11 +1,13 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.RBreak = void 0;
+const model_1 = require("../model");
 const type_1 = require("../type");
 /**
  * Helper for working with {@link RBreak} AST nodes.
  */
 exports.RBreak = {
+    ...model_1.RNode,
     name: 'RBreak',
     /**
      * Type guard for {@link RBreak} nodes.

package/r-bridge/lang-4.x/ast/model/nodes/r-comment.d.ts

@@ -1,4 +1,5 @@
 import type { Leaf, Location, NoInfo } from '../model';
+import { RNode } from '../model';
 import { RType } from '../type';
 /**
  * ```r
@@ -17,4 +18,18 @@ export declare const RComment: {
      * Type guard for {@link RComment} nodes.
      */
     readonly is: <Info = object>(this: void, node: unknown) => node is RComment<Info>;
+    readonly getLocation: (this: void, node: RNode) => import("../../../../../util/range").SourceLocation | undefined;
+    readonly getId: (this: void, node: RNode<import("../processing/decorate").ParentInformation>) => import("../processing/node-id").NodeId;
+    readonly getType: (this: void, node: RNode) => RType;
+    readonly visitAst: <OtherInfo = object>(this: void, nodes: import("../../../../../abstract-interpretation/normalized-ast-fold").SingleOrArrayOrNothing<RNode<OtherInfo>>, onVisit?: import("../processing/visitor").OnEnter<OtherInfo>, onExit?: import("../processing/visitor").OnExit<OtherInfo>) => void;
+    readonly collectAllIds: <OtherInfo>(this: void, nodes: import("../../../../../abstract-interpretation/normalized-ast-fold").SingleOrArrayOrNothing<RNode<OtherInfo & import("../processing/decorate").ParentInformation>>) => Set<import("../processing/node-id").NodeId>;
+    readonly directChildren: <OtherInfo>(this: void, node: RNode<OtherInfo>) => readonly (RNode<OtherInfo> | typeof import("./r-function-call").EmptyArgument)[];
+    readonly directParent: <OtherInfo>(this: void, node: RNode<OtherInfo & import("../processing/decorate").ParentInformation>, idMap: Map<import("../processing/node-id").NodeId, RNode<OtherInfo & import("../processing/decorate").ParentInformation>>) => RNode<OtherInfo & import("../processing/decorate").ParentInformation> | undefined;
+    readonly iterateParents: <OtherInfo>(this: void, node: RNode<OtherInfo & import("../processing/decorate").ParentInformation> | undefined, idMap: Map<import("../processing/node-id").NodeId, RNode<OtherInfo & import("../processing/decorate").ParentInformation>>) => Generator<RNode<OtherInfo & import("../processing/decorate").ParentInformation>>;
+    readonly depth: (this: void, node: RNode<import("../processing/decorate").ParentInformation>, idMap: Map<import("../processing/node-id").NodeId, RNode<import("../processing/decorate").ParentInformation>>) => number;
+    readonly collectAllIdsWithStop: <OtherInfo>(this: void, nodes: import("../../../../../abstract-interpretation/normalized-ast-fold").SingleOrArrayOrNothing<RNode<OtherInfo & import("../processing/decorate").ParentInformation>>, stop: (node: RNode<OtherInfo & import("../processing/decorate").ParentInformation>) => boolean) => Set<import("../processing/node-id").NodeId>;
+    readonly lexeme: <R extends RNode<import("../processing/decorate").ParentInformation>>(this: void, node: R | undefined) => R extends {
+        lexeme: string;
+    } ? string : string | undefined;
+    readonly documentation: typeof import("../../../../roxygen2/documentation-provider").getDocumentationOf;
 };

package/r-bridge/lang-4.x/ast/model/nodes/r-comment.js

@@ -1,11 +1,13 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.RComment = void 0;
+const model_1 = require("../model");
 const type_1 = require("../type");
 /**
  * Helper for working with {@link RComment} AST nodes.
  */
 exports.RComment = {
+    ...model_1.RNode,
     name: 'RComment',
     /**
      * Type guard for {@link RComment} nodes.