public class DiskSpaceCheckingOutputStream
extends java.io.FilterOutputStream
Constructor and Description |
---|
DiskSpaceCheckingOutputStream(java.io.OutputStream out,
DiskSpaceChecker checker,
java.io.File file,
int bufferSize) |
Modifier and Type | Method and Description |
---|---|
void |
write(byte[] buf) |
void |
write(byte[] buf,
int offset,
int length) |
void |
write(int i) |
public DiskSpaceCheckingOutputStream(java.io.OutputStream out, DiskSpaceChecker checker, java.io.File file, int bufferSize)
public void write(byte[] buf) throws java.io.IOException
write
in class java.io.FilterOutputStream
java.io.IOException
public void write(int i) throws java.io.IOException
write
in class java.io.FilterOutputStream
java.io.IOException
public void write(byte[] buf, int offset, int length) throws java.io.IOException
write
in class java.io.FilterOutputStream
java.io.IOException