@eagleoutice/flowr 1.4.1 → 1.5.0

package/core/steps.d.ts

@@ -13,15 +13,11 @@
  * @module
  */
 import type { MergeableRecord } from '../util/objects';
-import { normalize, retrieveXmlFromRCode } from '../r-bridge';
-import { produceDataFlowGraph } from '../dataflow';
-import { reconstructToCode, staticSlicing } from '../slicing';
 import type { IStepPrinter } from './print/print';
 import { internalPrinter, StepOutputFormat } from './print/print';
 import { normalizedAstToJson, normalizedAstToQuads, printNormalizedAstToMermaid, printNormalizedAstToMermaidUrl } from './print/normalize-printer';
 import { parseToQuads } from './print/parse-printer';
 import { dataflowGraphToJson, dataflowGraphToMermaid, dataflowGraphToMermaidUrl, dataflowGraphToQuads } from './print/dataflow-printer';
-import type { DataflowInformation } from '../dataflow/internal/info';
 /**
  * This represents close a function that we know completely nothing about.
  * Nevertheless, this is the basis of what a step processor should look like.
@@ -49,7 +45,7 @@ export interface IStep<Fn extends StepFunction> extends MergeableRecord {
 export declare const STEPS_PER_FILE: {
     readonly parse: {
         description: string;
-        processor: typeof retrieveXmlFromRCode;
+        processor: (r: import("../r-bridge").RParseRequest, s: import("../r-bridge").RShell | import("../r-bridge/shell-executor").RShellExecutor) => import("ts-essentials").AsyncOrSync<string>;
         required: "once-per-file";
         printer: {
             0: typeof internalPrinter;
@@ -59,7 +55,179 @@ export declare const STEPS_PER_FILE: {
     };
     readonly normalize: {
         description: string;
-        processor: typeof normalize;
+        processor: (j: string, h: {
+            values?: {
+                onNumber?: {
+                    before?: ((data: import("../r-bridge").ParserData, inputObj: import("../r-bridge").XmlBasedJson) => void | import("../r-bridge").XmlBasedJson | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RNumber<import("../r-bridge").NoInfo> | import("../r-bridge").RLogical<import("../r-bridge").NoInfo> | import("../r-bridge").RSymbol<import("../r-bridge").NoInfo, "NA">) => void | import("../r-bridge").RNumber<import("../r-bridge").NoInfo> | import("../r-bridge").RLogical<import("../r-bridge").NoInfo> | import("../r-bridge").RSymbol<import("../r-bridge").NoInfo, "NA"> | undefined) | undefined;
+                } | undefined;
+                onString?: {
+                    before?: ((data: import("../r-bridge").ParserData, inputObj: import("../r-bridge").XmlBasedJson) => void | import("../r-bridge").XmlBasedJson | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RString<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RString<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+                onSymbol?: {
+                    unknown?: ((data: import("../r-bridge").ParserData, inputObjs: import("../r-bridge").NamedXmlBasedJson[]) => void | import("../r-bridge").RSymbol<import("../r-bridge").NoInfo, string> | undefined) | undefined;
+                    before?: ((data: import("../r-bridge").ParserData, inputObjs: import("../r-bridge").NamedXmlBasedJson[]) => void | import("../r-bridge").NamedXmlBasedJson[] | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RSymbol<import("../r-bridge").NoInfo, string> | undefined) => void | import("../r-bridge").RSymbol<import("../r-bridge").NoInfo, string> | undefined) | undefined;
+                } | undefined;
+            } | undefined;
+            onAccess?: {
+                unknown?: ((data: import("../r-bridge").ParserData, inputObjs: import("../r-bridge").NamedXmlBasedJson[]) => void | import("../r-bridge").RAccess | undefined) | undefined;
+                before?: ((data: import("../r-bridge").ParserData, inputObjs: import("../r-bridge").NamedXmlBasedJson[]) => void | import("../r-bridge").NamedXmlBasedJson[] | undefined) | undefined;
+                after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RAccess) => void | import("../r-bridge").RAccess | undefined) | undefined;
+            } | undefined;
+            other?: {
+                onComment?: {
+                    before?: ((data: import("../r-bridge").ParserData, inputObj: import("../r-bridge").XmlBasedJson) => void | import("../r-bridge").XmlBasedJson | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RComment<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RComment<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+                onLineDirective?: {
+                    before?: ((data: import("../r-bridge").ParserData, inputObj: import("../r-bridge").XmlBasedJson) => void | import("../r-bridge").XmlBasedJson | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RComment<import("../r-bridge").NoInfo> | import("../r-bridge").RLineDirective<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RComment<import("../r-bridge").NoInfo> | import("../r-bridge").RLineDirective<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+            } | undefined;
+            operators?: {
+                onBinary?: {
+                    unknown?: ((data: import("../r-bridge").ParserData, input: {
+                        lhs: import("../r-bridge").NamedXmlBasedJson;
+                        operator: import("../r-bridge").NamedXmlBasedJson;
+                        rhs: import("../r-bridge").NamedXmlBasedJson;
+                    }) => void | import("../r-bridge").RNode | undefined) | undefined;
+                    before?: ((data: import("../r-bridge").ParserData, input: {
+                        flavor: import("../r-bridge").BinaryOperatorFlavor | "special" | "pipe";
+                        lhs: import("../r-bridge").NamedXmlBasedJson;
+                        operator: import("../r-bridge").NamedXmlBasedJson;
+                        rhs: import("../r-bridge").NamedXmlBasedJson;
+                    }) => void | {
+                        flavor: import("../r-bridge").BinaryOperatorFlavor | "special" | "pipe";
+                        lhs: import("../r-bridge").NamedXmlBasedJson;
+                        operator: import("../r-bridge").NamedXmlBasedJson;
+                        rhs: import("../r-bridge").NamedXmlBasedJson;
+                    } | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RBinaryOp<import("../r-bridge").NoInfo> | import("../r-bridge").RPipe<import("../r-bridge").NoInfo> | import("../r-bridge").RFunctionCall) => void | import("../r-bridge").RBinaryOp<import("../r-bridge").NoInfo> | import("../r-bridge").RPipe<import("../r-bridge").NoInfo> | import("../r-bridge").RFunctionCall | undefined) | undefined;
+                } | undefined;
+                onUnary?: {
+                    unknown?: ((data: import("../r-bridge").ParserData, input: {
+                        operator: import("../r-bridge").NamedXmlBasedJson;
+                        operand: import("../r-bridge").NamedXmlBasedJson;
+                    }) => void | import("../r-bridge").RNode | undefined) | undefined;
+                    before?: ((data: import("../r-bridge").ParserData, input: {
+                        flavor: import("../r-bridge").UnaryOperatorFlavor;
+                        operator: import("../r-bridge").NamedXmlBasedJson;
+                        operand: import("../r-bridge").NamedXmlBasedJson;
+                    }) => void | {
+                        flavor: import("../r-bridge").UnaryOperatorFlavor;
+                        operator: import("../r-bridge").NamedXmlBasedJson;
+                        operand: import("../r-bridge").NamedXmlBasedJson;
+                    } | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RUnaryOp<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RUnaryOp<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+            } | undefined;
+            loops?: {
+                onForLoop?: {
+                    unknown?: ((data: import("../r-bridge").ParserData, input: {
+                        forToken: import("../r-bridge").NamedXmlBasedJson;
+                        condition: import("../r-bridge").NamedXmlBasedJson;
+                        body: import("../r-bridge").NamedXmlBasedJson;
+                    }) => void | import("../r-bridge").RForLoop<import("../r-bridge").NoInfo> | undefined) | undefined;
+                    before?: ((data: import("../r-bridge").ParserData, input: {
+                        forToken: import("../r-bridge").NamedXmlBasedJson;
+                        condition: import("../r-bridge").NamedXmlBasedJson;
+                        body: import("../r-bridge").NamedXmlBasedJson;
+                    }) => void | {
+                        forToken: import("../r-bridge").NamedXmlBasedJson;
+                        condition: import("../r-bridge").NamedXmlBasedJson;
+                        body: import("../r-bridge").NamedXmlBasedJson;
+                    } | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RForLoop<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RForLoop<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+                onRepeatLoop?: {
+                    unknown?: ((data: import("../r-bridge").ParserData, input: {
+                        repeatToken: import("../r-bridge").NamedXmlBasedJson;
+                        body: import("../r-bridge").NamedXmlBasedJson;
+                    }) => void | import("../r-bridge").RRepeatLoop<import("../r-bridge").NoInfo> | undefined) | undefined;
+                    before?: ((data: import("../r-bridge").ParserData, input: {
+                        repeatToken: import("../r-bridge").NamedXmlBasedJson;
+                        body: import("../r-bridge").NamedXmlBasedJson;
+                    }) => void | {
+                        repeatToken: import("../r-bridge").NamedXmlBasedJson;
+                        body: import("../r-bridge").NamedXmlBasedJson;
+                    } | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RRepeatLoop<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RRepeatLoop<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+                onWhileLoop?: {
+                    unknown?: ((data: import("../r-bridge").ParserData, input: {
+                        whileToken: import("../r-bridge").NamedXmlBasedJson;
+                        leftParen: import("../r-bridge").NamedXmlBasedJson;
+                        condition: import("../r-bridge").NamedXmlBasedJson;
+                        rightParen: import("../r-bridge").NamedXmlBasedJson;
+                        body: import("../r-bridge").NamedXmlBasedJson;
+                    }) => void | import("../r-bridge").RWhileLoop<import("../r-bridge").NoInfo> | undefined) | undefined;
+                    before?: ((data: import("../r-bridge").ParserData, input: {
+                        whileToken: import("../r-bridge").NamedXmlBasedJson;
+                        leftParen: import("../r-bridge").NamedXmlBasedJson;
+                        condition: import("../r-bridge").NamedXmlBasedJson;
+                        rightParen: import("../r-bridge").NamedXmlBasedJson;
+                        body: import("../r-bridge").NamedXmlBasedJson;
+                    }) => void | {
+                        whileToken: import("../r-bridge").NamedXmlBasedJson;
+                        leftParen: import("../r-bridge").NamedXmlBasedJson;
+                        condition: import("../r-bridge").NamedXmlBasedJson;
+                        rightParen: import("../r-bridge").NamedXmlBasedJson;
+                        body: import("../r-bridge").NamedXmlBasedJson;
+                    } | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RWhileLoop<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RWhileLoop<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+                onBreak?: {
+                    before?: ((data: import("../r-bridge").ParserData, input: import("../r-bridge").XmlBasedJson) => void | import("../r-bridge").XmlBasedJson | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RBreak<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RBreak<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+                onNext?: {
+                    before?: ((data: import("../r-bridge").ParserData, input: import("../r-bridge").XmlBasedJson) => void | import("../r-bridge").XmlBasedJson | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RNext<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RNext<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+            } | undefined;
+            functions?: {
+                onFunctionDefinition?: {
+                    unknown?: ((data: import("../r-bridge").ParserData, mappedWithName: import("../r-bridge").NamedXmlBasedJson[]) => void | import("../r-bridge").RFunctionDefinition<import("../r-bridge").NoInfo> | undefined) | undefined;
+                    before?: ((data: import("../r-bridge").ParserData, mappedWithName: import("../r-bridge").NamedXmlBasedJson[]) => void | import("../r-bridge").NamedXmlBasedJson[] | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RFunctionDefinition<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RFunctionDefinition<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+                onParameter?: {
+                    unknown?: ((data: import("../r-bridge").ParserData, mappedWithName: import("../r-bridge").NamedXmlBasedJson[]) => void | import("../r-bridge").RParameter<import("../r-bridge").NoInfo> | undefined) | undefined;
+                    before?: ((data: import("../r-bridge").ParserData, mappedWithName: import("../r-bridge").NamedXmlBasedJson[]) => void | import("../r-bridge").NamedXmlBasedJson[] | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RParameter<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RParameter<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+                onFunctionCall?: {
+                    unknown?: ((data: import("../r-bridge").ParserData, mappedWithName: import("../r-bridge").NamedXmlBasedJson[]) => void | import("../r-bridge").RBreak<import("../r-bridge").NoInfo> | import("../r-bridge").RNext<import("../r-bridge").NoInfo> | import("../r-bridge").RFunctionCall | undefined) | undefined;
+                    before?: ((data: import("../r-bridge").ParserData, mappedWithName: import("../r-bridge").NamedXmlBasedJson[]) => void | import("../r-bridge").NamedXmlBasedJson[] | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RBreak<import("../r-bridge").NoInfo> | import("../r-bridge").RNext<import("../r-bridge").NoInfo> | import("../r-bridge").RFunctionCall) => void | import("../r-bridge").RBreak<import("../r-bridge").NoInfo> | import("../r-bridge").RNext<import("../r-bridge").NoInfo> | import("../r-bridge").RFunctionCall | undefined) | undefined;
+                } | undefined;
+                onArgument?: {
+                    unknown?: ((data: import("../r-bridge").ParserData, mappedWithName: import("../r-bridge").NamedXmlBasedJson[]) => void | import("../r-bridge").RArgument<import("../r-bridge").NoInfo> | undefined) | undefined;
+                    before?: ((data: import("../r-bridge").ParserData, mappedWithName: import("../r-bridge").NamedXmlBasedJson[]) => void | import("../r-bridge").NamedXmlBasedJson[] | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RArgument<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RArgument<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+            } | undefined;
+            expression?: {
+                onExpression?: {
+                    before?: ((data: import("../r-bridge").ParserData, inputObj: import("../r-bridge").XmlBasedJson) => void | import("../r-bridge").XmlBasedJson | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RNode) => void | import("../r-bridge").RNode | undefined) | undefined;
+                } | undefined;
+            } | undefined;
+            control?: {
+                onIfThen?: {
+                    unknown?: ((data: import("../r-bridge").ParserData, tokens: [ifToken: import("../r-bridge").NamedXmlBasedJson, leftParen: import("../r-bridge").NamedXmlBasedJson, condition: import("../r-bridge").NamedXmlBasedJson, rightParen: import("../r-bridge").NamedXmlBasedJson, then: import("../r-bridge").NamedXmlBasedJson]) => void | import("../r-bridge").RIfThenElse<import("../r-bridge").NoInfo> | undefined) | undefined;
+                    before?: ((data: import("../r-bridge").ParserData, tokens: [ifToken: import("../r-bridge").NamedXmlBasedJson, leftParen: import("../r-bridge").NamedXmlBasedJson, condition: import("../r-bridge").NamedXmlBasedJson, rightParen: import("../r-bridge").NamedXmlBasedJson, then: import("../r-bridge").NamedXmlBasedJson]) => void | [ifToken: import("../r-bridge").NamedXmlBasedJson, leftParen: import("../r-bridge").NamedXmlBasedJson, condition: import("../r-bridge").NamedXmlBasedJson, rightParen: import("../r-bridge").NamedXmlBasedJson, then: import("../r-bridge").NamedXmlBasedJson] | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RIfThenElse<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RIfThenElse<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+                onIfThenElse?: {
+                    unknown?: ((data: import("../r-bridge").ParserData, tokens: [ifToken: import("../r-bridge").NamedXmlBasedJson, leftParen: import("../r-bridge").NamedXmlBasedJson, condition: import("../r-bridge").NamedXmlBasedJson, rightParen: import("../r-bridge").NamedXmlBasedJson, then: import("../r-bridge").NamedXmlBasedJson, elseToken: import("../r-bridge").NamedXmlBasedJson, elseBlock: import("../r-bridge").NamedXmlBasedJson]) => void | import("../r-bridge").RIfThenElse<import("../r-bridge").NoInfo> | undefined) | undefined;
+                    before?: ((data: import("../r-bridge").ParserData, tokens: [ifToken: import("../r-bridge").NamedXmlBasedJson, leftParen: import("../r-bridge").NamedXmlBasedJson, condition: import("../r-bridge").NamedXmlBasedJson, rightParen: import("../r-bridge").NamedXmlBasedJson, then: import("../r-bridge").NamedXmlBasedJson, elseToken: import("../r-bridge").NamedXmlBasedJson, elseBlock: import("../r-bridge").NamedXmlBasedJson]) => void | [ifToken: import("../r-bridge").NamedXmlBasedJson, leftParen: import("../r-bridge").NamedXmlBasedJson, condition: import("../r-bridge").NamedXmlBasedJson, rightParen: import("../r-bridge").NamedXmlBasedJson, then: import("../r-bridge").NamedXmlBasedJson, elseToken: import("../r-bridge").NamedXmlBasedJson, elseBlock: import("../r-bridge").NamedXmlBasedJson] | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RIfThenElse<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RIfThenElse<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+            } | undefined;
+        } | undefined, g: import("../r-bridge").IdGenerator<import("../r-bridge").NoInfo> | undefined) => import("../r-bridge").NormalizedAst<import("../r-bridge").ParentInformation>;
         required: "once-per-file";
         printer: {
             0: typeof internalPrinter;
@@ -71,7 +239,7 @@ export declare const STEPS_PER_FILE: {
     };
     readonly dataflow: {
         description: string;
-        processor: typeof produceDataFlowGraph;
+        processor: (r: import("../r-bridge").RParseRequest, a: import("../r-bridge").NormalizedAst<import("../r-bridge").ParentInformation>) => import("../dataflow/internal/info").DataflowInformation;
         required: "once-per-file";
         printer: {
             0: typeof internalPrinter;
@@ -81,19 +249,11 @@ export declare const STEPS_PER_FILE: {
             4: typeof dataflowGraphToMermaidUrl;
         };
     };
-    readonly ai: {
-        description: string;
-        processor: (_: import("../r-bridge").NormalizedAst<import("../r-bridge").ParentInformation>, dfInfo: DataflowInformation) => DataflowInformation;
-        required: "once-per-file";
-        printer: {
-            0: typeof internalPrinter;
-        };
-    };
 };
 export declare const STEPS_PER_SLICE: {
     readonly slice: {
         description: string;
-        processor: typeof staticSlicing;
+        processor: (d: import("../dataflow").DataflowGraph, a: import("../r-bridge").NormalizedAst<import("../r-bridge").ParentInformation>, c: import("../slicing").SlicingCriteria) => Readonly<import("../slicing").SliceResult>;
         required: "once-per-slice";
         printer: {
             0: typeof internalPrinter;
@@ -101,7 +261,7 @@ export declare const STEPS_PER_SLICE: {
     };
     readonly reconstruct: {
         description: string;
-        processor: typeof reconstructToCode;
+        processor: (a: import("../r-bridge").NormalizedAst<unknown>, s: Set<import("../r-bridge").NodeId>) => import("../slicing").ReconstructionResult;
         required: "once-per-slice";
         printer: {
             0: typeof internalPrinter;
@@ -111,7 +271,7 @@ export declare const STEPS_PER_SLICE: {
 export declare const STEPS: {
     readonly slice: {
         description: string;
-        processor: typeof staticSlicing;
+        processor: (d: import("../dataflow").DataflowGraph, a: import("../r-bridge").NormalizedAst<import("../r-bridge").ParentInformation>, c: import("../slicing").SlicingCriteria) => Readonly<import("../slicing").SliceResult>;
         required: "once-per-slice";
         printer: {
             0: typeof internalPrinter;
@@ -119,7 +279,7 @@ export declare const STEPS: {
     };
     readonly reconstruct: {
         description: string;
-        processor: typeof reconstructToCode;
+        processor: (a: import("../r-bridge").NormalizedAst<unknown>, s: Set<import("../r-bridge").NodeId>) => import("../slicing").ReconstructionResult;
         required: "once-per-slice";
         printer: {
             0: typeof internalPrinter;
@@ -127,7 +287,7 @@ export declare const STEPS: {
     };
     readonly parse: {
         description: string;
-        processor: typeof retrieveXmlFromRCode;
+        processor: (r: import("../r-bridge").RParseRequest, s: import("../r-bridge").RShell | import("../r-bridge/shell-executor").RShellExecutor) => import("ts-essentials").AsyncOrSync<string>;
         required: "once-per-file";
         printer: {
             0: typeof internalPrinter;
@@ -137,7 +297,179 @@ export declare const STEPS: {
     };
     readonly normalize: {
         description: string;
-        processor: typeof normalize;
+        processor: (j: string, h: {
+            values?: {
+                onNumber?: {
+                    before?: ((data: import("../r-bridge").ParserData, inputObj: import("../r-bridge").XmlBasedJson) => void | import("../r-bridge").XmlBasedJson | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RNumber<import("../r-bridge").NoInfo> | import("../r-bridge").RLogical<import("../r-bridge").NoInfo> | import("../r-bridge").RSymbol<import("../r-bridge").NoInfo, "NA">) => void | import("../r-bridge").RNumber<import("../r-bridge").NoInfo> | import("../r-bridge").RLogical<import("../r-bridge").NoInfo> | import("../r-bridge").RSymbol<import("../r-bridge").NoInfo, "NA"> | undefined) | undefined;
+                } | undefined;
+                onString?: {
+                    before?: ((data: import("../r-bridge").ParserData, inputObj: import("../r-bridge").XmlBasedJson) => void | import("../r-bridge").XmlBasedJson | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RString<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RString<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+                onSymbol?: {
+                    unknown?: ((data: import("../r-bridge").ParserData, inputObjs: import("../r-bridge").NamedXmlBasedJson[]) => void | import("../r-bridge").RSymbol<import("../r-bridge").NoInfo, string> | undefined) | undefined;
+                    before?: ((data: import("../r-bridge").ParserData, inputObjs: import("../r-bridge").NamedXmlBasedJson[]) => void | import("../r-bridge").NamedXmlBasedJson[] | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RSymbol<import("../r-bridge").NoInfo, string> | undefined) => void | import("../r-bridge").RSymbol<import("../r-bridge").NoInfo, string> | undefined) | undefined;
+                } | undefined;
+            } | undefined;
+            onAccess?: {
+                unknown?: ((data: import("../r-bridge").ParserData, inputObjs: import("../r-bridge").NamedXmlBasedJson[]) => void | import("../r-bridge").RAccess | undefined) | undefined;
+                before?: ((data: import("../r-bridge").ParserData, inputObjs: import("../r-bridge").NamedXmlBasedJson[]) => void | import("../r-bridge").NamedXmlBasedJson[] | undefined) | undefined;
+                after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RAccess) => void | import("../r-bridge").RAccess | undefined) | undefined;
+            } | undefined;
+            other?: {
+                onComment?: {
+                    before?: ((data: import("../r-bridge").ParserData, inputObj: import("../r-bridge").XmlBasedJson) => void | import("../r-bridge").XmlBasedJson | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RComment<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RComment<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+                onLineDirective?: {
+                    before?: ((data: import("../r-bridge").ParserData, inputObj: import("../r-bridge").XmlBasedJson) => void | import("../r-bridge").XmlBasedJson | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RComment<import("../r-bridge").NoInfo> | import("../r-bridge").RLineDirective<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RComment<import("../r-bridge").NoInfo> | import("../r-bridge").RLineDirective<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+            } | undefined;
+            operators?: {
+                onBinary?: {
+                    unknown?: ((data: import("../r-bridge").ParserData, input: {
+                        lhs: import("../r-bridge").NamedXmlBasedJson;
+                        operator: import("../r-bridge").NamedXmlBasedJson;
+                        rhs: import("../r-bridge").NamedXmlBasedJson;
+                    }) => void | import("../r-bridge").RNode | undefined) | undefined;
+                    before?: ((data: import("../r-bridge").ParserData, input: {
+                        flavor: import("../r-bridge").BinaryOperatorFlavor | "special" | "pipe";
+                        lhs: import("../r-bridge").NamedXmlBasedJson;
+                        operator: import("../r-bridge").NamedXmlBasedJson;
+                        rhs: import("../r-bridge").NamedXmlBasedJson;
+                    }) => void | {
+                        flavor: import("../r-bridge").BinaryOperatorFlavor | "special" | "pipe";
+                        lhs: import("../r-bridge").NamedXmlBasedJson;
+                        operator: import("../r-bridge").NamedXmlBasedJson;
+                        rhs: import("../r-bridge").NamedXmlBasedJson;
+                    } | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RBinaryOp<import("../r-bridge").NoInfo> | import("../r-bridge").RPipe<import("../r-bridge").NoInfo> | import("../r-bridge").RFunctionCall) => void | import("../r-bridge").RBinaryOp<import("../r-bridge").NoInfo> | import("../r-bridge").RPipe<import("../r-bridge").NoInfo> | import("../r-bridge").RFunctionCall | undefined) | undefined;
+                } | undefined;
+                onUnary?: {
+                    unknown?: ((data: import("../r-bridge").ParserData, input: {
+                        operator: import("../r-bridge").NamedXmlBasedJson;
+                        operand: import("../r-bridge").NamedXmlBasedJson;
+                    }) => void | import("../r-bridge").RNode | undefined) | undefined;
+                    before?: ((data: import("../r-bridge").ParserData, input: {
+                        flavor: import("../r-bridge").UnaryOperatorFlavor;
+                        operator: import("../r-bridge").NamedXmlBasedJson;
+                        operand: import("../r-bridge").NamedXmlBasedJson;
+                    }) => void | {
+                        flavor: import("../r-bridge").UnaryOperatorFlavor;
+                        operator: import("../r-bridge").NamedXmlBasedJson;
+                        operand: import("../r-bridge").NamedXmlBasedJson;
+                    } | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RUnaryOp<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RUnaryOp<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+            } | undefined;
+            loops?: {
+                onForLoop?: {
+                    unknown?: ((data: import("../r-bridge").ParserData, input: {
+                        forToken: import("../r-bridge").NamedXmlBasedJson;
+                        condition: import("../r-bridge").NamedXmlBasedJson;
+                        body: import("../r-bridge").NamedXmlBasedJson;
+                    }) => void | import("../r-bridge").RForLoop<import("../r-bridge").NoInfo> | undefined) | undefined;
+                    before?: ((data: import("../r-bridge").ParserData, input: {
+                        forToken: import("../r-bridge").NamedXmlBasedJson;
+                        condition: import("../r-bridge").NamedXmlBasedJson;
+                        body: import("../r-bridge").NamedXmlBasedJson;
+                    }) => void | {
+                        forToken: import("../r-bridge").NamedXmlBasedJson;
+                        condition: import("../r-bridge").NamedXmlBasedJson;
+                        body: import("../r-bridge").NamedXmlBasedJson;
+                    } | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RForLoop<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RForLoop<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+                onRepeatLoop?: {
+                    unknown?: ((data: import("../r-bridge").ParserData, input: {
+                        repeatToken: import("../r-bridge").NamedXmlBasedJson;
+                        body: import("../r-bridge").NamedXmlBasedJson;
+                    }) => void | import("../r-bridge").RRepeatLoop<import("../r-bridge").NoInfo> | undefined) | undefined;
+                    before?: ((data: import("../r-bridge").ParserData, input: {
+                        repeatToken: import("../r-bridge").NamedXmlBasedJson;
+                        body: import("../r-bridge").NamedXmlBasedJson;
+                    }) => void | {
+                        repeatToken: import("../r-bridge").NamedXmlBasedJson;
+                        body: import("../r-bridge").NamedXmlBasedJson;
+                    } | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RRepeatLoop<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RRepeatLoop<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+                onWhileLoop?: {
+                    unknown?: ((data: import("../r-bridge").ParserData, input: {
+                        whileToken: import("../r-bridge").NamedXmlBasedJson;
+                        leftParen: import("../r-bridge").NamedXmlBasedJson;
+                        condition: import("../r-bridge").NamedXmlBasedJson;
+                        rightParen: import("../r-bridge").NamedXmlBasedJson;
+                        body: import("../r-bridge").NamedXmlBasedJson;
+                    }) => void | import("../r-bridge").RWhileLoop<import("../r-bridge").NoInfo> | undefined) | undefined;
+                    before?: ((data: import("../r-bridge").ParserData, input: {
+                        whileToken: import("../r-bridge").NamedXmlBasedJson;
+                        leftParen: import("../r-bridge").NamedXmlBasedJson;
+                        condition: import("../r-bridge").NamedXmlBasedJson;
+                        rightParen: import("../r-bridge").NamedXmlBasedJson;
+                        body: import("../r-bridge").NamedXmlBasedJson;
+                    }) => void | {
+                        whileToken: import("../r-bridge").NamedXmlBasedJson;
+                        leftParen: import("../r-bridge").NamedXmlBasedJson;
+                        condition: import("../r-bridge").NamedXmlBasedJson;
+                        rightParen: import("../r-bridge").NamedXmlBasedJson;
+                        body: import("../r-bridge").NamedXmlBasedJson;
+                    } | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RWhileLoop<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RWhileLoop<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+                onBreak?: {
+                    before?: ((data: import("../r-bridge").ParserData, input: import("../r-bridge").XmlBasedJson) => void | import("../r-bridge").XmlBasedJson | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RBreak<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RBreak<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+                onNext?: {
+                    before?: ((data: import("../r-bridge").ParserData, input: import("../r-bridge").XmlBasedJson) => void | import("../r-bridge").XmlBasedJson | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RNext<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RNext<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+            } | undefined;
+            functions?: {
+                onFunctionDefinition?: {
+                    unknown?: ((data: import("../r-bridge").ParserData, mappedWithName: import("../r-bridge").NamedXmlBasedJson[]) => void | import("../r-bridge").RFunctionDefinition<import("../r-bridge").NoInfo> | undefined) | undefined;
+                    before?: ((data: import("../r-bridge").ParserData, mappedWithName: import("../r-bridge").NamedXmlBasedJson[]) => void | import("../r-bridge").NamedXmlBasedJson[] | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RFunctionDefinition<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RFunctionDefinition<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+                onParameter?: {
+                    unknown?: ((data: import("../r-bridge").ParserData, mappedWithName: import("../r-bridge").NamedXmlBasedJson[]) => void | import("../r-bridge").RParameter<import("../r-bridge").NoInfo> | undefined) | undefined;
+                    before?: ((data: import("../r-bridge").ParserData, mappedWithName: import("../r-bridge").NamedXmlBasedJson[]) => void | import("../r-bridge").NamedXmlBasedJson[] | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RParameter<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RParameter<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+                onFunctionCall?: {
+                    unknown?: ((data: import("../r-bridge").ParserData, mappedWithName: import("../r-bridge").NamedXmlBasedJson[]) => void | import("../r-bridge").RBreak<import("../r-bridge").NoInfo> | import("../r-bridge").RNext<import("../r-bridge").NoInfo> | import("../r-bridge").RFunctionCall | undefined) | undefined;
+                    before?: ((data: import("../r-bridge").ParserData, mappedWithName: import("../r-bridge").NamedXmlBasedJson[]) => void | import("../r-bridge").NamedXmlBasedJson[] | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RBreak<import("../r-bridge").NoInfo> | import("../r-bridge").RNext<import("../r-bridge").NoInfo> | import("../r-bridge").RFunctionCall) => void | import("../r-bridge").RBreak<import("../r-bridge").NoInfo> | import("../r-bridge").RNext<import("../r-bridge").NoInfo> | import("../r-bridge").RFunctionCall | undefined) | undefined;
+                } | undefined;
+                onArgument?: {
+                    unknown?: ((data: import("../r-bridge").ParserData, mappedWithName: import("../r-bridge").NamedXmlBasedJson[]) => void | import("../r-bridge").RArgument<import("../r-bridge").NoInfo> | undefined) | undefined;
+                    before?: ((data: import("../r-bridge").ParserData, mappedWithName: import("../r-bridge").NamedXmlBasedJson[]) => void | import("../r-bridge").NamedXmlBasedJson[] | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RArgument<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RArgument<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+            } | undefined;
+            expression?: {
+                onExpression?: {
+                    before?: ((data: import("../r-bridge").ParserData, inputObj: import("../r-bridge").XmlBasedJson) => void | import("../r-bridge").XmlBasedJson | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RNode) => void | import("../r-bridge").RNode | undefined) | undefined;
+                } | undefined;
+            } | undefined;
+            control?: {
+                onIfThen?: {
+                    unknown?: ((data: import("../r-bridge").ParserData, tokens: [ifToken: import("../r-bridge").NamedXmlBasedJson, leftParen: import("../r-bridge").NamedXmlBasedJson, condition: import("../r-bridge").NamedXmlBasedJson, rightParen: import("../r-bridge").NamedXmlBasedJson, then: import("../r-bridge").NamedXmlBasedJson]) => void | import("../r-bridge").RIfThenElse<import("../r-bridge").NoInfo> | undefined) | undefined;
+                    before?: ((data: import("../r-bridge").ParserData, tokens: [ifToken: import("../r-bridge").NamedXmlBasedJson, leftParen: import("../r-bridge").NamedXmlBasedJson, condition: import("../r-bridge").NamedXmlBasedJson, rightParen: import("../r-bridge").NamedXmlBasedJson, then: import("../r-bridge").NamedXmlBasedJson]) => void | [ifToken: import("../r-bridge").NamedXmlBasedJson, leftParen: import("../r-bridge").NamedXmlBasedJson, condition: import("../r-bridge").NamedXmlBasedJson, rightParen: import("../r-bridge").NamedXmlBasedJson, then: import("../r-bridge").NamedXmlBasedJson] | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RIfThenElse<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RIfThenElse<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+                onIfThenElse?: {
+                    unknown?: ((data: import("../r-bridge").ParserData, tokens: [ifToken: import("../r-bridge").NamedXmlBasedJson, leftParen: import("../r-bridge").NamedXmlBasedJson, condition: import("../r-bridge").NamedXmlBasedJson, rightParen: import("../r-bridge").NamedXmlBasedJson, then: import("../r-bridge").NamedXmlBasedJson, elseToken: import("../r-bridge").NamedXmlBasedJson, elseBlock: import("../r-bridge").NamedXmlBasedJson]) => void | import("../r-bridge").RIfThenElse<import("../r-bridge").NoInfo> | undefined) | undefined;
+                    before?: ((data: import("../r-bridge").ParserData, tokens: [ifToken: import("../r-bridge").NamedXmlBasedJson, leftParen: import("../r-bridge").NamedXmlBasedJson, condition: import("../r-bridge").NamedXmlBasedJson, rightParen: import("../r-bridge").NamedXmlBasedJson, then: import("../r-bridge").NamedXmlBasedJson, elseToken: import("../r-bridge").NamedXmlBasedJson, elseBlock: import("../r-bridge").NamedXmlBasedJson]) => void | [ifToken: import("../r-bridge").NamedXmlBasedJson, leftParen: import("../r-bridge").NamedXmlBasedJson, condition: import("../r-bridge").NamedXmlBasedJson, rightParen: import("../r-bridge").NamedXmlBasedJson, then: import("../r-bridge").NamedXmlBasedJson, elseToken: import("../r-bridge").NamedXmlBasedJson, elseBlock: import("../r-bridge").NamedXmlBasedJson] | undefined) | undefined;
+                    after?: ((data: import("../r-bridge").ParserData, result: import("../r-bridge").RIfThenElse<import("../r-bridge").NoInfo>) => void | import("../r-bridge").RIfThenElse<import("../r-bridge").NoInfo> | undefined) | undefined;
+                } | undefined;
+            } | undefined;
+        } | undefined, g: import("../r-bridge").IdGenerator<import("../r-bridge").NoInfo> | undefined) => import("../r-bridge").NormalizedAst<import("../r-bridge").ParentInformation>;
         required: "once-per-file";
         printer: {
             0: typeof internalPrinter;
@@ -149,7 +481,7 @@ export declare const STEPS: {
     };
     readonly dataflow: {
         description: string;
-        processor: typeof produceDataFlowGraph;
+        processor: (r: import("../r-bridge").RParseRequest, a: import("../r-bridge").NormalizedAst<import("../r-bridge").ParentInformation>) => import("../dataflow/internal/info").DataflowInformation;
         required: "once-per-file";
         printer: {
             0: typeof internalPrinter;
@@ -159,16 +491,8 @@ export declare const STEPS: {
             4: typeof dataflowGraphToMermaidUrl;
         };
     };
-    readonly ai: {
-        description: string;
-        processor: (_: import("../r-bridge").NormalizedAst<import("../r-bridge").ParentInformation>, dfInfo: DataflowInformation) => DataflowInformation;
-        required: "once-per-file";
-        printer: {
-            0: typeof internalPrinter;
-        };
-    };
 };
-export declare const LAST_PER_FILE_STEP: "ai";
+export declare const LAST_PER_FILE_STEP: "dataflow";
 export declare const LAST_STEP: "reconstruct";
 export type StepName = keyof typeof STEPS;
 export type Step<Name extends StepName> = typeof STEPS[Name];

package/core/steps.js

@@ -23,10 +23,11 @@ const normalize_printer_1 = require("./print/normalize-printer");
 const assert_1 = require("../util/assert");
 const parse_printer_1 = require("./print/parse-printer");
 const dataflow_printer_1 = require("./print/dataflow-printer");
+const parser_1 = require("../r-bridge/lang-4.x/ast/parser/json/parser");
 exports.STEPS_PER_FILE = {
     'parse': {
         description: 'Parse the given R code into an AST',
-        processor: r_bridge_1.retrieveXmlFromRCode,
+        processor: (r, s) => (0, r_bridge_1.retrieveParseDataFromRCode)(r, s),
         required: 'once-per-file',
         printer: {
             [0 /* StepOutputFormat.Internal */]: print_1.internalPrinter,
@@ -36,7 +37,7 @@ exports.STEPS_PER_FILE = {
     },
     'normalize': {
         description: 'Normalize the AST to flowR\'s AST (first step of the normalization)',
-        processor: r_bridge_1.normalize,
+        processor: (j, h, g) => (0, parser_1.normalize)(j, h, g),
         required: 'once-per-file',
         printer: {
             [0 /* StepOutputFormat.Internal */]: print_1.internalPrinter,
@@ -48,7 +49,7 @@ exports.STEPS_PER_FILE = {
     },
     'dataflow': {
         description: 'Construct the dataflow graph',
-        processor: dataflow_1.produceDataFlowGraph,
+        processor: (r, a) => (0, dataflow_1.produceDataFlowGraph)(r, a),
         required: 'once-per-file',
         printer: {
             [0 /* StepOutputFormat.Internal */]: print_1.internalPrinter,
@@ -57,20 +58,12 @@ exports.STEPS_PER_FILE = {
             [3 /* StepOutputFormat.Mermaid */]: dataflow_printer_1.dataflowGraphToMermaid,
             [4 /* StepOutputFormat.MermaidUrl */]: dataflow_printer_1.dataflowGraphToMermaidUrl
         }
-    },
-    'ai': {
-        description: 'Run abstract interpretation',
-        processor: (_, dfInfo) => dfInfo, // Use runAbstractInterpretation here when it's ready
-        required: 'once-per-file',
-        printer: {
-            [0 /* StepOutputFormat.Internal */]: print_1.internalPrinter
-        }
     }
 };
 exports.STEPS_PER_SLICE = {
     'slice': {
         description: 'Calculate the actual static slice from the dataflow graph and the given slicing criteria',
-        processor: slicing_1.staticSlicing,
+        processor: (d, a, c) => (0, slicing_1.staticSlicing)(d, a, c),
         required: 'once-per-slice',
         printer: {
             [0 /* StepOutputFormat.Internal */]: print_1.internalPrinter
@@ -78,7 +71,7 @@ exports.STEPS_PER_SLICE = {
     },
     'reconstruct': {
         description: 'Reconstruct R code from the static slice',
-        processor: slicing_1.reconstructToCode,
+        processor: (a, s) => (0, slicing_1.reconstructToCode)(a, s),
         required: 'once-per-slice',
         printer: {
             [0 /* StepOutputFormat.Internal */]: print_1.internalPrinter
@@ -86,7 +79,7 @@ exports.STEPS_PER_SLICE = {
     }
 };
 exports.STEPS = { ...exports.STEPS_PER_FILE, ...exports.STEPS_PER_SLICE };
-exports.LAST_PER_FILE_STEP = 'ai';
+exports.LAST_PER_FILE_STEP = 'dataflow';
 exports.LAST_STEP = 'reconstruct';
 function executeSingleSubStep(subStep, ...input) {
     // @ts-expect-error - this is safe, as we know that the function arguments are correct by 'satisfies', this saves an explicit cast with 'as'

package/dataflow/environments/environment.js

@@ -77,6 +77,14 @@ exports.DefaultEnvironmentMemory = new Map([
                 definedAt: exports.BuiltIn,
                 name: 'print',
                 nodeId: exports.BuiltIn
+            }]],
+    ['source', [{
+                kind: 'built-in-function',
+                scope: scopes_1.GlobalScope,
+                used: 'always',
+                definedAt: exports.BuiltIn,
+                name: 'source',
+                nodeId: exports.BuiltIn
             }]]
 ]);
 function initializeCleanEnvironments() {

package/dataflow/environments/register.js

@@ -10,6 +10,7 @@ const assert_1 = require("../../util/assert");
  */
 function define(definition, withinScope, environments) {
     let newEnvironments = environments;
+    (0, assert_1.guard)(withinScope === definition.scope, 'Mismatching scopes');
     if (withinScope === scopes_1.LocalScope) {
         newEnvironments = (0, environment_1.cloneEnvironments)(environments, false);
         newEnvironments.current.memory.set(definition.name, [definition]);

package/dataflow/extractor.d.ts

@@ -1,6 +1,6 @@
-import type { NormalizedAst, ParentInformation, RBinaryOp } from '../r-bridge';
+import type { NormalizedAst, ParentInformation, RBinaryOp, RParseRequest } from '../r-bridge';
 import type { DataflowInformation } from './internal/info';
 import type { DataflowProcessorInformation } from './processor';
 import type { DataflowScopeName } from './environments';
-export declare function produceDataFlowGraph<OtherInfo>(ast: NormalizedAst<OtherInfo & ParentInformation>, initialScope?: DataflowScopeName): DataflowInformation;
+export declare function produceDataFlowGraph<OtherInfo>(request: RParseRequest, ast: NormalizedAst<OtherInfo & ParentInformation>, initialScope?: DataflowScopeName): DataflowInformation;
 export declare function processBinaryOp<OtherInfo>(node: RBinaryOp<OtherInfo & ParentInformation>, data: DataflowProcessorInformation<OtherInfo & ParentInformation>): DataflowInformation;