org.checkerframework.dataflow.analysis

Interface BackwardAnalysis<V extends AbstractValue<V>,S extends Store<S>,T extends BackwardTransferFunction<V,S>>

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

Modifier and Type	Method and Description
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

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