in src/com/intellij/rt/coverage/data/JumpsAndSwitches.java [125:153]
public void merge(final CoverageData data) {
JumpsAndSwitches jumpsData = (JumpsAndSwitches)data;
if (jumpsData.myJumpsArray != null) {
if (myJumpsArray == null) {
myJumpsArray = new JumpData[jumpsData.myJumpsArray.length];
}
else {
if (myJumpsArray.length < jumpsData.myJumpsArray.length) {
JumpData[] extJumpsArray = new JumpData[jumpsData.myJumpsArray.length];
System.arraycopy(myJumpsArray, 0, extJumpsArray, 0, myJumpsArray.length);
myJumpsArray = extJumpsArray;
}
}
mergeJumps(myJumpsArray, jumpsData.myJumpsArray);
}
if (jumpsData.mySwitchesArray != null) {
if (mySwitchesArray == null) {
mySwitchesArray = new SwitchData[jumpsData.mySwitchesArray.length];
}
else {
if (mySwitchesArray.length < jumpsData.mySwitchesArray.length) {
SwitchData[] extJumpsArray = new SwitchData[jumpsData.mySwitchesArray.length];
System.arraycopy(mySwitchesArray, 0, extJumpsArray, 0, mySwitchesArray.length);
mySwitchesArray = extJumpsArray;
}
}
mergeSwitches(mySwitchesArray, jumpsData.mySwitchesArray);
}
}