Searched refs:oldPoolIndex (Results 1 – 1 of 1) sorted by relevance
133 int oldPoolIndex = 0; in generateMutation() local148 oldPoolIndex = containsPoolIndex.getPoolIndex(poolIndexInsn.insn); in generateMutation()149 newPoolIndex = oldPoolIndex; in generateMutation()162 while (newPoolIndex == oldPoolIndex) { in generateMutation()186 int oldPoolIndex = containsPoolIndex.getPoolIndex(poolIndexInsn.insn); in applyMutation() local188 Log.info("Changed pool index " + oldPoolIndex + " to " + mutation.newPoolIndex in applyMutation()