001 package edu.rice.cs.cunit.util;
002
003 import java.io.FilterInputStream;
004 import java.io.IOException;
005 import java.io.InputStream;
006
007 /** Can provide the position of an input stream. */
008 public interface ProvidesInputStreamPosition {
009 /**
010 * <p>Get the stream position.</p>
011 *
012 * <p>Eventually, the position will roll over to a negative number.
013 * Reading 1 Tb per second, this would occur after approximately three
014 * months. Applications should account for this possibility in their
015 * design.</p>
016 *
017 * @return the current stream position.
018 */
019 public long getPosition();
020 }