bug fix, converting method effects into sese effects.
authoryeom <yeom>
Thu, 21 Jan 2010 06:38:35 +0000 (06:38 +0000)
committeryeom <yeom>
Thu, 21 Jan 2010 06:38:35 +0000 (06:38 +0000)
commitc8b620e0d0bd272333397e327c4f0f4d0bc085b7
treeb022159a15bc3e263cfb8c585b8efd775bc6595e
parent08609d8f4e858a158e1fa5a2bde9a730eaee2828
bug fix, converting method effects into sese effects.
Robust/src/Analysis/MLP/ConflictGraph.java
Robust/src/Analysis/MLP/MLPAnalysis.java
Robust/src/Analysis/MLP/SESEEffectsKey.java
Robust/src/Analysis/MLP/WaitingElement.java
Robust/src/Analysis/OwnershipAnalysis/EffectsKey.java
Robust/src/Analysis/OwnershipAnalysis/MethodEffects.java