X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FAnalysis%2FSSJava%2FMethodLocationInfo.java;h=7435c187cd6c19d1433c9528b02daafc45513c8b;hb=ce668fac9745b666e401dc1a036754da8af3564c;hp=64bfb69deb2ab82c90f848459c935cd93ba2d5ba;hpb=0e5bb40881b8966c59934fe70cef3b5309aec2b1;p=IRC.git diff --git a/Robust/src/Analysis/SSJava/MethodLocationInfo.java b/Robust/src/Analysis/SSJava/MethodLocationInfo.java index 64bfb69d..7435c187 100644 --- a/Robust/src/Analysis/SSJava/MethodLocationInfo.java +++ b/Robust/src/Analysis/SSJava/MethodLocationInfo.java @@ -13,6 +13,16 @@ public class MethodLocationInfo extends LocationInfo { String returnLocName; String thisLocName; CompositeLocation pcLoc; + CompositeLocation returnLoc; + + public CompositeLocation getReturnLoc() { + return returnLoc; + } + + public void setReturnLoc(CompositeLocation returnLoc) { + this.returnLoc = returnLoc; + } + String globalLocName; Map mapParamIdxToInferLoc; @@ -78,4 +88,8 @@ public class MethodLocationInfo extends LocationInfo { getDescSet(localVarLocSymbol).remove(localVarDesc); } + public MethodDescriptor getMethodDesc() { + return md; + } + }