public class ProcessInputStream extends InputStream
Modifier and Type | Field and Description |
---|---|
protected InputStream |
in |
protected Process |
p |
Constructor and Description |
---|
ProcessInputStream(String command,
String file)
constructor
|
protected final InputStream in
protected final Process p
public ProcessInputStream(String command, String file) throws IOException
command
- file
- IOException
public void close() throws IOException
close
in interface Closeable
close
in interface AutoCloseable
close
in class InputStream
IOException
public int read() throws IOException
read
in class InputStream
IOException
public int read(byte[] b, int off, int len) throws IOException
read
in class InputStream
IOException
public int read(byte[] b) throws IOException
read
in class InputStream
IOException
public int available() throws IOException
available
in class InputStream
IOException
public void mark(int readlimit)
mark
in class InputStream
public void reset() throws IOException
reset
in class InputStream
IOException
public boolean markSupported()
markSupported
in class InputStream
public long skip(long n) throws IOException
skip
in class InputStream
IOException
Terrier Information Retrieval Platform4.1. Copyright © 2004-2015, University of Glasgow