view src/goodjava/io/NoMarkInputStream.java @ 1540:79f67662d3e7

delete next_id
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 13 Sep 2020 15:32:51 -0600
parents 91c167099462
children
line wrap: on
line source

package goodjava.io;

import java.io.InputStream;
import java.io.FilterInputStream;
import java.io.IOException;


public class NoMarkInputStream extends FilterInputStream {

	public NoMarkInputStream(InputStream in) {
		super(in);
	}

	public final void mark(int readlimit) {}

	public final void reset() throws IOException {
		throw new IOException("mark/reset not supported");
	}

	public final boolean markSupported() {
		return false;
	}

}