Readonly
abstractReadonly
dataFrame: {The configuration of the shape inference for data frames
Readonly
maxColNames: numberThe maximum number of columns names to infer for data frames before over-approximating the column names to top
Readonly
readLoadedData: { maxReadLines: number; readExternalFiles: boolean }Configuration options for reading data frame shapes from loaded external data files, such as CSV files
Readonly
maxReadLines: numberThe maximum number of lines to read when extracting data frame shapes from loaded files, such as CSV files
Readonly
readExternalFiles: booleanWhether data frame shapes should be extracted from loaded external data files, such as CSV files
Readonly
wideningThreshold: numberThe threshold for the number of visitations of a node at which widening should be performed to ensure the termination of the fixpoint iteration
Optional
Readonly
defaultThe default engine to use for interacting with R code. If this is undefined, an arbitrary engine from engines will be used.
Readonly
enginesThe engines to use for interacting with R code. Currently, supports TreeSitterEngineConfig and RShellEngineConfig. An empty array means all available engines will be used.
Readonly
ignoreWhether source calls should be ignored, causing processSourceCall's behavior to be skipped
Readonly
semanticsConfigure language semantics and how flowR handles them
Readonly
environment: {Semantics regarding the handling of the environment
Readonly
overwriteBuiltIns: { definitions: BuiltInDefinitions; loadDefaults?: boolean }Do you want to overwrite (parts) of the builtin definition?
Readonly
definitions: BuiltInDefinitionsThe definitions to load
Optional
Readonly
loadDefaults?: booleanShould the default configuration still be loaded?
Readonly
solverHow to resolve constants, constraints, cells, …
Readonly
evalStrings: booleanShould we include eval(parse(text="...")) calls in the dataflow graph?
Readonly
pointerTracking: boolean | { maxIndexCount: number }Whether to track pointers in the dataflow graph, if not, the graph will be over-approximated wrt. containers and accesses
Optional
Readonly
resolveSource?: FlowrLaxSourcingOptionsIf lax source calls are active, flowR searches for sourced files much more freely, based on the configurations you give it. This option is only in effect if ignoreSourceCalls is set to false.
Optional
slicer?: { threshold?: number }The configuration for flowR's slicer
Optional
Readonly
threshold?: numberThe maximum number of iterations to perform on a single function call during slicing
Readonly
variables: VariableResolveHow to resolve variables and their values
Configuration options for abstract interpretation