Package checkers.flow

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

See:
          Description

Class Summary
Flow Provides a generalized flow-sensitive qualifier inference for the checkers framework.
GenKillBits<K> Maintains multiple gen-kill sets, "keyed" by a value.
Location Represents the location of a Tree.
 

Package checkers.flow Description

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