gov.nasa.jpf.util

Class SplitInputStream

java.lang.Object

gov.nasa.jpf.util.SplitInputStream

public class SplitInputStream
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
SplitInputStream(java.io.InputStream source, int streamCount)
SplitInputStream(java.io.InputStream source, int streamCount, int initialSize)

Method Summary

Modifier and Type	Method and Description
java.io.InputStream	getStream(int index)
int	getStreamCount()

Methods inherited from class java.lang.Object

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

Constructor Detail

SplitInputStream

public SplitInputStream(java.io.InputStream source,
                        int streamCount)

SplitInputStream

public SplitInputStream(java.io.InputStream source,
                        int streamCount,
                        int initialSize)

Method Detail

getStreamCount

public int getStreamCount()

getStream

public java.io.InputStream getStream(int index)