boolean (List<E> info, Instruction currentInstruction) { ProgressManager.checkCanceled(); final int currentNumber = currentInstruction.num(); final E oldE = info.get(currentNumber); final E joinedE = join(currentInstruction, info); final E newE = myDfa.fun(joinedE, currentInstruction); if (!mySemilattice.eq(newE, oldE)) { if (LOG.isDebugEnabled()) { LOG.debug("Number: " + currentNumber + " old: " + oldE.toString() + " new: " + newE.toString()); } info.set(currentNumber, newE); return true; } return false; }