fixes to handle non-static method properly.
authoryeom <yeom>
Fri, 25 Sep 2009 21:56:30 +0000 (21:56 +0000)
committeryeom <yeom>
Fri, 25 Sep 2009 21:56:30 +0000 (21:56 +0000)
commit27c4de07142f58e6912be556d6ac51d892961b60
tree00fd3ee3e15eb7dc315d60fe2e9cdcaa4cc47ec5
parent53ecca0f78f5dc04ee02e5bef63d031211c8d222
fixes to handle non-static method properly.
Robust/src/Analysis/OwnershipAnalysis/MethodEffects.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java