public void merge(BranchCoverageData coverageData) { SwitchData switchData = (SwitchData) coverageData; defaultHits += switchData.defaultHits; for (int i = Math.min(hits.length, switchData.hits.length) - 1; i >= 0; i--) hits[i] += switchData.hits[i]; if (switchData.hits.length > hits.length) { long[] old = hits; hits = new long[switchData.hits.length]; System.arraycopy(old, 0, hits, 0, old.length); System.arraycopy(switchData.hits, old.length, hits, old.length, hits.length - old.length); } if ((this.keys.length == 0) && (switchData.keys.length > 0)) this.keys = switchData.keys; maxBranches = Math.min(maxBranches, switchData.getMaxBranches()); }
public void merge(BranchCoverageData coverageData) { SwitchData switchData = (SwitchData) coverageData; defaultHits += switchData.defaultHits; for (int i = Math.min(hits.length, switchData.hits.length) - 1; i >= 0; i--) hits[i] += switchData.hits[i]; if (switchData.hits.length > hits.length) { long[] old = hits; hits = new long[switchData.hits.length]; System.arraycopy(old, 0, hits, 0, old.length); System.arraycopy(switchData.hits, old.length, hits, old.length, hits.length - old.length); } if ((this.keys.length == 0) && (switchData.keys.length > 0)) this.keys = switchData.keys; maxBranches = Math.min(maxBranches, switchData.getMaxBranches()); }
void addSwitch(int switchNumber, int min, int max, int maxBranches) { SwitchData sd = getSwitchData(switchNumber, new SwitchData( switchNumber, min, max, maxBranches)); if (sd.getMaxBranches() > maxBranches) { sd.setMaxBranches(maxBranches); } }
void addSwitch(int switchNumber, int min, int max, int maxBranches) { SwitchData sd = getSwitchData(switchNumber, new SwitchData( switchNumber, min, max, maxBranches)); if (sd.getMaxBranches() > maxBranches) { sd.setMaxBranches(maxBranches); } }