|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectJet.Tipster.DocumentCollection
a set of ExternalDocuments.
The DocumentCollection is represented by a file with one line for each ExternalDocument in the DocumentCollection. The line consist of either
Constructor Summary | |
DocumentCollection(java.lang.String fileName)
create a new DocumentCollection based on file 'fileName'. |
Method Summary | |
ExternalDocument |
get(int i)
returns the i-th document in the Collection. |
java.lang.String |
getName()
returns the fileName (not the full path) of the Collection. |
boolean |
open()
read the information about the Collection from an external file. |
void |
save()
save all the Documents in the Collection. |
void |
saveAs(java.lang.String newFileName)
save the Collection to file 'newFileName', and then save all the Documents in the Collection. |
int |
size()
returns the number of documents in the Collection. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public DocumentCollection(java.lang.String fileName)
Method Detail |
public boolean open()
public void save()
public void saveAs(java.lang.String newFileName)
public int size()
public ExternalDocument get(int i)
public java.lang.String getName()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |