have another way to assign a THIS LOCATION to method: using @THISLOC annotation on...
authoryeom <yeom>
Fri, 20 Jan 2012 00:30:49 +0000 (00:30 +0000)
committeryeom <yeom>
Fri, 20 Jan 2012 00:30:49 +0000 (00:30 +0000)
commitb0cb64abeefcab9ae50d5c3b20a3acdc8f304ba6
treea072b912bb78b3c7c71cf9e8900de9421f52870d
parent5c990dc2f16fb12de3201155cf241f329a712a09
have another way to assign a THIS LOCATION to method: using @THISLOC annotation on the method declaration as the example section of ssjava paper.
Robust/src/Analysis/SSJava/FlowDownCheck.java