public IntegerValue arrayLength(ValueFactory valueFactory) { return referenceValue.arrayLength(valueFactory); }
public IntegerValue arrayLength(ValueFactory valueFactory) { return referenceValue.arrayLength(valueFactory); }
public IntegerValue arrayLength(ValueFactory valueFactory) { return referenceValue.arrayLength(valueFactory); }
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); }
int[] newJumpOffsets = new int[mappingValue.arrayLength(valueFactory).value()];
int[] newJumpOffsets = new int[mappingValue.arrayLength(valueFactory).value()];
int[] newJumpOffsets = new int[mappingValue.arrayLength(valueFactory).value()];
int[] newJumpOffsets = new int[mappingValue.arrayLength(valueFactory).value()];
int[] newJumpOffsets = new int[mappingValue.arrayLength(valueFactory).value()];
int[] newJumpOffsets = new int[mappingValue.arrayLength(valueFactory).value()];
stack.push(referenceValue.arrayLength(valueFactory)); break;
stack.push(referenceValue.arrayLength(valueFactory)); break;
stack.push(referenceValue.arrayLength(valueFactory)); break;