Package checkers.flow

Contains a generalized flow-sensitive qualifier inference that can be employed by any checker.

See: Description

Interface Summary

Interface	Description
Flow	Interface for a generalized flow-sensitive qualifier inference for the checkers framework.
FlowState	The state that is managed by a flow inference implementation.

Class Summary

Class	Description
AbstractFlow<ST extends FlowState>	Provides a generalized flow-sensitive qualifier inference for the checkers framework.
DefaultFlow<ST extends DefaultFlowState>	The default implementation of the flow-sensitive type inference.
DefaultFlowState	Stores the annotation that is inferred for each variable.
GenKillBits<K extends @NonNull Object>	Maintains multiple gen-kill sets, "keyed" by a value.

Package checkers.flow Description

Contains a generalized flow-sensitive qualifier inference that can be employed by any checker.