1 package Analysis.SSJava;
3 public class MethodLattice<T> extends SSJavaLattice<T> {
9 public MethodLattice(T top, T bottom) {
13 public void setThisLoc(T thisLoc) {
14 this.thisLoc = thisLoc;
17 public T getThisLoc() {
21 public void setGlobalLoc(T globalLoc) {
22 this.globalLoc = globalLoc;
25 public T getGlobalLoc() {
29 public void setReturnLoc(T returnLoc) {
30 this.returnLoc = returnLoc;
33 public T getReturnLoc() {