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.FilterOutputStreamjava.io.IOExceptionpublic void write(int i)
throws java.io.IOException
write in class java.io.FilterOutputStreamjava.io.IOExceptionpublic void write(byte[] buf,
int offset,
int length)
throws java.io.IOException
write in class java.io.FilterOutputStreamjava.io.IOException