Class FlowrAnalyzerBuilder

Builder for the FlowrAnalyzer, use it to configure all analysis aspects before creating the analyzer instance with .build() or .buildSync().

You can add new files and folders to analyze using the .addRequest() method on the resulting analyzer.

Example: Let's create an analyzer for a single R script file:

const analyzer = new FlowrAnalyzerBuilder()
                     .setParser(new TreeSitterExecutor())
                     .buildSync()
                     .addRequest('file:///path/to/script.R')

If you now want to get the dataflow information for the file, you can do this:

const dfInfo = await analyzer.dataflow();
console.log(dfInfo);

See

https://github.com/flowr-analysis/flowr/wiki/Analyzer

Index

Constructors

constructor

Methods

amendConfig build buildSync configure registerPlugins setConfig setEngine setInput setParser unregisterPlugins

Constructors

constructor

new FlowrAnalyzerBuilder(withDefaultPlugins?: boolean): FlowrAnalyzerBuilder
Creates a new builder for the FlowrAnalyzer. By default, the standard set of plugins as returned by FlowrAnalyzerPluginDefaults are registered.
Parameters
- withDefaultPlugins: boolean = true
  Whether to register the default plugins upon creation. Default is true.
Returns FlowrAnalyzerBuilder
See
- FlowrAnalyzerPluginDefaults - for the default plugin set.
- FlowrAnalyzerBuilder#registerPlugins - to add more plugins.
- FlowrAnalyzerBuilder#unregisterPlugins - to remove plugins.
- Defined in src/project/flowr-analyzer-builder.ts:53

Methods

amendConfig

amendConfig(
    func: (
        config: {
            abstractInterpretation: {
                dataFrame: {
                    maxColNames: number;
                    readLoadedData: { maxReadLines: number; readExternalFiles: boolean };
                };
                wideningThreshold: number;
            };
            defaultEngine?: "r-shell"
            | "tree-sitter";
            engines: (
                | { rPath?: string; type: "r-shell"; [key: string]: unknown }
                | {
                    lax?: boolean;
                    treeSitterWasmPath?: string;
                    type: "tree-sitter";
                    wasmPath?: string;
                    [key: string]: unknown;
                }
            )[];
            ignoreSourceCalls: boolean;
            project: { resolveUnknownPathsOnDisk: boolean };
            repl: { dfProcessorHeat: boolean; quickStats: boolean };
            semantics: {
                environment: {
                    overwriteBuiltIns: {
                        definitions: (
                            | {
                                assumePrimitive?: boolean;
                                config: { constructName?: "s7"; readIndices: boolean };
                                names: (
                                    BrandedIdentifier
                                    | [id: ..., namespace: ..., internal?: ...]
                                )[];
                                suffixes: ("<<-" | "<-")[];
                                type: "replacement";
                            }
                            | {
                                assumePrimitive?: boolean;
                                names: (
                                    BrandedIdentifier
                                    | [id: ..., namespace: ..., internal?: ...]
                                )[];
                                type: "constant";
                                value: unknown;
                            }
                            | {
                                assumePrimitive?: boolean;
                                config?: | {
                                    forceArgs?: (...)
                                    | (...)
                                    | (...);
                                    libFn?: (...) | (...) | (...);
                                    treatIndicesAsString: boolean;
                                }
                                | {
                                    indexOfFunction?: (...)
                                    | (...);
                                    libFn?: (...) | (...) | (...);
                                    nameOfFunctionArgument?: (...) | (...);
                                    resolveInEnvironment?: (...) | (...) | (...);
                                    resolveValue?: (...) | (...) | (...);
                                    unquoteFunction?: (...) | (...) | (...);
                                    [key: string]: unknown;
                                }
                                | {
                                    canBeReplacement?: (...)
                                    | (...)
                                    | (...);
                                    forceArgs?: (...) | (...) | (...);
                                    libFn?: (...) | (...) | (...);
                                    makeMaybe?: (...) | (...) | (...);
                                    mayHaveMoreArgs?: (...) | (...) | (...);
                                    modesForFn?: (...) | (...);
                                    quoteSource?: (...) | (...) | (...);
                                    superAssignment?: (...) | (...) | (...);
                                    swapSourceAndTarget?: (...) | (...) | (...);
                                    targetVariable?: (...) | (...) | (...);
                                }
                                | {
                                    canBeReplacement?: (...)
                                    | (...)
                                    | (...);
                                    forceArgs?: (...) | (...) | (...);
                                    libFn?: (...) | (...) | (...);
                                    makeMaybe?: (...) | (...) | (...);
                                    mayHaveMoreArgs?: (...) | (...) | (...);
                                    modesForFn?: (...) | (...);
                                    quoteSource?: (...) | (...) | (...);
                                    source: { idx?: ...; name: ... };
                                    superAssignment?: (...) | (...) | (...);
                                    swapSourceAndTarget?: (...) | (...) | (...);
                                    target: { idx?: ...; name: ... };
                                    targetVariable?: (...) | (...) | (...);
                                }
                                | {
                                    cfg?: (...)
                                    | (...);
                                    forceArgs?: (...) | (...) | (...);
                                    hasUnknownSideEffects?: (...) | (...) | (...) | (...) | (...);
                                    libFn?: (...) | (...) | (...);
                                    readAllArguments?: (...) | (...) | (...);
                                    returnsNthArgument?: (...) | (...) | (...);
                                    treatAsFnCall?: (...) | (...);
                                    useAsProcessor?: (...) | (...);
                                }
                                | {
                                    forceArgs?: (...)
                                    | (...)
                                    | (...);
                                    libFn?: (...) | (...) | (...);
                                    useAsProcessor?: (...) | (...);
                                }
                                | {
                                    includeFunctionCall?: (...)
                                    | (...)
                                    | (...);
                                    libFn?: (...) | (...) | (...);
                                }
                                | { args?: (...)
                                | (...); libFn?: (...) | (...) | (...) }
                                | { args: { env: ...; expr: ... }; libFn?: (...) | (...) | (...) }
                                | {
                                    assignLhs: boolean;
                                    libFn?: (...) | (...) | (...);
                                    pipePlaceholderName: BrandedIdentifier;
                                    returnLhs: boolean;
                                    rhsMightBeSymbol?: (...) | (...) | (...);
                                }
                                | {
                                    ".f": { index: ...; name: ... };
                                    args: { [key: ...]: ... };
                                    ignore?: (...) | (...);
                                    libFn?: (...) | (...) | (...);
                                    returnArg?: (...) | (...);
                                }
                                | {
                                    envArgIndex?: (...)
                                    | (...);
                                    forceArgs?: (...) | (...) | (...);
                                    libFn?: (...) | (...) | (...);
                                    quoteArgumentsWithIndex: number;
                                }
                                | {
                                    libFn?: (...)
                                    | (...)
                                    | (...);
                                    unknownOnNonZeroArg?: (...) | (...) | (...);
                                }
                                | {
                                    args: { add?: ...; after?: ...; expr: ... };
                                    hook: OnFnExit;
                                    libFn?: (...) | (...) | (...);
                                }
                                | {
                                    assignmentOperator?: (...)
                                    | (...)
                                    | (...);
                                    assignRootId?: (...) | (...);
                                    constructName?: (...) | (...);
                                    forceArgs?: (...) | (...) | (...);
                                    libFn?: (...) | (...) | (...);
                                    makeMaybe?: (...) | (...) | (...);
                                    readIndices?: (...) | (...) | (...);
                                }
                                | {
                                    args: { generic: ...; object: ... };
                                    inferFromClosure?: (...) | (...) | (...);
                                    libFn?: (...) | (...) | (...);
                                }
                                | {
                                    args: { dispatchArg: ...; fun: ...; name: ... };
                                    libFn?: (...) | (...) | (...);
                                }
                                | {
                                    forceFollow?: (...)
                                    | (...)
                                    | (...);
                                    includeFunctionCall?: (...) | (...) | (...);
                                    libFn?: (...) | (...) | (...);
                                }
                                | {
                                    evalRhsWhen: boolean;
                                    forceArgs?: (...)
                                    | (...)
                                    | (...);
                                    lazy: boolean;
                                    libFn?: (...) | (...) | (...);
                                }
                                | {
                                    block: string;
                                    handlers: { error?: ...; finally?: ... };
                                    libFn?: (...) | (...) | (...);
                                };
                                evalHandler?: string;
                                names: (
                                    BrandedIdentifier
                                    | [id: ..., namespace: ..., internal?: ...]
                                )[];
                                processor:
                                    | Access
                                    | Apply
                                    | Assignment
                                    | AssignmentLike
                                    | Default
                                    | DefaultReadAllArgs
                                    | Eval
                                    | ExpressionList
                                    | ForLoop
                                    | FunctionDefinition
                                    | Get
                                    | IfThenElse
                                    | Library
                                    | List
                                    | Local
                                    | Pipe
                                    | PurrrFormula
                                    | Quote
                                    | Recall
                                    | RegisterHook
                                    | RepeatLoop
                                    | Replacement
                                    | Rm
                                    | S3Dispatch
                                    | S7NewGeneric
                                    | S7Dispatch
                                    | Source
                                    | SpecialBinOp
                                    | StopIfNot
                                    | Try
                                    | Vector
                                    | WhileLoop;
                                type: "function";
                            }
                        )[];
                        loadDefaults?: boolean;
                    };
                };
            };
            solver: {
                evalStrings: boolean;
                instrument: {
                    dataflowExtractors?: (
                        extractor: DataflowProcessors<ParentInformation>,
                        ctx: FlowrAnalyzerContext,
                    ) => DataflowProcessors<ParentInformation>;
                };
                resolveSource?: {
                    applyReplacements?: { [key: string]: string }[];
                    dropPaths: DropPathsOption;
                    ignoreCapitalization: boolean;
                    inferWorkingDirectory: InferWorkingDirectory;
                    repeatedSourceLimit?: number;
                    searchPath: string[];
                    [key: string]: unknown;
                };
                slicer?: { autoExtend?: boolean; threshold?: number };
                variables: VariableResolve;
            };
            [key: string]: unknown;
        },
    ) => void
    | FlowrConfig,
): this
Apply an amendment to the configuration the builder currently holds. This is mostly intended for more complex logic to transform the config. Please consider using FlowrAnalyzerBuilder.configure to set/amend individual values Per default, the value returned by FlowrConfig.default is used.
Parameters
- func: (
      config: {
          abstractInterpretation: {
              dataFrame: {
                  maxColNames: number;
                  readLoadedData: { maxReadLines: number; readExternalFiles: boolean };
              };
              wideningThreshold: number;
          };
          defaultEngine?: "r-shell"
          | "tree-sitter";
          engines: (
              | { rPath?: string; type: "r-shell"; [key: string]: unknown }
              | {
                  lax?: boolean;
                  treeSitterWasmPath?: string;
                  type: "tree-sitter";
                  wasmPath?: string;
                  [key: string]: unknown;
              }
          )[];
          ignoreSourceCalls: boolean;
          project: { resolveUnknownPathsOnDisk: boolean };
          repl: { dfProcessorHeat: boolean; quickStats: boolean };
          semantics: {
              environment: {
                  overwriteBuiltIns: {
                      definitions: (
                          | {
                              assumePrimitive?: boolean;
                              config: { constructName?: "s7"; readIndices: boolean };
                              names: (
                                  BrandedIdentifier
                                  | [id: ..., namespace: ..., internal?: ...]
                              )[];
                              suffixes: ("<<-" | "<-")[];
                              type: "replacement";
                          }
                          | {
                              assumePrimitive?: boolean;
                              names: (
                                  BrandedIdentifier
                                  | [id: ..., namespace: ..., internal?: ...]
                              )[];
                              type: "constant";
                              value: unknown;
                          }
                          | {
                              assumePrimitive?: boolean;
                              config?: | {
                                  forceArgs?: (...)
                                  | (...)
                                  | (...);
                                  libFn?: (...) | (...) | (...);
                                  treatIndicesAsString: boolean;
                              }
                              | {
                                  indexOfFunction?: (...)
                                  | (...);
                                  libFn?: (...) | (...) | (...);
                                  nameOfFunctionArgument?: (...) | (...);
                                  resolveInEnvironment?: (...) | (...) | (...);
                                  resolveValue?: (...) | (...) | (...);
                                  unquoteFunction?: (...) | (...) | (...);
                                  [key: string]: unknown;
                              }
                              | {
                                  canBeReplacement?: (...)
                                  | (...)
                                  | (...);
                                  forceArgs?: (...) | (...) | (...);
                                  libFn?: (...) | (...) | (...);
                                  makeMaybe?: (...) | (...) | (...);
                                  mayHaveMoreArgs?: (...) | (...) | (...);
                                  modesForFn?: (...) | (...);
                                  quoteSource?: (...) | (...) | (...);
                                  superAssignment?: (...) | (...) | (...);
                                  swapSourceAndTarget?: (...) | (...) | (...);
                                  targetVariable?: (...) | (...) | (...);
                              }
                              | {
                                  canBeReplacement?: (...)
                                  | (...)
                                  | (...);
                                  forceArgs?: (...) | (...) | (...);
                                  libFn?: (...) | (...) | (...);
                                  makeMaybe?: (...) | (...) | (...);
                                  mayHaveMoreArgs?: (...) | (...) | (...);
                                  modesForFn?: (...) | (...);
                                  quoteSource?: (...) | (...) | (...);
                                  source: { idx?: ...; name: ... };
                                  superAssignment?: (...) | (...) | (...);
                                  swapSourceAndTarget?: (...) | (...) | (...);
                                  target: { idx?: ...; name: ... };
                                  targetVariable?: (...) | (...) | (...);
                              }
                              | {
                                  cfg?: (...)
                                  | (...);
                                  forceArgs?: (...) | (...) | (...);
                                  hasUnknownSideEffects?: (...) | (...) | (...) | (...) | (...);
                                  libFn?: (...) | (...) | (...);
                                  readAllArguments?: (...) | (...) | (...);
                                  returnsNthArgument?: (...) | (...) | (...);
                                  treatAsFnCall?: (...) | (...);
                                  useAsProcessor?: (...) | (...);
                              }
                              | {
                                  forceArgs?: (...)
                                  | (...)
                                  | (...);
                                  libFn?: (...) | (...) | (...);
                                  useAsProcessor?: (...) | (...);
                              }
                              | {
                                  includeFunctionCall?: (...)
                                  | (...)
                                  | (...);
                                  libFn?: (...) | (...) | (...);
                              }
                              | { args?: (...)
                              | (...); libFn?: (...) | (...) | (...) }
                              | { args: { env: ...; expr: ... }; libFn?: (...) | (...) | (...) }
                              | {
                                  assignLhs: boolean;
                                  libFn?: (...) | (...) | (...);
                                  pipePlaceholderName: BrandedIdentifier;
                                  returnLhs: boolean;
                                  rhsMightBeSymbol?: (...) | (...) | (...);
                              }
                              | {
                                  ".f": { index: ...; name: ... };
                                  args: { [key: ...]: ... };
                                  ignore?: (...) | (...);
                                  libFn?: (...) | (...) | (...);
                                  returnArg?: (...) | (...);
                              }
                              | {
                                  envArgIndex?: (...)
                                  | (...);
                                  forceArgs?: (...) | (...) | (...);
                                  libFn?: (...) | (...) | (...);
                                  quoteArgumentsWithIndex: number;
                              }
                              | {
                                  libFn?: (...)
                                  | (...)
                                  | (...);
                                  unknownOnNonZeroArg?: (...) | (...) | (...);
                              }
                              | {
                                  args: { add?: ...; after?: ...; expr: ... };
                                  hook: OnFnExit;
                                  libFn?: (...) | (...) | (...);
                              }
                              | {
                                  assignmentOperator?: (...)
                                  | (...)
                                  | (...);
                                  assignRootId?: (...) | (...);
                                  constructName?: (...) | (...);
                                  forceArgs?: (...) | (...) | (...);
                                  libFn?: (...) | (...) | (...);
                                  makeMaybe?: (...) | (...) | (...);
                                  readIndices?: (...) | (...) | (...);
                              }
                              | {
                                  args: { generic: ...; object: ... };
                                  inferFromClosure?: (...) | (...) | (...);
                                  libFn?: (...) | (...) | (...);
                              }
                              | {
                                  args: { dispatchArg: ...; fun: ...; name: ... };
                                  libFn?: (...) | (...) | (...);
                              }
                              | {
                                  forceFollow?: (...)
                                  | (...)
                                  | (...);
                                  includeFunctionCall?: (...) | (...) | (...);
                                  libFn?: (...) | (...) | (...);
                              }
                              | {
                                  evalRhsWhen: boolean;
                                  forceArgs?: (...)
                                  | (...)
                                  | (...);
                                  lazy: boolean;
                                  libFn?: (...) | (...) | (...);
                              }
                              | {
                                  block: string;
                                  handlers: { error?: ...; finally?: ... };
                                  libFn?: (...) | (...) | (...);
                              };
                              evalHandler?: string;
                              names: (
                                  BrandedIdentifier
                                  | [id: ..., namespace: ..., internal?: ...]
                              )[];
                              processor:
                                  | Access
                                  | Apply
                                  | Assignment
                                  | AssignmentLike
                                  | Default
                                  | DefaultReadAllArgs
                                  | Eval
                                  | ExpressionList
                                  | ForLoop
                                  | FunctionDefinition
                                  | Get
                                  | IfThenElse
                                  | Library
                                  | List
                                  | Local
                                  | Pipe
                                  | PurrrFormula
                                  | Quote
                                  | Recall
                                  | RegisterHook
                                  | RepeatLoop
                                  | Replacement
                                  | Rm
                                  | S3Dispatch
                                  | S7NewGeneric
                                  | S7Dispatch
                                  | Source
                                  | SpecialBinOp
                                  | StopIfNot
                                  | Try
                                  | Vector
                                  | WhileLoop;
                              type: "function";
                          }
                      )[];
                      loadDefaults?: boolean;
                  };
              };
          };
          solver: {
              evalStrings: boolean;
              instrument: {
                  dataflowExtractors?: (
                      extractor: DataflowProcessors<ParentInformation>,
                      ctx: FlowrAnalyzerContext,
                  ) => DataflowProcessors<ParentInformation>;
              };
              resolveSource?: {
                  applyReplacements?: { [key: string]: string }[];
                  dropPaths: DropPathsOption;
                  ignoreCapitalization: boolean;
                  inferWorkingDirectory: InferWorkingDirectory;
                  repeatedSourceLimit?: number;
                  searchPath: string[];
                  [key: string]: unknown;
              };
              slicer?: { autoExtend?: boolean; threshold?: number };
              variables: VariableResolve;
          };
          [key: string]: unknown;
      },
  ) => void
  | FlowrConfig
  Receives the current configuration of the builder and allows for amendment.
Returns this
- Defined in src/project/flowr-analyzer-builder.ts:67

build

build(): Promise<FlowrAnalyzer<KnownParser>>
Create the FlowrAnalyzer instance using the given information. Please note that the only reason this is async is that if no parser is set, we need to retrieve the default engine instance which is an async operation. If you have already initialized the engine (e.g., with TreeSitterExecutor#initTreeSitter), you can use the synchronous version FlowrAnalyzerBuilder#buildSync instead.

Returns Promise<FlowrAnalyzer<KnownParser>>
- Defined in src/project/flowr-analyzer-builder.ts:163

buildSync

buildSync(): FlowrAnalyzer
Synchronous version of FlowrAnalyzerBuilder#build, please only use this if you have set the parser using FlowrAnalyzerBuilder#setParser before, otherwise an error will be thrown.

Returns FlowrAnalyzer
- Defined in src/project/flowr-analyzer-builder.ts:175

configure

configure<K extends string>(
key: K,
value: GetWithArray<FlowrConfig, Path<K>>,
): this
Set a specific value in the configuration used by the resulting analyzer.
Type Parameters
- K extends string
Parameters
- key: K
- value: GetWithArray<FlowrConfig, Path<K>>
Returns this
- Defined in src/project/flowr-analyzer-builder.ts:85

registerPlugins

registerPlugins<T extends string>(
...plugin: readonly PluginToRegister<T>[],
): this
Register one or multiple additional plugins. For the default plugin set, please refer to FlowrAnalyzerPluginDefaults, they can be registered by passing true to the FlowrAnalyzerBuilder constructor.
Type Parameters
- T extends string
Parameters
- ...plugin: readonly PluginToRegister<T>[]
  One or multiple plugins to register.
Returns this
See
FlowrAnalyzerBuilder#unregisterPlugins to remove plugins.
- Defined in src/project/flowr-analyzer-builder.ts:132

setConfig

setConfig(config: FlowrConfig): this
Overwrite the configuration used by the resulting analyzer.
Parameters
- config: FlowrConfig
  The new configuration.
Returns this
- Defined in src/project/flowr-analyzer-builder.ts:76

setEngine

setEngine(engine: "r-shell" | "tree-sitter"): this
Set the engine and hence the parser that will be used by the analyzer. This is an alternative to FlowrAnalyzerBuilder#setParser if you do not have a parser instance at hand.
Parameters
- engine: "r-shell" | "tree-sitter"
Returns this
- Defined in src/project/flowr-analyzer-builder.ts:111

setInput

setInput(input: Omit<NormalizeRequiredInput, "context">): this
Additional parameters for the analyses.
Parameters
- input: Omit<NormalizeRequiredInput, "context">
  The input.
Returns this
- Defined in src/project/flowr-analyzer-builder.ts:120

setParser

setParser(parser: KnownParser): this
Set the parser instance used by the analyzer. This is an alternative to FlowrAnalyzerBuilder#setEngine if you already have a parser instance. Please be aware, that if you want to parallelize multiple analyzers, there should be separate parser instances.
Parameters
- parser: KnownParser
Returns this
- Defined in src/project/flowr-analyzer-builder.ts:102

unregisterPlugins

unregisterPlugins(
...plugin: readonly (string | FlowrAnalyzerPlugin<unknown, unknown>)[],
): this
Remove one or multiple plugins.
Parameters
- ...plugin: readonly (string | FlowrAnalyzerPlugin<unknown, unknown>)[]
Returns this
See
FlowrAnalyzerBuilder#registerPlugins to add plugins.
- Defined in src/project/flowr-analyzer-builder.ts:146

Class FlowrAnalyzerBuilder

Example: Let's create an analyzer for a single R script file:

See

Index

Constructors

Methods

Constructors

constructor

Parameters

Returns FlowrAnalyzerBuilder

See

Methods

amendConfig

Parameters

Returns this

build

Returns Promise<FlowrAnalyzer<KnownParser>>

buildSync

Returns FlowrAnalyzer

configure

Type Parameters

Parameters

Returns this

registerPlugins

Type Parameters

Parameters

Returns this

See

setConfig

Parameters

Returns this

setEngine

Parameters

Returns this

setInput

Parameters

Returns this

setParser

Parameters

Returns this

unregisterPlugins

Parameters

Returns this

See

Settings

On This Page