view src/cachingfilter/BufferInputStream.java @ 65:3d7067a23eff

fix
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 17 Sep 2024 05:01:59 -0600
parents 7ecd1a4ef557
children
line wrap: on
line source

package cachingfilter;

import java.io.InputStream;
import org.eclipse.jetty.io.Buffer;


public final class BufferInputStream extends InputStream {
	private final Buffer buffer;

	public BufferInputStream(Buffer buffer) {
		this.buffer = buffer;
	}

	public int read() {
		return buffer.length()==0 ? -1 : buffer.get();
	}

	public int read(byte b[], int off, int len) {
		return buffer.get(b,off,len);
	}

	public long skip(long n) {
		return buffer.skip( (int)n );
	}

	public int available() {
		return buffer.length();
	}

	public void mark(int readlimit) {
		buffer.mark();
	}

	public void reset() {
		buffer.reset();
	}

	public boolean markSupported() {
		return true;
	}
}