zzh
/
gatk-3.8
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Inline increment function in RecalDatum to avoid minor duplication of work and multiple synchronized method calls

This commit is contained in:
Mark DePristo 2012-12-17 16:38:10 -05:00
parent 66d32f646b
commit b33f804cdc
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
public/java/src/org/broadinstitute/sting/utils/recalibration/RecalDatum.java
View File

@ -248,8 +248,9 @@ public class RecalDatum {
@Requires({"incObservations >= 0", "incMismatches >= 0"}) @Requires({"incObservations >= 0", "incMismatches >= 0"})
@Ensures({"numObservations == old(numObservations) + incObservations", "numMismatches == old(numMismatches) + incMismatches"}) @Ensures({"numObservations == old(numObservations) + incObservations", "numMismatches == old(numMismatches) + incMismatches"})
public synchronized void increment(final double incObservations, final double incMismatches) { public synchronized void increment(final double incObservations, final double incMismatches) {
incrementNumObservations(incObservations); numObservations += incObservations;
incrementNumMismatches(incMismatches); numMismatches += incMismatches;
empiricalQuality = UNINITIALIZED;
} }
@Ensures({"numObservations == old(numObservations) + 1", "numMismatches >= old(numMismatches)"}) @Ensures({"numObservations == old(numObservations) + 1", "numMismatches >= old(numMismatches)"})