view src/goodjava/io/NoMarkInputStream.java @ 1802:ca98dee04e08 default tip

add Parsers.json_null
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 21 Apr 2024 21:25:15 -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;
	}

}