Package checkers.flow

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

See:
Description

Class Summary

Class	Description
Flow	Provides a generalized flow-sensitive qualifier inference for the checkers framework.
Flow.SplitTuple	Tracks the annotated state of each variable in a false branch.
GenKillBits<K>	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.