public void visitProgramMethod(ProgramClass programClass, ProgramMethod programMethod) { // Set the array value with the found array length. We can't use // the original array, because its elements might get overwritten. Value propagatedArray = valueFactory.createArrayReferenceValue("I", null, array.referenceValue().arrayLength(valueFactory)); if (DEBUG) { System.out.println("SimpleEnumArrayPropagator: ["+programClass.getName()+"."+programMethod.getName(programClass)+programMethod.getDescriptor(programClass)+"]: propagating ["+propagatedArray+"] as return value"); } setMethodReturnValue(programMethod, propagatedArray); }
public void visitProgramMethod(ProgramClass programClass, ProgramMethod programMethod) { // Set the array value with the found array length. We can't use // the original array, because its elements might get overwritten. Value propagatedArray = valueFactory.createArrayReferenceValue("I", null, array.referenceValue().arrayLength(valueFactory)); if (DEBUG) { System.out.println("SimpleEnumArrayPropagator: ["+programClass.getName()+"."+programMethod.getName(programClass)+programMethod.getDescriptor(programClass)+"]: propagating ["+propagatedArray+"] as return value"); } setMethodReturnValue(programMethod, propagatedArray); }
public void visitProgramMethod(ProgramClass programClass, ProgramMethod programMethod) { // Set the array value with the found array length. We can't use // the original array, because its elements might get overwritten. Value propagatedArray = valueFactory.createArrayReferenceValue("I", null, array.referenceValue().arrayLength(valueFactory)); if (DEBUG) { System.out.println("SimpleEnumArrayPropagator: ["+programClass.getName()+"."+programMethod.getName(programClass)+programMethod.getDescriptor(programClass)+"]: propagating ["+propagatedArray+"] as return value"); } setMethodReturnValue(programMethod, propagatedArray); }