argList.add(callerArg);
}
- System.out.println("\n## computeReturnLocation=" + min.getMethod() + " argList=" + argList);
+ // System.out.println("\n## computeReturnLocation=" + min.getMethod() + " argList=" + argList);
CompositeLocation ceilLoc = md2ReturnLocGen.get(min.getMethod()).computeReturnLocation(argList);
- System.out.println("## ReturnLocation=" + ceilLoc);
+ // System.out.println("## ReturnLocation=" + ceilLoc);
return ceilLoc;
// generateErrorMessage(cd, an));
}
- System.out.println("src=" + srcLocation + " dest=" + destLocation + " const=" + constraint);
+ // System.out.println("src=" + srcLocation + " dest=" + destLocation + " const=" +
+ // constraint);
if (!CompositeLattice.isGreaterThan(srcLocation, destLocation, generateErrorMessage(cd, an))) {
public static CompositeLocation calculateGLB(Set<CompositeLocation> inputSet, String errMsg) {
- System.out.println("Calculating GLB=" + inputSet);
+ // System.out.println("Calculating GLB=" + inputSet);
CompositeLocation glbCompLoc = new CompositeLocation();
// calculate GLB of the first(priority) element