Interface ReadonlyFlowrAnalysisProvider<Parser>
Parser extends KnownParser = KnownParser,
> {
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>>;
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
Implemented by
Hierarchy-Diagram
Methods
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
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>>>
Exposes the central analyses and information provided by the FlowrAnalyzer to the linter, search, and query APIs. This allows us to exchange the underlying implementation of the analyzer without affecting the APIs.