Package org.checkerframework.dataflow.livevariable
Classes using for live variable analysis. Live variable analysis is a backward analysis to
calculate the variables that are live at each point in the program. To run live variable
analysis, see
LiveVariablePlayground.-
Class Summary Class Description LiveVarNode A LiveVarNode contains a CFG node, which can only be a LocalVariableNode or FieldAccessNode.LiveVarStore A live variable store contains a set of live variables represented by nodes.LiveVarTransfer A live variable transfer function.