mSearch.tool

Class ProgressMonitorInputStream

java.lang.Object

java.io.InputStream

java.io.FilterInputStream

mSearch.tool.ProgressMonitorInputStream

All Implemented Interfaces:

java.io.Closeable, java.lang.AutoCloseable

public class ProgressMonitorInputStream
extends java.io.FilterInputStream

User: Christian F. Date: 15.06.16 Time: 14:03

Field Summary

Fields inherited from class java.io.FilterInputStream

in

Constructor Summary

Constructors

Constructor and Description
ProgressMonitorInputStream(java.io.InputStream in, long maxSize, InputStreamProgressMonitor mon) Creates a FilterInputStream by assigning the argument in to the field this.in so as to remember it for later use.

Method Summary

Modifier and Type	Method and Description
int	read()
int	read(byte[] b)
int	read(byte[] b, int off, int len)

Methods inherited from class java.io.FilterInputStream

available, close, mark, markSupported, reset, skip

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ProgressMonitorInputStream

public ProgressMonitorInputStream(java.io.InputStream in,
                                  long maxSize,
                                  InputStreamProgressMonitor mon)
                           throws java.io.IOException

Creates a FilterInputStream by assigning the argument in to the field this.in so as to remember it for later use.

Parameters:

in - the underlying input stream, or null if this instance is to be created without an underlying stream.

Throws:

java.io.IOException

Method Detail

read

public int read()
         throws java.io.IOException

Overrides:

read in class java.io.FilterInputStream

Throws:

java.io.IOException

read

public int read(byte[] b)
         throws java.io.IOException

Overrides:

read in class java.io.FilterInputStream

Throws:

java.io.IOException

read

public int read(byte[] b,
                int off,
                int len)
         throws java.io.IOException

Overrides:

read in class java.io.FilterInputStream

Throws:

java.io.IOException