|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface FileQuerier
A file querier queries for files.
Method Summary | |
---|---|
void |
close(String id)
Close a chunked file. |
jpl.eda.xmlquery.XMLQuery |
queryForFile(jpl.eda.xmlquery.XMLQuery query,
File[] fileArray,
String optArg)
Query for a file. |
byte[] |
retrieveChunk(String id,
long offset,
int length)
Retrieve a chunk. |
Method Detail |
---|
jpl.eda.xmlquery.XMLQuery queryForFile(jpl.eda.xmlquery.XMLQuery query, File[] fileArray, String optArg) throws jpl.eda.product.ProductException
query
- a XMLQuery
value.files
- array of Files to retrieve.optional
- arg (Zip name or Return_type).
XMLQuery
value.
jpl.eda.product.ProductException
- if an error occurs.void close(String id) throws IOException
id
- Product ID.
IOException
- if an error occurs.byte[] retrieveChunk(String id, long offset, int length) throws IOException
id
- Product ID.offset
- Where to retrieve a fragment.length
- How big a fragment to get.
IOException
- if an error occurs.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |