/** Checks if the constraints of operands of the said instruction(s) are satisfied. */ public void visitILOAD(ILOAD o){ int idx = o.getIndex(); if (idx < 0){ constraintViolated(o, "Index '"+idx+"' must be non-negative."); } else{ int maxminus1 = max_locals()-1; if (idx > maxminus1){ constraintViolated(o, "Index '"+idx+"' must not be greater than max_locals-1 '"+maxminus1+"'."); } } }
/** Checks if the constraints of operands of the said instruction(s) are satisfied. */ @Override public void visitILOAD(final ILOAD o) { final int idx = o.getIndex(); if (idx < 0) { constraintViolated(o, "Index '"+idx+"' must be non-negative."); } else{ final int maxminus1 = max_locals()-1; if (idx > maxminus1) { constraintViolated(o, "Index '"+idx+"' must not be greater than max_locals-1 '"+maxminus1+"'."); } } }
} else { ILOAD iLoad = (ILOAD) first; int idx = iLoad.getIndex(); InstructionHandle iStoreHandle = finder.getInstructionList().getInstructionHandles()[1]; ISTORE iStore = (ISTORE) iStoreHandle.getInstruction();
} else { ILOAD iLoad = (ILOAD) ih.getInstruction(); int idx = iLoad.getIndex(); if (idx < mg.getArgumentTypes().length + (mg.isStatic() ? 0 : 1)) { return false;