public class InputStreamProvider extends Object
| Modifier and Type | Field and Description |
|---|---|
static String |
CACHE_PROPERTY |
static int |
GZIP_MAGIC
The magic number found at the start of a GZIP stream.
|
| Constructor and Description |
|---|
InputStreamProvider() |
| Modifier and Type | Method and Description |
|---|---|
InputStream |
getInputStream(File f)
Get an InputStream for the file.
|
InputStream |
getInputStream(String pathToFile)
Get an InputStream for given file path.
|
InputStream |
getInputStream(URL u) |
public static final int GZIP_MAGIC
public static final String CACHE_PROPERTY
public InputStreamProvider()
public InputStream getInputStream(String pathToFile) throws IOException
pathToFile - the path of the file.IOExceptionpublic InputStream getInputStream(URL u) throws IOException
IOExceptionpublic InputStream getInputStream(File f) throws IOException
f - a FileIOExceptionCopyright © 2000–2017 BioJava. All rights reserved.