Remove problematic @Ensures from InputProducer.

-- We need to figure out why CoFoJa is broken in the NanoScheduler
This commit is contained in:
Mark DePristo 2012-09-19 09:58:36 -04:00
parent 33fabb8180
commit d2046b67b1
1 changed files with 1 additions and 2 deletions

View File

@ -1,6 +1,5 @@
package org.broadinstitute.sting.utils.nanoScheduler;
import com.google.java.contract.Ensures;
import org.apache.log4j.Logger;
import org.broadinstitute.sting.utils.SimpleTimer;
import org.broadinstitute.sting.utils.exceptions.ReviewedStingException;
@ -187,7 +186,7 @@ class InputProducer<InputType> implements Runnable {
*
* @return ID
*/
@Ensures({"result.isEOFMarker()", "result.getId() == getId() + 1"})
//@Ensures({"result.isEOFMarker()", "result.getId() == getId() + 1"})
public InputValue nextEOF() {
if ( ! isEOFMarker() )
throw new IllegalArgumentException("Cannot request next EOF marker for non-EOF marker InputValue");