BackwardAnalysis (checker-framework 3.39.0-eisop1 API)

Type Parameters:

V - the abstract value type to be tracked by the analysis

S - the store type used in the analysis

T - the backward transfer function type that is used to approximate runtime behavior

All Superinterfaces:

Analysis<V,S,T>

All Known Implementing Classes:

BackwardAnalysisImpl
```
public interface BackwardAnalysis<V extends AbstractValue<V>,S extends Store<S>,T extends BackwardTransferFunction<V,S>>
extends Analysis<V,S,T>
```
This interface defines a backward analysis, given a control flow graph and a backward transfer function.

- Nested Class Summary
  - Nested classes/interfaces inherited from interface org.checkerframework.dataflow.analysis.Analysis
    Analysis.BeforeOrAfter, Analysis.Direction
- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  @Nullable S getEntryStore()
  Get the output store at the entry block of a given control flow graph.
  - Methods inherited from interface org.checkerframework.dataflow.analysis.Analysis
    getDirection, getExceptionalExitStore, getInput, getRegularExitStore, getResult, getTransferFunction, getValue, getValue, isRunning, performAnalysis, performAnalysisBlock, runAnalysisFor

- Method Detail
  - getEntryStore
```
@Nullable S getEntryStore()
```
    Get the output store at the entry block of a given control flow graph. For a backward analysis, the output store contains the analyzed flow information from the exit block to the entry block.
    
    Returns:
    
    the output store at the entry block of a given control flow graph