Searched refs:switchInsnIdx (Results 1 – 1 of 1) sorted by relevance
37 public int switchInsnIdx; field in SwitchBranchShifter.AssociatedMutation44 builder.append(switchInsnIdx).append(" "); in getString()52 switchInsnIdx = Integer.parseInt(elements[2]); in parseString()109 int switchInsnIdx = rng.nextInt(switchInsns.size()); in generateMutation() local110 MSwitchInsn switchInsn = switchInsns.get(switchInsnIdx); in generateMutation()143 mutation.switchInsnIdx = switchInsnIdx; in generateMutation()157 MSwitchInsn switchInsn = switchInsns.get(mutation.switchInsnIdx); in applyMutation()