private T thisLoc;
private T globalLoc;
private T returnLoc;
+ private T pcLoc;
public MethodLattice(T top, T bottom) {
super(top, bottom);
+ pcLoc = top;
}
public void setThisLoc(T thisLoc) {
return returnLoc;
}
+ public T getPCLoc() {
+ return pcLoc;
+ }
+
+ public void setPCLoc(T pcLoc) {
+ this.pcLoc = pcLoc;
+ }
+
}