small changes: have a way to specify the location of "this".
authoryeom <yeom>
Wed, 4 May 2011 00:43:40 +0000 (00:43 +0000)
committeryeom <yeom>
Wed, 4 May 2011 00:43:40 +0000 (00:43 +0000)
commitd1a9ceee05a60dc6a0a8297648910158cde2ae7b
treee6e3c3a2b6a23eab10cba71858c79766ef72a316
parentf153346b4082b0c9035fbbd1d1fb32a4f352b599
small changes: have a way to specify the location of "this".
Robust/src/Analysis/SSJava/FlowDownCheck.java
Robust/src/IR/State.java
Robust/src/IR/Tree/BuildIR.java
Robust/src/Parse/java14.cup