fix a nasty bug: writes on local array elements was treated as field writes.
authoryeom <yeom>
Fri, 9 Dec 2011 02:28:27 +0000 (02:28 +0000)
committeryeom <yeom>
Fri, 9 Dec 2011 02:28:27 +0000 (02:28 +0000)
commitbee9e4471b132dfb1d42bc02b1561e7f60999f80
tree0b624d1ac9f7352724d7b434d6084e6156b0e8cc
parentf28a9fa7ab9ad971ff77332f4294dce3517241f4
fix a nasty bug: writes on local array elements was treated as field writes.
Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java