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.IOException
public InputStream getInputStream(URL u) throws IOException
IOException
public InputStream getInputStream(File f) throws IOException
f
- a FileIOException
Copyright © 2000–2018 BioJava. All rights reserved.