org.galagosearch.core.index
Class DocumentLengthsReader

java.lang.Object
  org.galagosearch.core.index.DocumentLengthsReader

public class DocumentLengthsReader
extends java.lang.Object

Author:

trevor

Constructor Summary

DocumentLengthsReader(java.lang.String filename)

Method Summary

void	close()
int	getLength(int document)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DocumentLengthsReader

public DocumentLengthsReader(java.lang.String filename)
                      throws java.io.FileNotFoundException,
                             java.io.IOException

Throws:

java.io.FileNotFoundException

java.io.IOException

Method Detail

close

public void close()
           throws java.io.IOException

Throws:

java.io.IOException

getLength

public int getLength(int document)