public void merge(BranchCoverageData coverageData) { JumpData jumpData = (JumpData) coverageData; getBothLocks(jumpData); try { this.trueHits += jumpData.trueHits; this.falseHits += jumpData.falseHits; } finally { lock.unlock(); jumpData.lock.unlock(); } }
public void merge(BranchCoverageData coverageData) { JumpData jumpData = (JumpData) coverageData; getBothLocks(jumpData); try { this.trueHits += jumpData.trueHits; this.falseHits += jumpData.falseHits; } finally { lock.unlock(); jumpData.lock.unlock(); } }
public void merge(BranchCoverageData coverageData) { JumpData jumpData = (JumpData) coverageData; getBothLocks(jumpData); try { this.trueHits += jumpData.trueHits; this.falseHits += jumpData.falseHits; } finally { lock.unlock(); jumpData.lock.unlock(); } }
public boolean equals(Object obj) { if (this == obj) return true; if ((obj == null) || !(obj.getClass().equals(this.getClass()))) return false; JumpData branchData = (JumpData) obj; getBothLocks(branchData); try { return (this.trueHits == branchData.trueHits) && (this.falseHits == branchData.falseHits) && (this.conditionNumber == branchData.conditionNumber); } finally { lock.unlock(); branchData.lock.unlock(); } }
public boolean equals(Object obj) { if (this == obj) return true; if ((obj == null) || !(obj.getClass().equals(this.getClass()))) return false; JumpData branchData = (JumpData) obj; getBothLocks(branchData); try { return (this.trueHits == branchData.trueHits) && (this.falseHits == branchData.falseHits) && (this.conditionNumber == branchData.conditionNumber); } finally { lock.unlock(); branchData.lock.unlock(); } }
public boolean equals(Object obj) { if (this == obj) return true; if ((obj == null) || !(obj.getClass().equals(this.getClass()))) return false; JumpData branchData = (JumpData) obj; getBothLocks(branchData); try { return (this.trueHits == branchData.trueHits) && (this.falseHits == branchData.falseHits) && (this.conditionNumber == branchData.conditionNumber); } finally { lock.unlock(); branchData.lock.unlock(); } }