Searched refs:switchTargetIdx (Results 1 – 1 of 1) sorted by relevance
38 public int switchTargetIdx; field in SwitchBranchShifter.AssociatedMutation45 builder.append(switchTargetIdx).append(" "); in getString()53 switchTargetIdx = Integer.parseInt(elements[3]); in parseString()113 int switchTargetIdx = rng.nextInt(switchInsn.targets.size()); in generateMutation() local116 MInsn oldTargetInsn = switchInsn.targets.get(switchTargetIdx); in generateMutation()144 mutation.switchTargetIdx = switchTargetIdx; in generateMutation()164 switchInsn.targets.remove(mutation.switchTargetIdx); in applyMutation()165 switchInsn.targets.add(mutation.switchTargetIdx, newTargetInsn); in applyMutation()167 Log.info("Shifted target #" + mutation.switchTargetIdx + " of " + switchInsn in applyMutation()