private T thisLoc;
private T globalLoc;
+ private T returnLoc;
public MethodLattice(T top, T bottom) {
super(top, bottom);
return globalLoc;
}
+ public void setReturnLoc(T returnLoc) {
+ this.returnLoc = returnLoc;
+ }
+
+ public T getReturnLoc() {
+ return returnLoc;
+ }
+
}