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.