Interface FlowrAnalysisProvider<Parser>
addFile(
...f: (string | RParseRequestFromFile | FlowrFileProvider<string>)[],
): void;
addRequest(...request: (string | RAnalysisRequest)[]): void;
context(): FlowrAnalyzerContext;
controlflow(
simplifications?: readonly (
| "unique-cf-sets"
| "analyze-dead-code"
| "remove-dead-code"
| "to-basic-blocks"
)[],
kind?: CfgKind,
force?: boolean,
): Promise<ControlFlowInformation<CfgSimpleVertex>>;
dataflow(
force?: boolean,
): Promise<DataflowInformation & PipelinePerStepMetaInformation>;
flowrConfig: FlowrConfigOptions;
inspectContext(): ReadOnlyFlowrAnalyzerContext;
normalize(
force?: boolean,
): Promise<
NormalizedAst<ParentInformation, RProject<ParentInformation>> & PipelinePerStepMetaInformation,
>;
parse(
force?: boolean,
): Promise<NonNullable<AnalyzerCacheType<Parser>["parse"]>>;
parserInformation(): KnownParserInformation;
peekControlflow(
simplifications?: readonly (
| "unique-cf-sets"
| "analyze-dead-code"
| "remove-dead-code"
| "to-basic-blocks"
)[],
kind?: CfgKind,
): undefined | ControlFlowInformation<CfgSimpleVertex>;
peekDataflow(): | undefined
| DataflowInformation & PipelinePerStepMetaInformation;
peekNormalize(): | undefined
| NormalizedAst<ParentInformation, RProject<ParentInformation>> & PipelinePerStepMetaInformation;
peekParse(): undefined | NonNullable<AnalyzerCacheType<Parser>["parse"]>;
query<
Types extends
| "search"
| "config"
| "origin"
| "dataflow"
| "call-context"
| "control-flow"
| "dataflow-lens"
| "df-shape"
| "normalized-ast"
| "id-map"
| "dataflow-cluster"
| "static-slice"
| "dependencies"
| "location-map"
| "happens-before"
| "inspect-higher-order"
| "resolve-value"
| "project"
| "linter" = | "search"
| "config"
| "origin"
| "dataflow"
| "call-context"
| "control-flow"
| "dataflow-lens"
| "df-shape"
| "normalized-ast"
| "id-map"
| "dataflow-cluster"
| "static-slice"
| "dependencies"
| "location-map"
| "happens-before"
| "inspect-higher-order"
| "resolve-value"
| "project"
| "linter",
>(
query: Queries<Types>,
): Promise<QueryResults<Types>>;
reset(): void;
runFull(force?: boolean): Promise<void>;
runSearch<Search extends FlowrSearchLike>(
search: Search,
): Promise<GetSearchElements<SearchOutput<Search>>>;
}
Type Parameters
- Parser extends KnownParser = KnownParser
Hierarchy (View Summary)
- ReadonlyFlowrAnalysisProvider<Parser>
- FlowrAnalysisProvider
Hierarchy-Diagram
Methods
add
Add one or multiple files to the analyzer's context.
Parameters
- ...f: (string | RParseRequestFromFile | FlowrFileProvider<string>)[]
One or multiple file paths, file providers, or parse requests from file.
Returns void
See
- FlowrFileProvider - for creating custom file providers.
- addRequest - for adding analysis requests to the analyzer.
- ...f: (string | RParseRequestFromFile | FlowrFileProvider<string>)[]
add
Add one or multiple requests to analyze.
Parameters
- ...request: (string | RAnalysisRequest)[]
One or multiple requests or a file path (with the
file://protocol). If you just enter a string without the fileProtocol, it will be interpreted as R code.
Returns void
See
addFile - for adding files to the analyzer's context.
- ...request: (string | RAnalysisRequest)[]
context
Returns project context information. If you are a user that wants to inspect the context, prefer inspectContext instead. Please be aware that modifications to the context may break analyzer assumptions.
Returns FlowrAnalyzerContext
controlflow
- controlflow(
simplifications?: readonly (
| "unique-cf-sets"
| "analyze-dead-code"
| "remove-dead-code"
| "to-basic-blocks"
)[],
kind?: CfgKind,
force?: boolean,
): Promise<ControlFlowInformation<CfgSimpleVertex>>Get the control flow graph (CFG) for the request.
Parameters
Optionalsimplifications: readonly (
| "unique-cf-sets"
| "analyze-dead-code"
| "remove-dead-code"
| "to-basic-blocks"
)[]Simplification passes to be applied to the CFG.
Optionalkind: CfgKindThe kind of CFG that is requested. By default, the CFG without dataflow information is returned.
Optionalforce: booleanDo not use the cache, instead force new analyses.
Returns Promise<ControlFlowInformation<CfgSimpleVertex>>
See
ReadonlyFlowrAnalysisProvider#peekControlflow - to get the CFG if already available without triggering a new computation.
dataflow
Get the dataflow graph for the request.
Parameters
Optionalforce: booleanDo not use the cache, instead force new analyses.
Returns Promise<DataflowInformation & PipelinePerStepMetaInformation>
See
ReadonlyFlowrAnalysisProvider#peekDataflow - to get the dataflow graph if already available without triggering a new computation.
inspect
Returns a read-only version of the project context information. This is the preferred method for users that want to inspect the context.
Returns ReadOnlyFlowrAnalyzerContext
normalize
- normalize(
force?: boolean,
): Promise<
NormalizedAst<ParentInformation, RProject<ParentInformation>> & PipelinePerStepMetaInformation,
>Get the normalized abstract syntax tree for the request.
Parameters
Optionalforce: booleanDo not use the cache, instead force new analyses.
Returns Promise<
NormalizedAst<ParentInformation, RProject<ParentInformation>> & PipelinePerStepMetaInformation,
>See
ReadonlyFlowrAnalysisProvider#peekNormalize - to get the normalized AST if already available without triggering a new computation.
parse
Get the parse output for the request.
The parse result type depends on the KnownParser used by the analyzer.
Parameters
Optionalforce: booleanDo not use the cache, instead force a new parse.
Returns Promise<NonNullable<AnalyzerCacheType<Parser>["parse"]>>
See
ReadonlyFlowrAnalysisProvider#peekParse - to get the parse output if already available without triggering a new computation.
parser
Returns a set of additional data and helper functions exposed by the underlying KnownParser, including the parser's BaseParserInformation.name and corresponding version information.
Returns KnownParserInformation
peek
- peekControlflow(
simplifications?: readonly (
| "unique-cf-sets"
| "analyze-dead-code"
| "remove-dead-code"
| "to-basic-blocks"
)[],
kind?: CfgKind,
): undefined | ControlFlowInformation<CfgSimpleVertex>Peek at the control flow graph (CFG) for the request, if it was already computed.
Parameters
Optionalsimplifications: readonly (
| "unique-cf-sets"
| "analyze-dead-code"
| "remove-dead-code"
| "to-basic-blocks"
)[]Optionalkind: CfgKind
Returns undefined | ControlFlowInformation<CfgSimpleVertex>
peek
Peek at the dataflow graph for the request, if it was already computed.
Returns undefined | DataflowInformation & PipelinePerStepMetaInformation
peek
- peekNormalize(): | undefined
| NormalizedAst<ParentInformation, RProject<ParentInformation>> & PipelinePerStepMetaInformationPeek at the normalized abstract syntax tree for the request, if it was already computed.
Returns
| undefined
| NormalizedAst<ParentInformation, RProject<ParentInformation>> & PipelinePerStepMetaInformation
peek
Peek at the parse output for the request, if it was already computed.
Returns undefined | NonNullable<AnalyzerCacheType<Parser>["parse"]>
query
- query<
Types extends
| "search"
| "config"
| "origin"
| "dataflow"
| "call-context"
| "control-flow"
| "dataflow-lens"
| "df-shape"
| "normalized-ast"
| "id-map"
| "dataflow-cluster"
| "static-slice"
| "dependencies"
| "location-map"
| "happens-before"
| "inspect-higher-order"
| "resolve-value"
| "project"
| "linter" = | "search"
| "config"
| "origin"
| "dataflow"
| "call-context"
| "control-flow"
| "dataflow-lens"
| "df-shape"
| "normalized-ast"
| "id-map"
| "dataflow-cluster"
| "static-slice"
| "dependencies"
| "location-map"
| "happens-before"
| "inspect-higher-order"
| "resolve-value"
| "project"
| "linter",
>(
query: Queries<Types>,
): Promise<QueryResults<Types>>Access the query API for the request.
Type Parameters
- Types extends
| "search"
| "config"
| "origin"
| "dataflow"
| "call-context"
| "control-flow"
| "dataflow-lens"
| "df-shape"
| "normalized-ast"
| "id-map"
| "dataflow-cluster"
| "static-slice"
| "dependencies"
| "location-map"
| "happens-before"
| "inspect-higher-order"
| "resolve-value"
| "project"
| "linter" =
| "search"
| "config"
| "origin"
| "dataflow"
| "call-context"
| "control-flow"
| "dataflow-lens"
| "df-shape"
| "normalized-ast"
| "id-map"
| "dataflow-cluster"
| "static-slice"
| "dependencies"
| "location-map"
| "happens-before"
| "inspect-higher-order"
| "resolve-value"
| "project"
| "linter"
Returns Promise<QueryResults<Types>>
- Types extends
reset
Reset the analyzer state, including the context and the cache.
Returns void
run
This executes all steps of the core analysis (parse, normalize, dataflow).
Parameters
Optionalforce: boolean
Returns Promise<void>
run
- runSearch<Search extends FlowrSearchLike>(
search: Search,
): Promise<GetSearchElements<SearchOutput<Search>>>Run a search on the current analysis.
Type Parameters
- Search extends FlowrSearchLike
Parameters
- search: Search
Returns Promise<GetSearchElements<SearchOutput<Search>>>
Extends the ReadonlyFlowrAnalysisProvider with methods that allow modifying the analyzer state.