Added hooks for global sweep and made sure that strong update logic without effecting...
authorjjenista <jjenista>
Mon, 6 Oct 2008 23:54:38 +0000 (23:54 +0000)
committerjjenista <jjenista>
Mon, 6 Oct 2008 23:54:38 +0000 (23:54 +0000)
commit15ecf67703750e5e5bf46953f4fa53306cec4731
tree37aa657a1a704269a3bed4e01d0052909ec03399
parent1a8a3cb17f4e40b028712e839c0f76b8ab66cd75
Added hooks for global sweep and made sure that strong update logic without effecting the actual strong update does not affect the final result.  Next step is to do the strong update edge removal and implement global sweep after strong updates and all method calls.
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java