001    package edu.rice.cs.cunit.instrumentors;
002    
003    import java.io.IOException;
004    
005    /**
006     * An IOException that we can retry.
007     * @author Mathias Ricken
008     */
009    public abstract class RetryIOException extends IOException {
010        /**
011         * Creates a new retryable IOException
012         * @param s message
013         */
014        public RetryIOException(String s) {
015            super(s);
016        }
017    
018        /**
019         * Retry the failed operation one more time.
020         * @throws java.io.IOException
021         */
022        public abstract void retry() throws IOException;
023    }