Package qilin.pta.toolkits.zipper.analysis

Class Summary

Class	Description
PotentialContextElement	For each object o, this class compute the set of methods which o could potentially be their context element.
Zipper	Main class of Zipper, which computes precision-critical methods in the program being analyzed.