@eagleoutice/flowr 2.6.1 → 2.6.2

package/core/pipeline-executor.js

@@ -22,13 +22,13 @@ const assert_1 = require("../util/assert");
  * ```ts
  * const stepper = new PipelineExecutor( ... )
  * while(stepper.hasNextStep()) {
- *     await stepper.nextStep()
+ * await stepper.nextStep()
  * }
  *
  * stepper.switchToRequestStage()
  *
  * while(stepper.hasNextStep()) {
- *     await stepper.nextStep()
+ * await stepper.nextStep()
  * }
  *
  * const result = stepper.getResults()
@@ -66,10 +66,10 @@ const assert_1 = require("../util/assert");
  *
  * ```ts
  * const slicer = new PipelineExecutor(DEFAULT_SLICING_PIPELINE, {
- *    parser:    new RShell(),
- *    // of course, the criterion and request given here are just examples, you can use whatever you want to slice!
- *    criterion: ['2@b'],
- *    request:   requestFromInput('b <- 3; x <- 5\ncat(b)'),
+ * parser:    new RShell(),
+ * // of course, the criterion and request given here are just examples, you can use whatever you want to slice!
+ * criterion: ['2@b'],
+ * request:   requestFromInput('b <- 3; x <- 5\ncat(b)'),
  * })
  * const result = await slicer.allRemainingSteps()
  * ```
@@ -80,12 +80,10 @@ const assert_1 = require("../util/assert");
  * stepper.updateRequest({ criterion: ['1@x'] })
  * const result2 = await stepper.allRemainingSteps()
  * ```
- *
  * @note Even though using the pipeline executor introduces a small performance overhead, we consider
  * it to be the baseline for performance benchmarking. It may very well be possible to squeeze out a little bit more by
  * directly constructing the steps in the right order. However, we consider this to be negligible when compared with the time required
  * for, for example, the dataflow analysis of larger files.
- *
  * @see PipelineExecutor#allRemainingSteps
  * @see PipelineExecutor#nextStep
  */
@@ -103,7 +101,6 @@ class PipelineExecutor {
      *
      * Please see {@link createDataflowPipeline} and friends for engine agnostic shortcuts to create a pipeline executor.
      * And in general, please prefer using the {@link FlowrAnalyzer} and its {@link FlowrAnalyzerBuilder|builder} to create and use an analyzer instance.
-     *
      * @param pipeline - The {@link Pipeline} to execute, probably created with {@link createPipeline}.
      * @param input    - External {@link PipelineInput|configuration and input} required to execute the given pipeline.
      * @param flowrConfig   - The flowr config containing the built-in definitions
@@ -122,7 +119,6 @@ class PipelineExecutor {
     }
     /**
      * Retrieve the current {@link PipelineStepStage|stage} the pipeline executor is in.
-     *
      * @see currentExecutionStage
      * @see switchToRequestStage
      * @see PipelineStepStage
@@ -135,7 +131,6 @@ class PipelineExecutor {
      *
      * This will fail if either a step change is currently not valid (as not all steps have been executed),
      * or if there is no next stage (i.e., the pipeline is already completed or in the last stage).
-     *
      * @see PipelineExecutor
      * @see getCurrentStage
      */
@@ -146,10 +141,9 @@ class PipelineExecutor {
     }
     /**
      * Returns the results of the pipeline.
-     *
      * @param intermediate - Normally you can only receive the results *after* the stepper completed the step of interested.
-     * 		 However, if you pass `true` to this parameter, you can also receive the results *before* the {@link PipelineExecutor|pipeline executor}
-     * 		 completed, although the typing system then cannot guarantee which of the steps have already happened.
+     *                       However, if you pass `true` to this parameter, you can also receive the results *before* the {@link PipelineExecutor|pipeline executor}
+     *                       completed, although the typing system then cannot guarantee which of the steps have already happened.
      */
     getResults(intermediate = false) {
         (0, assert_1.guard)(intermediate || this.stepCounter >= this.length, 'Without the intermediate flag, the pipeline must be completed before providing access to the results.');
@@ -168,9 +162,8 @@ class PipelineExecutor {
      * Execute the next {@link IPipelineStep|step} and return the name of the {@link IPipelineStep|step} that was executed,
      * so you can guard if the {@link IPipelineStep|step} differs from what you are interested in.
      * Furthermore, it returns the {@link IPipelineStep|step's} result.
-     *
      * @param expectedStepName - A safeguard if you want to retrieve the result.
-     * 												   If given, it causes the execution to fail if the next step is not the one you expect.
+     *                           If given, it causes the execution to fail if the next step is not the one you expect.
      *
      * _Without `expectedStepName`, please refrain from accessing the result, as you have no safeguards if the pipeline changes._
      */
@@ -193,7 +186,6 @@ class PipelineExecutor {
     /**
      * This only makes sense if you have already run a request and want to re-use the per-file results for a new one.
      * (or if for whatever reason, you did not pass information for the pipeline with the constructor).
-     *
      * @param newRequestData - Data for the new request
      */
     updateRequest(newRequestData) {
@@ -214,7 +206,6 @@ class PipelineExecutor {
      * @param canSwitchStage - If true, automatically switch to the request stage if necessary
      *       (i.e., this is what you want if you have never executed {@link nextStep} and you want to execute *all* steps).
      *       However, passing false allows you to only execute the steps of the 'once-per-file' stage (i.e., the steps that can be cached).
-     *
      * @note There is a small type difference if you pass 'false' and already have manually switched to the 'once-per-request' stage.
      *       Because now, the results of these steps are no longer part of the result type (although they are still included).
      *       In such a case, you may be better off with simply passing 'true' as the function will detect that the stage is already switched.

package/core/print/dataflow-printer.d.ts

@@ -2,6 +2,25 @@ import type { DataflowInformation } from '../../dataflow/info';
 import type { QuadSerializationConfiguration } from '../../util/quads';
 /** Should work with larger things as well */
 export declare function dataflowGraphToJson(df: DataflowInformation): string;
+/**
+ * Convert the dataflow graph to a mermaid string.
+ * @see {@link graphToMermaid}
+ * @see {@link dataflowGraphToMermaidUrl}
+ * @see {@link dataflowGraphToJson}
+ */
 export declare function dataflowGraphToMermaid(df: DataflowInformation): string;
+/**
+ * Convert the dataflow graph to a mermaid URL.
+ * @see {@link graphToMermaidUrl}
+ * @see {@link dataflowGraphToMermaid}
+ * @see {@link dataflowGraphToJson}
+ */
 export declare function dataflowGraphToMermaidUrl(df: DataflowInformation): string;
+/**
+ * Transforms the dataflow graph into a quad serialization.
+ * @see {@link df2quads}
+ * @see {@link dataflowGraphToMermaidUrl}
+ * @see {@link dataflowGraphToMermaid}
+ * @see {@link dataflowGraphToJson}
+ */
 export declare function dataflowGraphToQuads(df: DataflowInformation, config: QuadSerializationConfiguration): string;

package/core/print/dataflow-printer.js

@@ -52,12 +52,31 @@ function objectJson(df) {
 function dataflowGraphToJson(df) {
     return objectJson(df);
 }
+/**
+ * Convert the dataflow graph to a mermaid string.
+ * @see {@link graphToMermaid}
+ * @see {@link dataflowGraphToMermaidUrl}
+ * @see {@link dataflowGraphToJson}
+ */
 function dataflowGraphToMermaid(df) {
     return (0, dfg_1.graphToMermaid)({ graph: df.graph }).string;
 }
+/**
+ * Convert the dataflow graph to a mermaid URL.
+ * @see {@link graphToMermaidUrl}
+ * @see {@link dataflowGraphToMermaid}
+ * @see {@link dataflowGraphToJson}
+ */
 function dataflowGraphToMermaidUrl(df) {
     return (0, dfg_1.graphToMermaidUrl)(df.graph);
 }
+/**
+ * Transforms the dataflow graph into a quad serialization.
+ * @see {@link df2quads}
+ * @see {@link dataflowGraphToMermaidUrl}
+ * @see {@link dataflowGraphToMermaid}
+ * @see {@link dataflowGraphToJson}
+ */
 function dataflowGraphToQuads(df, config) {
     return (0, quads_1.df2quads)(df.graph, config);
 }

package/core/print/normalize-printer.d.ts

@@ -1,7 +1,27 @@
-import type { QuadSerializationConfiguration } from '../../util/quads';
+import { type QuadSerializationConfiguration } from '../../util/quads';
 import type { NormalizedAst } from '../../r-bridge/lang-4.x/ast/model/processing/decorate';
 /** Should work with larger things as well */
 export declare function normalizedAstToJson(ast: NormalizedAst): string;
+/**
+ * Normalized AST to quads serialization
+ * @see {@link serialize2quads}
+ * @see {@link QuadSerializationConfiguration}
+ * @see {@link normalizedAstToMermaid}
+ * @see {@link normalizedAstToMermaidUrl}
+ * @see {@link printNormalizedAstToMermaidUrl}
+ */
 export declare function normalizedAstToQuads(ast: NormalizedAst, config: QuadSerializationConfiguration): string;
+/**
+ * Serialize the normalized AST to mermaid format
+ * @see {@link normalizedAstToMermaid}
+ * @see {@link normalizedAstToMermaidUrl}
+ * @see {@link printNormalizedAstToMermaidUrl}
+ */
 export declare function printNormalizedAstToMermaid(ast: NormalizedAst): string;
+/**
+ * Serialize the normalized AST to a mermaid URL
+ * @see {@link normalizedAstToMermaid}
+ * @see {@link normalizedAstToMermaidUrl}
+ * @see {@link printNormalizedAstToMermaid}
+ */
 export declare function printNormalizedAstToMermaidUrl(ast: NormalizedAst): string;

package/core/print/normalize-printer.js

@@ -17,12 +17,32 @@ function normalizedAstToJson(ast) {
         return (0, json_1.jsonReplacer)(k, v);
     });
 }
+/**
+ * Normalized AST to quads serialization
+ * @see {@link serialize2quads}
+ * @see {@link QuadSerializationConfiguration}
+ * @see {@link normalizedAstToMermaid}
+ * @see {@link normalizedAstToMermaidUrl}
+ * @see {@link printNormalizedAstToMermaidUrl}
+ */
 function normalizedAstToQuads(ast, config) {
     return (0, quads_1.serialize2quads)(ast.ast, config);
 }
+/**
+ * Serialize the normalized AST to mermaid format
+ * @see {@link normalizedAstToMermaid}
+ * @see {@link normalizedAstToMermaidUrl}
+ * @see {@link printNormalizedAstToMermaidUrl}
+ */
 function printNormalizedAstToMermaid(ast) {
     return (0, ast_1.normalizedAstToMermaid)(ast.ast);
 }
+/**
+ * Serialize the normalized AST to a mermaid URL
+ * @see {@link normalizedAstToMermaid}
+ * @see {@link normalizedAstToMermaidUrl}
+ * @see {@link printNormalizedAstToMermaid}
+ */
 function printNormalizedAstToMermaidUrl(ast) {
     return (0, ast_1.normalizedAstToMermaidUrl)(ast.ast);
 }

package/core/print/parse-printer.d.ts

@@ -1,2 +1,7 @@
-import type { QuadSerializationConfiguration } from '../../util/quads';
+import { type QuadSerializationConfiguration } from '../../util/quads';
+/**
+ * Parse R code and serialize it to quads
+ * @see {@link serialize2quads}
+ * @see {@link QuadSerializationConfiguration}
+ */
 export declare function parseToQuads(code: string, config: QuadSerializationConfiguration): string;

package/core/print/parse-printer.js

@@ -3,6 +3,11 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.parseToQuads = parseToQuads;
 const quads_1 = require("../../util/quads");
 const format_1 = require("../../r-bridge/lang-4.x/ast/parser/json/format");
+/**
+ * Parse R code and serialize it to quads
+ * @see {@link serialize2quads}
+ * @see {@link QuadSerializationConfiguration}
+ */
 function parseToQuads(code, config) {
     return (0, quads_1.serialize2quads)((0, format_1.convertPreparedParsedData)((0, format_1.prepareParsedData)(code)), config);
 }

package/core/print/print.d.ts

@@ -37,7 +37,6 @@ export declare const enum StepOutputFormat {
 }
 /**
  * Helper function to support the {@link Internal} format, as it is simply returning the input.
- *
  * @see IPipelineStepPrinter
  */
 export declare function internalPrinter<Input>(input: Input): Input;

package/core/print/print.js

@@ -5,7 +5,6 @@ exports.printStepResult = printStepResult;
 const assert_1 = require("../../util/assert");
 /**
  * Helper function to support the {@link Internal} format, as it is simply returning the input.
- *
  * @see IPipelineStepPrinter
  */
 function internalPrinter(input) {

package/core/print/slice-diff-ansi.d.ts

@@ -1,3 +1,6 @@
 import type { NodeId } from '../../r-bridge/lang-4.x/ast/model/processing/node-id';
 import type { NormalizedAst } from '../../r-bridge/lang-4.x/ast/model/processing/decorate';
+/**
+ * Print a slice diff with ANSI colors
+ */
 export declare function sliceDiffAnsi(slice: ReadonlySet<NodeId>, normalized: NormalizedAst, criteriaIds: ReadonlySet<NodeId>, originalCode: string): string;

package/core/print/slice-diff-ansi.js

@@ -26,6 +26,9 @@ function highlight(s, selected) {
     const primary = ansi_1.ansiFormatter.format(s, { color: 3 /* Colors.Yellow */, effect: ansi_1.ColorEffect.Foreground, style: 1 /* FontStyles.Bold */ });
     return selected ? ansi_1.ansiFormatter.format(primary, { style: 4 /* FontStyles.Underline */ }) : primary;
 }
+/**
+ * Print a slice diff with ANSI colors
+ */
 function sliceDiffAnsi(slice, normalized, criteriaIds, originalCode) {
     let importantLocations = Array.from(normalized.idMap.entries())
         .filter(([id, { location }]) => slice.has(id) && (0, assert_1.isNotUndefined)(location))

package/core/steps/all/core/00-parse.d.ts

@@ -1,7 +1,7 @@
 import { internalPrinter } from '../../../print/print';
 import { PipelineStepStage } from '../../pipeline-step';
 import type { QuadSerializationConfiguration } from '../../../../util/quads';
-import type { ParseRequiredInput } from '../../../../r-bridge/parser';
+import { type ParseRequiredInput } from '../../../../r-bridge/parser';
 export declare const PARSE_WITH_R_SHELL_STEP: {
     readonly name: "parse";
     readonly humanReadableName: "parse with R shell";

package/core/steps/all/core/01-parse-tree-sitter.d.ts

@@ -1,17 +1,7 @@
 import { PipelineStepStage } from '../../pipeline-step';
 import { internalPrinter } from '../../../print/print';
 import type { Tree } from 'web-tree-sitter';
-import type { ParseRequiredInput } from '../../../../r-bridge/parser';
-export interface ParseStepOutputTS {
-    readonly parsed: Tree;
-}
-export interface TreeSitterParseJson {
-    readonly '.meta': {
-        readonly tokenCount: number;
-        readonly tokenCountNoComments: number;
-    };
-    readonly str: string;
-}
+import { type ParseRequiredInput } from '../../../../r-bridge/parser';
 export declare const PARSE_WITH_TREE_SITTER_STEP: {
     readonly name: "parse";
     readonly humanReadableName: "parse with tree-sitter";

package/core/steps/all/core/10-normalize.d.ts

@@ -12,6 +12,9 @@ export interface NormalizeRequiredInput {
     /** assume the input stems from a file and use the given path as the file path for the AST */
     readonly overwriteFilePath?: string;
 }
+/**
+ * Get the file attached to the current request, if any
+ */
 export declare function getCurrentRequestFile(request: RParseRequests | undefined): string | undefined;
 declare function processor(results: {
     parse?: ParseStepOutput<string>;

package/core/steps/all/core/10-normalize.js

@@ -5,6 +5,9 @@ exports.getCurrentRequestFile = getCurrentRequestFile;
 const print_1 = require("../../../print/print");
 const normalize_printer_1 = require("../../../print/normalize-printer");
 const parser_1 = require("../../../../r-bridge/lang-4.x/ast/parser/json/parser");
+/**
+ * Get the file attached to the current request, if any
+ */
 function getCurrentRequestFile(request) {
     if (request === undefined) {
         return undefined;

package/core/steps/all/core/11-normalize-tree-sitter.d.ts

@@ -1,11 +1,12 @@
 import { internalPrinter } from '../../../print/print';
 import { normalizedAstToJson, normalizedAstToQuads, printNormalizedAstToMermaid, printNormalizedAstToMermaidUrl } from '../../../print/normalize-printer';
 import { PipelineStepStage } from '../../pipeline-step';
-import type { NormalizeRequiredInput } from './10-normalize';
-import type { ParseStepOutputTS } from './01-parse-tree-sitter';
+import { type NormalizeRequiredInput } from './10-normalize';
 import type { FlowrConfigOptions } from '../../../../config';
+import type { ParseStepOutput } from '../../../../r-bridge/parser';
+import type { Tree } from 'web-tree-sitter';
 declare function processor(results: {
-    'parse'?: ParseStepOutputTS;
+    'parse'?: ParseStepOutput<Tree>;
 }, input: Partial<NormalizeRequiredInput>, config: FlowrConfigOptions): import("../../../../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst<import("../../../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, import("../../../../r-bridge/lang-4.x/ast/model/model").RNode<import("../../../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation>>;
 export declare const NORMALIZE_TREE_SITTER: {
     readonly name: "normalize";

package/core/steps/pipeline/create-pipeline.d.ts

@@ -1,4 +1,4 @@
-import type { IPipelineStep } from '../pipeline-step';
+import { type IPipelineStep } from '../pipeline-step';
 import type { Pipeline } from './pipeline';
 /**
  * Given a set of {@link IPipelineStep|steps} with their dependencies, this function verifies all requirements of {@link createPipeline}.

package/core/steps/pipeline/default-pipelines.d.ts

@@ -8,20 +8,6 @@ import type { RShell } from '../../../r-bridge/shell';
 import type { TreeSitterExecutor } from '../../../r-bridge/lang-4.x/tree-sitter/tree-sitter-executor';
 import type { FlowrConfigOptions } from '../../../config';
 export declare const DEFAULT_SLICING_PIPELINE: import("./pipeline").Pipeline<{
-    readonly name: "slice";
-    readonly humanReadableName: "static slice";
-    readonly description: "Calculate the actual static slice from the dataflow graph and the given slicing criteria";
-    readonly processor: (results: {
-        dataflow?: import("../../../dataflow/info").DataflowInformation;
-        normalize?: import("../../../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst;
-    }, input: Partial<import("../all/static-slicing/00-slice").SliceRequiredInput>, _config: FlowrConfigOptions) => Readonly<import("../../../slicing/static/slicer-types").SliceResult>;
-    readonly executed: import("../pipeline-step").PipelineStepStage.OncePerRequest;
-    readonly printer: {
-        readonly 0: typeof import("../../print/print").internalPrinter;
-    };
-    readonly dependencies: readonly ["dataflow"];
-    readonly requiredInput: import("../all/static-slicing/00-slice").SliceRequiredInput;
-} | {
     readonly name: "parse";
     readonly humanReadableName: "parse with R shell";
     readonly description: "Parse the given R code into an AST";
@@ -54,6 +40,20 @@ export declare const DEFAULT_SLICING_PIPELINE: import("./pipeline").Pipeline<{
     };
     readonly dependencies: readonly ["parse"];
     readonly requiredInput: import("../all/core/10-normalize").NormalizeRequiredInput;
+} | {
+    readonly name: "slice";
+    readonly humanReadableName: "static slice";
+    readonly description: "Calculate the actual static slice from the dataflow graph and the given slicing criteria";
+    readonly processor: (results: {
+        dataflow?: import("../../../dataflow/info").DataflowInformation;
+        normalize?: import("../../../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst;
+    }, input: Partial<import("../all/static-slicing/00-slice").SliceRequiredInput>, _config: FlowrConfigOptions) => Readonly<import("../../../slicing/static/slicer-types").SliceResult>;
+    readonly executed: import("../pipeline-step").PipelineStepStage.OncePerRequest;
+    readonly printer: {
+        readonly 0: typeof import("../../print/print").internalPrinter;
+    };
+    readonly dependencies: readonly ["dataflow"];
+    readonly requiredInput: import("../all/static-slicing/00-slice").SliceRequiredInput;
 } | {
     readonly humanReadableName: "dataflow";
     readonly processor: (results: {
@@ -92,20 +92,6 @@ export declare const DEFAULT_SLICING_PIPELINE: import("./pipeline").Pipeline<{
     readonly requiredInput: import("../all/static-slicing/10-reconstruct").ReconstructRequiredInput;
 }>;
 export declare const DEFAULT_SLICE_AND_RECONSTRUCT_PIPELINE: import("./pipeline").Pipeline<{
-    readonly name: "slice";
-    readonly humanReadableName: "static slice";
-    readonly description: "Calculate the actual static slice from the dataflow graph and the given slicing criteria";
-    readonly processor: (results: {
-        dataflow?: import("../../../dataflow/info").DataflowInformation;
-        normalize?: import("../../../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst;
-    }, input: Partial<import("../all/static-slicing/00-slice").SliceRequiredInput>, _config: FlowrConfigOptions) => Readonly<import("../../../slicing/static/slicer-types").SliceResult>;
-    readonly executed: import("../pipeline-step").PipelineStepStage.OncePerRequest;
-    readonly printer: {
-        readonly 0: typeof import("../../print/print").internalPrinter;
-    };
-    readonly dependencies: readonly ["dataflow"];
-    readonly requiredInput: import("../all/static-slicing/00-slice").SliceRequiredInput;
-} | {
     readonly name: "parse";
     readonly humanReadableName: "parse with R shell";
     readonly description: "Parse the given R code into an AST";
@@ -138,6 +124,20 @@ export declare const DEFAULT_SLICE_AND_RECONSTRUCT_PIPELINE: import("./pipeline"
     };
     readonly dependencies: readonly ["parse"];
     readonly requiredInput: import("../all/core/10-normalize").NormalizeRequiredInput;
+} | {
+    readonly name: "slice";
+    readonly humanReadableName: "static slice";
+    readonly description: "Calculate the actual static slice from the dataflow graph and the given slicing criteria";
+    readonly processor: (results: {
+        dataflow?: import("../../../dataflow/info").DataflowInformation;
+        normalize?: import("../../../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst;
+    }, input: Partial<import("../all/static-slicing/00-slice").SliceRequiredInput>, _config: FlowrConfigOptions) => Readonly<import("../../../slicing/static/slicer-types").SliceResult>;
+    readonly executed: import("../pipeline-step").PipelineStepStage.OncePerRequest;
+    readonly printer: {
+        readonly 0: typeof import("../../print/print").internalPrinter;
+    };
+    readonly dependencies: readonly ["dataflow"];
+    readonly requiredInput: import("../all/static-slicing/00-slice").SliceRequiredInput;
 } | {
     readonly humanReadableName: "dataflow";
     readonly processor: (results: {
@@ -176,20 +176,6 @@ export declare const DEFAULT_SLICE_AND_RECONSTRUCT_PIPELINE: import("./pipeline"
     readonly requiredInput: import("../all/static-slicing/10-reconstruct").ReconstructRequiredInput;
 }>;
 export declare const DEFAULT_SLICE_WITHOUT_RECONSTRUCT_PIPELINE: import("./pipeline").Pipeline<{
-    readonly name: "slice";
-    readonly humanReadableName: "static slice";
-    readonly description: "Calculate the actual static slice from the dataflow graph and the given slicing criteria";
-    readonly processor: (results: {
-        dataflow?: import("../../../dataflow/info").DataflowInformation;
-        normalize?: import("../../../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst;
-    }, input: Partial<import("../all/static-slicing/00-slice").SliceRequiredInput>, _config: FlowrConfigOptions) => Readonly<import("../../../slicing/static/slicer-types").SliceResult>;
-    readonly executed: import("../pipeline-step").PipelineStepStage.OncePerRequest;
-    readonly printer: {
-        readonly 0: typeof import("../../print/print").internalPrinter;
-    };
-    readonly dependencies: readonly ["dataflow"];
-    readonly requiredInput: import("../all/static-slicing/00-slice").SliceRequiredInput;
-} | {
     readonly name: "parse";
     readonly humanReadableName: "parse with R shell";
     readonly description: "Parse the given R code into an AST";
@@ -222,6 +208,20 @@ export declare const DEFAULT_SLICE_WITHOUT_RECONSTRUCT_PIPELINE: import("./pipel
     };
     readonly dependencies: readonly ["parse"];
     readonly requiredInput: import("../all/core/10-normalize").NormalizeRequiredInput;
+} | {
+    readonly name: "slice";
+    readonly humanReadableName: "static slice";
+    readonly description: "Calculate the actual static slice from the dataflow graph and the given slicing criteria";
+    readonly processor: (results: {
+        dataflow?: import("../../../dataflow/info").DataflowInformation;
+        normalize?: import("../../../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst;
+    }, input: Partial<import("../all/static-slicing/00-slice").SliceRequiredInput>, _config: FlowrConfigOptions) => Readonly<import("../../../slicing/static/slicer-types").SliceResult>;
+    readonly executed: import("../pipeline-step").PipelineStepStage.OncePerRequest;
+    readonly printer: {
+        readonly 0: typeof import("../../print/print").internalPrinter;
+    };
+    readonly dependencies: readonly ["dataflow"];
+    readonly requiredInput: import("../all/static-slicing/00-slice").SliceRequiredInput;
 } | {
     readonly humanReadableName: "dataflow";
     readonly processor: (results: {
@@ -315,7 +315,7 @@ export declare const TREE_SITTER_SLICING_PIPELINE: import("./pipeline").Pipeline
     readonly humanReadableName: "normalize tree-sitter tree";
     readonly description: "Normalize the AST to flowR's AST";
     readonly processor: (results: {
-        "parse"?: import("../all/core/01-parse-tree-sitter").ParseStepOutputTS;
+        "parse"?: import("../../../r-bridge/parser").ParseStepOutput<import("web-tree-sitter").Tree>;
     }, input: Partial<import("../all/core/10-normalize").NormalizeRequiredInput>, config: FlowrConfigOptions) => import("../../../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst<import("../../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, import("../../../r-bridge/lang-4.x/ast/model/model").RNode<import("../../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation>>;
     readonly executed: import("../pipeline-step").PipelineStepStage.OncePerFile;
     readonly printer: {
@@ -398,7 +398,7 @@ export declare const TREE_SITTER_SLICE_AND_RECONSTRUCT_PIPELINE: import("./pipel
     readonly humanReadableName: "normalize tree-sitter tree";
     readonly description: "Normalize the AST to flowR's AST";
     readonly processor: (results: {
-        "parse"?: import("../all/core/01-parse-tree-sitter").ParseStepOutputTS;
+        "parse"?: import("../../../r-bridge/parser").ParseStepOutput<import("web-tree-sitter").Tree>;
     }, input: Partial<import("../all/core/10-normalize").NormalizeRequiredInput>, config: FlowrConfigOptions) => import("../../../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst<import("../../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, import("../../../r-bridge/lang-4.x/ast/model/model").RNode<import("../../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation>>;
     readonly executed: import("../pipeline-step").PipelineStepStage.OncePerFile;
     readonly printer: {
@@ -467,7 +467,7 @@ export declare const TREE_SITTER_SLICE_WITHOUT_RECONSTRUCT_PIPELINE: import("./p
     readonly humanReadableName: "normalize tree-sitter tree";
     readonly description: "Normalize the AST to flowR's AST";
     readonly processor: (results: {
-        "parse"?: import("../all/core/01-parse-tree-sitter").ParseStepOutputTS;
+        "parse"?: import("../../../r-bridge/parser").ParseStepOutput<import("web-tree-sitter").Tree>;
     }, input: Partial<import("../all/core/10-normalize").NormalizeRequiredInput>, config: FlowrConfigOptions) => import("../../../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst<import("../../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, import("../../../r-bridge/lang-4.x/ast/model/model").RNode<import("../../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation>>;
     readonly executed: import("../pipeline-step").PipelineStepStage.OncePerFile;
     readonly printer: {
@@ -583,7 +583,7 @@ export declare const TREE_SITTER_DATAFLOW_PIPELINE: import("./pipeline").Pipelin
     readonly humanReadableName: "normalize tree-sitter tree";
     readonly description: "Normalize the AST to flowR's AST";
     readonly processor: (results: {
-        "parse"?: import("../all/core/01-parse-tree-sitter").ParseStepOutputTS;
+        "parse"?: import("../../../r-bridge/parser").ParseStepOutput<import("web-tree-sitter").Tree>;
     }, input: Partial<import("../all/core/10-normalize").NormalizeRequiredInput>, config: FlowrConfigOptions) => import("../../../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst<import("../../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, import("../../../r-bridge/lang-4.x/ast/model/model").RNode<import("../../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation>>;
     readonly executed: import("../pipeline-step").PipelineStepStage.OncePerFile;
     readonly printer: {
@@ -651,7 +651,7 @@ export declare const TREE_SITTER_NORMALIZE_PIPELINE: import("./pipeline").Pipeli
     readonly humanReadableName: "normalize tree-sitter tree";
     readonly description: "Normalize the AST to flowR's AST";
     readonly processor: (results: {
-        "parse"?: import("../all/core/01-parse-tree-sitter").ParseStepOutputTS;
+        "parse"?: import("../../../r-bridge/parser").ParseStepOutput<import("web-tree-sitter").Tree>;
     }, input: Partial<import("../all/core/10-normalize").NormalizeRequiredInput>, config: FlowrConfigOptions) => import("../../../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst<import("../../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, import("../../../r-bridge/lang-4.x/ast/model/model").RNode<import("../../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation>>;
     readonly executed: import("../pipeline-step").PipelineStepStage.OncePerFile;
     readonly printer: {

package/core/steps/pipeline/default-pipelines.js

@@ -35,7 +35,6 @@ exports.TREE_SITTER_PARSE_PIPELINE = (0, pipeline_1.createPipeline)(_01_parse_tr
 /**
  * **Please use {@link FlowrAnalyzer} instead of this directly unless you really know what you are doing.**
  * Returns either a {@link DEFAULT_PARSE_PIPELINE} or a {@link TREE_SITTER_PARSE_PIPELINE} depending on the parser used.
- *
  * @see {@link createNormalizePipeline}, {@link createDataflowPipeline}, {@link createSlicePipeline}
  */
 function createParsePipeline(parser, inputs, config) {
@@ -48,7 +47,6 @@ function createParsePipeline(parser, inputs, config) {
 /**
  * **Please use {@link FlowrAnalyzer} instead of this directly unless you really know what you are doing.**
  * Returns either a {@link DEFAULT_SLICING_PIPELINE} or a {@link TREE_SITTER_SLICING_PIPELINE} depending on the parser used.
- *
  * @see {@link createParsePipeline}, {@link createNormalizePipeline}, {@link createDataflowPipeline}
  */
 function createSlicePipeline(parser, inputs, config) {
@@ -61,7 +59,6 @@ function createSlicePipeline(parser, inputs, config) {
 /**
  * **Please use {@link FlowrAnalyzer} instead of this directly unless you really know what you are doing.**
  * Returns either a {@link DEFAULT_NORMALIZE_PIPELINE} or a {@link TREE_SITTER_NORMALIZE_PIPELINE} depending on the parser used.
- *
  * @see {@link createParsePipeline}, {@link createDataflowPipeline}, {@link createSlicePipeline}
  */
 function createNormalizePipeline(parser, inputs, config) {
@@ -74,7 +71,6 @@ function createNormalizePipeline(parser, inputs, config) {
 /**
  * **Please use {@link FlowrAnalyzer} instead of this directly unless you really know what you are doing.**
  * Returns either a {@link DEFAULT_DATAFLOW_PIPELINE} or a {@link TREE_SITTER_DATAFLOW_PIPELINE} depending on the parser used.
- *
  * @see {@link createParsePipeline}, {@link createNormalizePipeline}, {@link createSlicePipeline}
  */
 function createDataflowPipeline(parser, inputs, config) {

package/core/steps/pipeline/pipeline.d.ts

@@ -18,7 +18,6 @@ export interface Pipeline<T extends IPipelineStep = IPipelineStep> {
 }
 /**
  * Returns the types of all step names in the given pipeline.
- *
  * @see Pipeline for details
  */
 export type PipelineStepNames<P extends Pipeline> = PipelineStep<P>['name'];
@@ -47,7 +46,6 @@ export interface PipelinePerStepMetaInformation {
 }
 /**
  * Returns the step with the given name from the given pipeline.
- *
  * @example
  * ```ts
  * type Foo = PipelineStepWithName<typeof DEFAULT_DATAFLOW_PIPELINE, 'parse'>
@@ -67,7 +65,6 @@ export type PipelineStepProcessorWithName<P extends Pipeline, Name extends Pipel
 export type PipelineStepPrintersWithName<P extends Pipeline, Name extends PipelineStepName> = PipelineStepWithName<P, Name>['printer'];
 /**
  * Returns the output type of the step with the given name from the given pipeline.
- *
  * @example
  * ```ts
  * type Foo = PipelineStepOutputWithName<typeof DEFAULT_DATAFLOW_PIPELINE, 'parse'>
@@ -78,7 +75,6 @@ export type PipelineStepPrintersWithName<P extends Pipeline, Name extends Pipeli
 export type PipelineStepOutputWithName<P extends Pipeline, Name extends PipelineStepName> = Awaited<ReturnType<PipelineStepProcessorWithName<P, Name>>> & PipelinePerStepMetaInformation;
 /**
  * Returns a union type that represents the required inputs to be passed to the given pipeline.
- *
  * @example
  * ```ts
  * type Foo = PipelineInput<typeof DEFAULT_DATAFLOW_PIPELINE>
@@ -87,7 +83,6 @@ export type PipelineStepOutputWithName<P extends Pipeline, Name extends Pipeline
  *
  * In short, this can be useful whenever you want to describe _all_ inputs a complete
  * pipeline needs to run through (i.e., the union of all inputs required by the individual steps).
- *
  * @see {@link PipelineOutput}
  */
 export type PipelineInput<P extends Pipeline> = UnionToIntersection<PipelineStep<P>['requiredInput']>;
@@ -125,11 +120,9 @@ export type PipelineOutput<P extends Pipeline> = {
  * 4) the target of a {@link IPipelineStepOrder#decorates|step's decoration} exists
  * 5) if a {@link IPipelineStepOrder#decorates|decoration} applies, all of its {@link IPipelineStepOrder#dependencies|dependencies} are already in the pipeline
  * 6) in the resulting {@link Pipeline|pipeline}, there is a strict cut between {@link IPipelineStep|steps} that are executed
- * 		{@link PipelineStepStage#OncePerFile|once per file} and {@link PipelineStepStage#OncePerRequest|once per request}.
- *
+ * {@link PipelineStepStage#OncePerFile|once per file} and {@link PipelineStepStage#OncePerRequest|once per request}.
  * @returns The function will try to order your collection steps so that all the constraints hold.
  * If it succeeds it will return the resulting {@link Pipeline|pipeline}, otherwise it will throw an {@link InvalidPipelineError}.
- *
  * @throws InvalidPipelineError If any of the constraints listed above are not satisfied.
  */
 export declare function createPipeline<T extends readonly IPipelineStep[]>(...steps: T): Pipeline<T[number]>;

package/core/steps/pipeline/pipeline.js

@@ -14,11 +14,9 @@ const create_pipeline_1 = require("./create-pipeline");
  * 4) the target of a {@link IPipelineStepOrder#decorates|step's decoration} exists
  * 5) if a {@link IPipelineStepOrder#decorates|decoration} applies, all of its {@link IPipelineStepOrder#dependencies|dependencies} are already in the pipeline
  * 6) in the resulting {@link Pipeline|pipeline}, there is a strict cut between {@link IPipelineStep|steps} that are executed
- * 		{@link PipelineStepStage#OncePerFile|once per file} and {@link PipelineStepStage#OncePerRequest|once per request}.
- *
+ * {@link PipelineStepStage#OncePerFile|once per file} and {@link PipelineStepStage#OncePerRequest|once per request}.
  * @returns The function will try to order your collection steps so that all the constraints hold.
  * If it succeeds it will return the resulting {@link Pipeline|pipeline}, otherwise it will throw an {@link InvalidPipelineError}.
- *
  * @throws InvalidPipelineError If any of the constraints listed above are not satisfied.
  */
 function createPipeline(...steps) {