jpl.pds.server
Interface FileQuerier

All Known Implementing Classes:
ChunkedFileHandler, DirFileListHandler, DirListHandler, FileListHandler, JPEGFileHandler, LabelQueryHandler, RawFileHandler, ZipDFileHandler, ZipFileHandler, ZipNFileHandler, ZipTESFileHandler

public interface FileQuerier

A file querier queries for files.

Version:
$Revision: 11071 $
Author:
Kelly

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

queryForFile

jpl.eda.xmlquery.XMLQuery queryForFile(jpl.eda.xmlquery.XMLQuery query,
                                       File[] fileArray,
                                       String optArg)
                                       throws jpl.eda.product.ProductException
Query for a file.

Parameters:
query - a XMLQuery value.
files - array of Files to retrieve.
optional - arg (Zip name or Return_type).
Returns:
a XMLQuery value.
Throws:
jpl.eda.product.ProductException - if an error occurs.

close

void close(String id)
           throws IOException
Close a chunked file.

Parameters:
id - Product ID.
Throws:
IOException - if an error occurs.

retrieveChunk

byte[] retrieveChunk(String id,
                     long offset,
                     int length)
                     throws IOException
Retrieve a chunk.

Parameters:
id - Product ID.
offset - Where to retrieve a fragment.
length - How big a fragment to get.
Returns:
The fragment.
Throws:
IOException - if an error occurs.


Copyright © 2005-2012 Planetary Data System. All Rights Reserved.