fix edge propagation to union effects
authorjjenista <jjenista>
Mon, 23 Mar 2009 23:35:06 +0000 (23:35 +0000)
committerjjenista <jjenista>
Mon, 23 Mar 2009 23:35:06 +0000 (23:35 +0000)
commit259546b92cf468877200c0c3762ab4a246876869
tree67861d32e9ddf3ee748e1f368587cda601bc1823
parent89f7bd3a082f931288ba1f2c244e899a9e80d754
fix edge propagation to union effects
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java