src/de/uka/ipd/idaho/goldenGateServer/ims/data/ImsDocumentList.java
/**
	 * Wrap a document list around a reader, which provides the list's data in
	 * form of a character stream. Do not close the specified reader after this
	 * method returns. The reader is closed by the returned list after the last
	 * document list element is read.
	 * @param in the Reader to read from
	 * @param pm a progress monitor observing the reading process
	 * @return a document list that makes the data from the specified reader
	 *         available as document list elements
	 * @throws IOException
	 */
Wrap a document list around a reader, which provides the list's data in
form of a character stream. Do not close the specified reader after this
method returns. The reader is closed by the returned list after the last
document list element is read.
@param in the Reader to read from
@param pm a progress monitor observing the reading process
@return a document list that makes the data from the specified reader
available as document list elements
@throws IOException
Wrap a document list around a reader which provides the list ' s data in form of a character stream . Do not close the specified reader after this method returns . The reader is closed by the returned list after the last document list element is read . @param in the Reader to read from @param pm a progress monitor observing the reading process @return a document list that makes the data from the specified reader available as document list elements @throws IOException
public static ImsDocumentList readDocumentList(Reader in, ProgressMonitor pm) throws IOException {
		final DocumentList dl = DocumentList.readDocumentList(in, pm);
		return new ImsDocumentList(dl) {
			public boolean hasNextDocument() {
				return dl.hasNextDocument();
			}
			public DocumentListElement getNextDocument() {
				return dl.getNextDocument();
			}
			public int getDocumentCount() {
				return dl.getDocumentCount();
			}
			public int getRetrievedDocumentCount() {
				return dl.getRetrievedDocumentCount();
			}
			public int getRemainingDocumentCount() {
				return dl.getRemainingDocumentCount();
			}
			public boolean hasNoSummary(String listFieldName) {
				return (super.hasNoSummary(listFieldName) || dl.hasNoSummary(listFieldName));
			}
			public boolean isNumeric(String listFieldName) {
				return (super.isNumeric(listFieldName) || dl.isNumeric(listFieldName));
			}
			public boolean isFilterable(String listFieldName) {
				return (super.isFilterable(listFieldName) || dl.isFilterable(listFieldName));
			}
		};
	}
public static ImsDocumentList readDocumentList ( Reader in , ProgressMonitor pm ) throws IOException { final DocumentList dl = DocumentList . readDocumentList ( in , pm ) ; return new ImsDocumentList ( dl ) { public boolean hasNextDocument ( ) { return dl . hasNextDocument ( ) ; } public DocumentListElement getNextDocument ( ) { return dl . getNextDocument ( ) ; } public int getDocumentCount ( ) { return dl . getDocumentCount ( ) ; } public int getRetrievedDocumentCount ( ) { return dl . getRetrievedDocumentCount ( ) ; } public int getRemainingDocumentCount ( ) { return dl . getRemainingDocumentCount ( ) ; } public boolean hasNoSummary ( String listFieldName ) { return ( super . hasNoSummary ( listFieldName ) || dl . hasNoSummary ( listFieldName ) ) ; } public boolean isNumeric ( String listFieldName ) { return ( super . isNumeric ( listFieldName ) || dl . isNumeric ( listFieldName ) ) ; } public boolean isFilterable ( String listFieldName ) { return ( super . isFilterable ( listFieldName ) || dl . isFilterable ( listFieldName ) ) ; } } ; }
Wrap a document list around a reader, which provides the list's data in
 form of a character stream.
Wrap a document list around a reader which provides the list ' s data in form of a character stream .
//	wrap IMS specific behavior around generic list