@eagleoutice/flowr 2.6.0 → 2.6.2

package/control-flow/control-flow-graph.d.ts

@@ -17,6 +17,9 @@ export declare const enum CfgEdgeType {
     /** a control dependency */
     Cd = 1
 }
+/**
+ * Provide a string representation of the given edge type.
+ */
 export declare function edgeTypeToString(type: CfgEdgeType): string;
 /**
  * A plain vertex in the {@link ControlFlowGraph}.
@@ -60,8 +63,18 @@ export interface CfgBasicBlockVertex extends CfgBaseVertex {
  * A vertex in the {@link ControlFlowGraph}.
  */
 export type CfgSimpleVertex = CfgStatementVertex | CfgExpressionVertex | CfgBasicBlockVertex | CfgEndMarkerVertex;
+/**
+ * Checks whether two vertices are equal.
+ */
 export declare function equalVertex(a: CfgSimpleVertex, b: CfgSimpleVertex): boolean;
+/**
+ * Checks whether a vertex is a marker vertex (i.e., does not correspond to an actual AST node
+ * but is a marker in the control flow graph).
+ */
 export declare function isMarkerVertex(vertex: CfgSimpleVertex): vertex is CfgEndMarkerVertex;
+/**
+ * Get the root id of a vertex, i.e., the id of the AST node it corresponds to.
+ */
 export declare function getVertexRootId(vertex: CfgSimpleVertex): NodeId;
 interface CfgFlowDependencyEdge extends MergeableRecord {
     label: CfgEdgeType.Fd;
@@ -83,7 +96,6 @@ export interface ReadOnlyControlFlowGraph {
      * any function definition or basic block and hence part of the "top-level" control flow.
      *
      * This is the pendant of {@link DataflowGraph#rootIds|rootIds()} on a {@link DataflowGraph}.
-     *
      * @see {@link ReadOnlyControlFlowGraph#vertices|vertices()} - for a way to get all vertices in the graph.
      * @see {@link ReadOnlyControlFlowGraph#getVertex|getVertex()} - for a way to get a specific vertex by its id.
      * @see {@link ReadOnlyControlFlowGraph#edges|edges()} - for a way to get all edges in the graph.
@@ -91,9 +103,7 @@ export interface ReadOnlyControlFlowGraph {
     readonly rootIds: () => ReadonlySet<NodeId>;
     /**
      * Provide a view of all vertices in the graph.
-     *
      * @param includeBasicBlockElements - if true, the elements of basic block elements are included in the result, otherwise this will only the basic blocks themselves
-     *
      * @see {@link ReadOnlyControlFlowGraph#rootVertexIds|rootVertexIds()} - for a way to get the root vertices of the graph.
      * @see {@link ReadOnlyControlFlowGraph#getVertex|getVertex()} - for a way to get a specific vertex by its id.
      * @see {@link ReadOnlyControlFlowGraph#edges|edges()} - for a way to get all edges in the graph.
@@ -110,7 +120,6 @@ export interface ReadOnlyControlFlowGraph {
      * Receive all outgoing edges of a given vertex.
      *
      * This is the pendant of {@link DataflowGraph#ingoingEdges|ingoingEdges()} on a {@link DataflowGraph}.
-     *
      * @see {@link ReadOnlyControlFlowGraph#ingoingEdges|ingoingEdges()} - for a way to get all ingoing edges of a vertex.
      */
     readonly outgoingEdges: (id: NodeId) => ReadonlyMap<NodeId, CfgEdge> | undefined;
@@ -118,13 +127,11 @@ export interface ReadOnlyControlFlowGraph {
      * Receive all ingoing edges of a given vertex.
      *
      * This is the pendant of {@link DataflowGraph#outgoingEdges|outgoingEdges()} on a {@link DataflowGraph}.
-     *
      * @see {@link ReadOnlyControlFlowGraph#outgoingEdges|outgoingEdges()} - for a way to get all outgoing edges of a vertex.
      */
     readonly ingoingEdges: (id: NodeId) => ReadonlyMap<NodeId, CfgEdge> | undefined;
     /**
      * Retrieve a vertex by its id.
-     *
      * @param id - the id of the vertex to retrieve
      * @param includeBlocks - if true, the elements of basic block elements are included in the result, otherwise this will only the basic blocks themselves
      *
@@ -133,7 +140,6 @@ export interface ReadOnlyControlFlowGraph {
     readonly getVertex: (id: NodeId, includeBlocks?: boolean) => CfgSimpleVertex | undefined;
     /**
      * Check if a vertex with the given id exists in the graph.
-     *
      * @param id - the id of the vertex to check
      * @param includeBlocks - if true, the elements of basic block elements are included in the check, otherwise this will only check the basic blocks themselves
      *
@@ -172,13 +178,11 @@ export declare class ControlFlowGraph<Vertex extends CfgSimpleVertex = CfgSimple
     private _mayHaveBasicBlocks;
     /**
      * Add a new vertex to the control flow graph.
-     *
      * @see {@link ControlFlowGraph#addEdge|addEdge()} - to add an edge
      */
     addVertex(vertex: Vertex, rootVertex?: boolean): this;
     /**
      * Add a new edge to the control flow graph.
-     *
      * @see {@link ControlFlowGraph#addVertex|addVertex()} - to add vertices
      * @see {@link ControlFlowGraph#addEdges|addEdges()} - to add multiple edges at once
      */
@@ -202,14 +206,12 @@ export declare class ControlFlowGraph<Vertex extends CfgSimpleVertex = CfgSimple
     /**
      * This removes the vertex and all edges to and from it.
      * @param id - the id of the vertex to remove
-     *
      * @see {@link ControlFlowGraph#addVertex|addVertex()} - to add a vertex
      * @see {@link ControlFlowGraph#removeEdge|removeEdge()} - to remove a specific edge
      */
     removeVertex(id: NodeId): this;
     /**
      * Removes a all direct edges between `from` and `to` from the control flow graph.
-     *
      * @see {@link ControlFlowGraph#addEdge|addEdge()} - to add an edge
      * @see {@link ControlFlowGraph#removeVertex|removeVertex()} - to remove a vertex and all its edges
      */
@@ -225,7 +227,10 @@ export declare class ControlFlowGraph<Vertex extends CfgSimpleVertex = CfgSimple
      */
     mergeWith(other: ControlFlowGraph<Vertex>, forceNested?: boolean): this;
 }
-/** Summarizes the control information of a program */
+/**
+ * Summarizes the control information of a program
+ * @see {@link emptyControlFlowInformation} - to create an empty control flow information object
+ */
 export interface ControlFlowInformation<Vertex extends CfgSimpleVertex = CfgSimpleVertex> extends MergeableRecord {
     /** all active 'return'(-like) unconditional jumps */
     returns: NodeId[];
@@ -240,5 +245,8 @@ export interface ControlFlowInformation<Vertex extends CfgSimpleVertex = CfgSimp
     /** the control flow graph summarizing the flow information */
     graph: ControlFlowGraph<Vertex>;
 }
+/**
+ * Create an empty control flow information object.
+ */
 export declare function emptyControlFlowInformation(): ControlFlowInformation;
 export {};

package/control-flow/control-flow-graph.js

@@ -18,6 +18,9 @@ var CfgVertexType;
     /** a (as far as R allows this) 'basic' block */
     CfgVertexType["Block"] = "blk";
 })(CfgVertexType || (exports.CfgVertexType = CfgVertexType = {}));
+/**
+ * Provide a string representation of the given edge type.
+ */
 function edgeTypeToString(type) {
     switch (type) {
         case 0 /* CfgEdgeType.Fd */:
@@ -28,6 +31,9 @@ function edgeTypeToString(type) {
             throw new Error(`Unknown edge type ${JSON.stringify(type)}`);
     }
 }
+/**
+ * Checks whether two vertices are equal.
+ */
 function equalVertex(a, b) {
     if (a.type !== b.type || a.id !== b.id) {
         return false;
@@ -40,9 +46,16 @@ function equalVertex(a, b) {
     }
     return true;
 }
+/**
+ * Checks whether a vertex is a marker vertex (i.e., does not correspond to an actual AST node
+ * but is a marker in the control flow graph).
+ */
 function isMarkerVertex(vertex) {
     return vertex.type === CfgVertexType.EndMarker;
 }
+/**
+ * Get the root id of a vertex, i.e., the id of the AST node it corresponds to.
+ */
 function getVertexRootId(vertex) {
     return isMarkerVertex(vertex) ? vertex.root : vertex.id;
 }
@@ -68,7 +81,6 @@ class ControlFlowGraph {
     _mayHaveBasicBlocks = false;
     /**
      * Add a new vertex to the control flow graph.
-     *
      * @see {@link ControlFlowGraph#addEdge|addEdge()} - to add an edge
      */
     addVertex(vertex, rootVertex = true) {
@@ -90,7 +102,6 @@ class ControlFlowGraph {
     }
     /**
      * Add a new edge to the control flow graph.
-     *
      * @see {@link ControlFlowGraph#addVertex|addVertex()} - to add vertices
      * @see {@link ControlFlowGraph#addEdges|addEdges()} - to add multiple edges at once
      */
@@ -190,7 +201,6 @@ class ControlFlowGraph {
     /**
      * This removes the vertex and all edges to and from it.
      * @param id - the id of the vertex to remove
-     *
      * @see {@link ControlFlowGraph#addVertex|addVertex()} - to add a vertex
      * @see {@link ControlFlowGraph#removeEdge|removeEdge()} - to remove a specific edge
      */
@@ -212,7 +222,6 @@ class ControlFlowGraph {
     }
     /**
      * Removes a all direct edges between `from` and `to` from the control flow graph.
-     *
      * @see {@link ControlFlowGraph#addEdge|addEdge()} - to add an edge
      * @see {@link ControlFlowGraph#removeVertex|removeVertex()} - to remove a vertex and all its edges
      */
@@ -281,6 +290,9 @@ class ControlFlowGraph {
     }
 }
 exports.ControlFlowGraph = ControlFlowGraph;
+/**
+ * Create an empty control flow information object.
+ */
 function emptyControlFlowInformation() {
     return {
         returns: [],

package/control-flow/dfg-cfg-guided-visitor.d.ts

@@ -1,8 +1,7 @@
 import { type CfgBasicBlockVertex, type CfgEndMarkerVertex, type CfgExpressionVertex, type CfgSimpleVertex, type CfgStatementVertex, type ControlFlowInformation } from './control-flow-graph';
 import type { NodeId } from '../r-bridge/lang-4.x/ast/model/processing/node-id';
-import type { DataflowGraphVertexArgument, DataflowGraphVertexFunctionCall, DataflowGraphVertexFunctionDefinition, DataflowGraphVertexUse, DataflowGraphVertexValue, DataflowGraphVertexVariableDefinition } from '../dataflow/graph/vertex';
-import type { BasicCfgGuidedVisitorConfiguration } from './basic-cfg-guided-visitor';
-import { BasicCfgGuidedVisitor } from './basic-cfg-guided-visitor';
+import { type DataflowGraphVertexArgument, type DataflowGraphVertexFunctionCall, type DataflowGraphVertexFunctionDefinition, type DataflowGraphVertexUse, type DataflowGraphVertexValue, type DataflowGraphVertexVariableDefinition } from '../dataflow/graph/vertex';
+import { type BasicCfgGuidedVisitorConfiguration, BasicCfgGuidedVisitor } from './basic-cfg-guided-visitor';
 import type { DataflowGraph } from '../dataflow/graph/graph';
 export interface DataflowCfgGuidedVisitorConfiguration<ControlFlow extends ControlFlowInformation = ControlFlowInformation, Dfg extends DataflowGraph = DataflowGraph> extends BasicCfgGuidedVisitorConfiguration<ControlFlow> {
     readonly dfg: Dfg;

package/control-flow/diff-cfg.d.ts

@@ -1,11 +1,9 @@
-import type { NamedGraph } from '../util/diff-graph';
-import { GraphDifferenceReport } from '../util/diff-graph';
-import type { GenericDiffConfiguration } from '../util/diff';
-import type { ControlFlowGraph } from './control-flow-graph';
+import { type NamedGraph, GraphDifferenceReport } from '../util/diff-graph';
+import { type GenericDiffConfiguration } from '../util/diff';
+import { type ControlFlowGraph } from './control-flow-graph';
 /**
  * Compare two control flow graphs and return a report on the differences.
  * If you simply want to check whether they equal, use {@link GraphDifferenceReport#isEqual|`<result>.isEqual()`}.
- *
  * @see {@link diffOfDataflowGraphs} - for dataflow graphs
  */
 export declare function diffOfControlFlowGraphs(left: NamedGraph<ControlFlowGraph>, right: NamedGraph<ControlFlowGraph>, config?: Partial<GenericDiffConfiguration>): GraphDifferenceReport;

package/control-flow/diff-cfg.js

@@ -9,7 +9,6 @@ const arrays_1 = require("../util/collections/arrays");
 /**
  * Compare two control flow graphs and return a report on the differences.
  * If you simply want to check whether they equal, use {@link GraphDifferenceReport#isEqual|`<result>.isEqual()`}.
- *
  * @see {@link diffOfDataflowGraphs} - for dataflow graphs
  */
 function diffOfControlFlowGraphs(left, right, config) {

package/control-flow/extract-cfg.d.ts

@@ -1,19 +1,17 @@
-import type { QuadSerializationConfiguration } from '../util/quads';
+import { type QuadSerializationConfiguration } from '../util/quads';
 import type { NormalizedAst, ParentInformation } from '../r-bridge/lang-4.x/ast/model/processing/decorate';
 import type { DataflowGraph } from '../dataflow/graph/graph';
-import type { ControlFlowInformation } from './control-flow-graph';
-import type { CfgSimplificationPassName } from './cfg-simplification';
+import { type ControlFlowInformation } from './control-flow-graph';
+import { type CfgSimplificationPassName } from './cfg-simplification';
 import type { FlowrConfigOptions } from '../config';
 /**
  * Given a normalized AST, this approximates the control flow graph of the program.
  * This view is different from the computation of the dataflow graph and may differ,
  * especially because it focuses on intra-procedural analysis.
- *
  * @param ast             - the normalized AST
  * @param config          - the flowR config
  * @param graph           - additional dataflow facts to consider by the control flow extraction
  * @param simplifications - a list of simplification passes to apply to the control flow graph
- *
  * @see {@link extractCfgQuick} - for a simplified version of this function
  */
 export declare function extractCfg<Info = ParentInformation>(ast: NormalizedAst<Info & ParentInformation>, config: FlowrConfigOptions, graph?: DataflowGraph, simplifications?: readonly CfgSimplificationPassName[]): ControlFlowInformation;
@@ -24,7 +22,6 @@ export declare function extractCfgQuick<Info = ParentInformation>(ast: Normalize
 export declare const ResolvedCallSuffix = "-resolved-call-exit";
 /**
  * Convert a cfg to RDF quads.
- *
  * @see {@link df2quads}
  * @see {@link serialize2quads}
  * @see {@link graph2quads}

package/control-flow/extract-cfg.js

@@ -55,12 +55,10 @@ function dataflowCfgFolds(dataflowGraph) {
  * Given a normalized AST, this approximates the control flow graph of the program.
  * This view is different from the computation of the dataflow graph and may differ,
  * especially because it focuses on intra-procedural analysis.
- *
  * @param ast             - the normalized AST
  * @param config          - the flowR config
  * @param graph           - additional dataflow facts to consider by the control flow extraction
  * @param simplifications - a list of simplification passes to apply to the control flow graph
- *
  * @see {@link extractCfgQuick} - for a simplified version of this function
  */
 function extractCfg(ast, config, graph, simplifications) {
@@ -439,7 +437,6 @@ function cfgExprList(node, _grouping, expressions) {
 }
 /**
  * Convert a cfg to RDF quads.
- *
  * @see {@link df2quads}
  * @see {@link serialize2quads}
  * @see {@link graph2quads}

package/control-flow/happens-before.d.ts

@@ -1,6 +1,6 @@
 import type { NodeId } from '../r-bridge/lang-4.x/ast/model/processing/node-id';
 import { Ternary } from '../util/logic';
-import type { ControlFlowGraph } from './control-flow-graph';
+import { type ControlFlowGraph } from './control-flow-graph';
 /**
  * Determines if node `a` happens before node `b` in the control flow graph.
  */

package/control-flow/semantic-cfg-guided-visitor.d.ts

@@ -1,10 +1,9 @@
 import type { CfgExpressionVertex, CfgStatementVertex, ControlFlowInformation } from './control-flow-graph';
-import type { DataflowCfgGuidedVisitorConfiguration } from './dfg-cfg-guided-visitor';
-import { DataflowAwareCfgGuidedVisitor } from './dfg-cfg-guided-visitor';
+import { type DataflowCfgGuidedVisitorConfiguration, DataflowAwareCfgGuidedVisitor } from './dfg-cfg-guided-visitor';
 import type { NormalizedAst, ParentInformation } from '../r-bridge/lang-4.x/ast/model/processing/decorate';
 import type { SyntaxCfgGuidedVisitorConfiguration } from './syntax-cfg-guided-visitor';
 import type { NodeId } from '../r-bridge/lang-4.x/ast/model/processing/node-id';
-import type { Origin } from '../dataflow/origin/dfg-get-origin';
+import { type Origin } from '../dataflow/origin/dfg-get-origin';
 import type { DataflowGraphVertexFunctionCall, DataflowGraphVertexFunctionDefinition, DataflowGraphVertexUse, DataflowGraphVertexValue, DataflowGraphVertexVariableDefinition } from '../dataflow/graph/vertex';
 import type { RString } from '../r-bridge/lang-4.x/ast/model/nodes/r-string';
 import type { RNumber } from '../r-bridge/lang-4.x/ast/model/nodes/r-number';
@@ -56,7 +55,6 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
      *
      * This function is called for every use of a variable in the program and dispatches the appropriate event.
      * You probably do not have to overwrite it and just use {@link SemanticCfgGuidedVisitor#onVariableUse|`onVariableUse`} instead.
-     *
      * @protected
      */
     protected visitVariableUse(vertex: DataflowGraphVertexUse): void;
@@ -65,7 +63,6 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
      *
      * This function is called for every variable definition in the program and dispatches the appropriate event.
      * You probably do not have to overwrite it and just use {@link SemanticCfgGuidedVisitor#onVariableDefinition|`onVariableDefinition`} instead.
-     *
      * @protected
      */
     protected visitVariableDefinition(vertex: DataflowGraphVertexVariableDefinition): void;
@@ -74,7 +71,6 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
      *
      * This function is called for every function definition in the program and dispatches the appropriate event.
      * You probably do not have to overwrite it and just use {@link SemanticCfgGuidedVisitor#onFunctionDefinition|`onFunctionDefinition`} instead.
-     *
      * @protected
      */
     protected visitFunctionDefinition(vertex: DataflowGraphVertexFunctionDefinition): void;
@@ -85,7 +81,6 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
      * You probably do not have to overwrite it and just use {@link SemanticCfgGuidedVisitor#onUnnamedCall|`onUnnamedCall`} for anonymous calls,
      * or {@link SemanticCfgGuidedVisitor#onDispatchFunctionCallOrigins|`onDispatchFunctionCallOrigins`} for named calls (or just overwrite
      * the events you are interested in directly).
-     *
      * @protected
      */
     protected visitFunctionCall(vertex: DataflowGraphVertexFunctionCall): void;
@@ -94,7 +89,6 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
      * This function is called for every unknown vertex in the program.
      * It dispatches the appropriate event based on the type of the vertex.
      * In case you have to overwrite this function please make sure to still call this implementation to get a correctly working {@link SemanticCfgGuidedVisitor#onProgram|`onProgram`}.
-     *
      * @protected
      */
     protected visitUnknown(vertex: CfgStatementVertex | CfgExpressionVertex): void;
@@ -104,7 +98,6 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
      * and aggregating their results (which is just additive by default).
      * If you want to change the behavior in case of multiple potential function definition targets, simply overwrite this function
      * with the logic you desire.
-     *
      * @protected
      */
     protected onDispatchFunctionCallOrigins(call: DataflowGraphVertexFunctionCall, origins: readonly string[]): void;
@@ -112,15 +105,12 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
      * This function is responsible for dispatching the appropriate event
      * based on a given dataflow vertex. The default serves as a backend
      * for the event functions, but you may overwrite and extend this function at will.
-     *
      * @see {@link onDispatchFunctionCallOrigins} for the aggregation in case the function call target is ambiguous.
-     *
      * @protected
      */
     protected onDispatchFunctionCallOrigin(call: DataflowGraphVertexFunctionCall, origin: keyof typeof BuiltInProcessorMapper | string): void;
     /**
      * This event is called for the root program node, i.e., the program that is being analyzed.
-     *
      * @protected
      */
     protected onProgram(_data: RExpressionList<OtherInfo>): void;
@@ -212,7 +202,6 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
      * This is separate from {@link SemanticCfgGuidedVisitor#onDefaultFunctionCall|`onDefaultFunctionCall`} which is used for named function calls that do not trigger any of these events.
      * The main differentiation for these calls is that you may not infer their semantics from any name alone and probably _have_
      * to rely on {@link SemanticCfgGuidedVisitor#getOrigins|`getOrigins`} to get more information.
-     *
      * @protected
      */
     protected onUnnamedCall(_data: {
@@ -235,7 +224,6 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
      * This explicitly will not trigger for scenarios in which the function has no name (i.e., if it is anonymous).
      * For such cases, you may rely on the {@link SemanticCfgGuidedVisitor#onUnnamedCall|`onUnnamedCall`} event.
      * The main reason for this separation is part of flowR's handling of these functions, as anonymous calls cannot be resolved using the active environment.
-     *
      * @protected
      */
     protected onDefaultFunctionCall(_data: {
@@ -247,7 +235,6 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
      * For example, `eval` in `eval(parse(text = "x + 1"))`.
      *
      * More specifically, this relates to the corresponding {@link BuiltInProcessorMapper} handler.
-     *
      * @protected
      */
     protected onEvalFunctionCall(_data: {
@@ -259,7 +246,6 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
      * For example, `lapply` in `lapply(1:10, function(x) { x + 1 })`.
      *
      * More specifically, this relates to the corresponding {@link BuiltInProcessorMapper} handler.
-     *
      * @protected
      */
     protected onApplyFunctionCall(_data: {
@@ -270,7 +256,6 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
      *
      * For example, this triggers for the expression list created by `{` and `}` in `ìf (TRUE) { x <- 1; y <- 2; }`. But also for the implicit
      * expression list `x <- x + 1` in `for(x in 1:10) x <- x + 1`.
-     *
      * @protected
      */
     protected onExpressionList(_data: {
@@ -284,7 +269,6 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
      * By default, this does not provide the resolved source file. Yet you can access the {@link DataflowGraph} to ask for sourced files.
      *
      * More specifically, this relates to the corresponding {@link BuiltInProcessorMapper} handler.
-     *
      * @protected
      */
     protected onSourceCall(_data: {
@@ -292,7 +276,6 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
     }): void;
     /**
      * This event triggers for every subsetting call, i.e., for every call to `[[`, `[`, or `$`.
-     *
      * @protected
      */
     protected onAccessCall(_data: {
@@ -300,7 +283,6 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
     }): void;
     /**
      * This event triggers for every call to the `if` function, which is used to implement the `if-then-else` control flow.
-     *
      * @protected
      */
     protected onIfThenElseCall(_data: {
@@ -316,7 +298,6 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
      *
      * Please be aware, that with flowR resolving the `get` during the dataflow analysis,
      * this may very well trigger a {@link SemanticCfgGuidedVisitor#onVariableUse|`onVariableUse`} event as well.
-     *
      * @protected
      */
     protected onGetCall(_data: {
@@ -326,7 +307,6 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
      * This event triggers for every call to the `rm` function, which is used to remove variables from the environment.
      *
      * For example, `rm` in `rm(x)`.
-     *
      * @protected
      */
     protected onRmCall(_data: {
@@ -338,7 +318,6 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
      * For example, `library` in `library(dplyr)`.
      *
      * More specifically, this relates to the corresponding {@link BuiltInProcessorMapper} handler.
-     *
      * @protected
      */
     protected onLibraryCall(_data: {
@@ -364,7 +343,6 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
      * For example, this triggers for`%in%` in `x %in% y`.
      *
      * More specifically, this relates to the corresponding {@link BuiltInProcessorMapper} handler.
-     *
      * @protected
      */
     protected onSpecialBinaryOpCall(_data: {
@@ -374,7 +352,6 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
     }): void;
     /**
      * This event triggers for every call to R's pipe operator, i.e., for every call to `|>`.
-     *
      * @protected
      */
     protected onPipeCall(_data: {
@@ -388,7 +365,6 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
      * For example, `quote` in `quote(x + 1)`.
      *
      * More specifically, this relates to the corresponding {@link BuiltInProcessorMapper} handler.
-     *
      * @protected
      */
     protected onQuoteCall(_data: {
@@ -400,7 +376,6 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
      * For example, this triggers for `for` in `for(i in 1:10) { print(i) }`.
      *
      * More specifically, this relates to the corresponding {@link BuiltInProcessorMapper} handler.
-     *
      * @protected
      */
     protected onForLoopCall(_data: {
@@ -415,7 +390,6 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
      * For example, this triggers for `while` in `while(i < 10) { i <- i + 1 }`.
      *
      * More specifically, this relates to the corresponding {@link BuiltInProcessorMapper} handler.
-     *
      * @protected
      */
     protected onWhileLoopCall(_data: {
@@ -429,7 +403,6 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
      * For example, this triggers for `repeat` in `repeat { i <- i + 1; if(i >= 10) break }`.
      *
      * More specifically, this relates to the corresponding {@link BuiltInProcessorMapper} handler.
-     *
      * @protected
      */
     protected onRepeatLoopCall(_data: {
@@ -458,7 +431,6 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
      * For example, this triggers for `list` in `list(1, 2, 3)`.
      *
      * More specifically, this relates to the corresponding {@link BuiltInProcessorMapper} handler.
-     *
      * @protected
      */
     protected onListCall(_data: {
@@ -470,7 +442,6 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
      * For example, this triggers for `c` in `c(1, 2, 3)`.
      *
      * More specifically, this relates to the corresponding {@link BuiltInProcessorMapper} handler.
-     *
      * @protected
      */
     protected onVectorCall(_data: {