org.activemath.omdocjdom.slumb
Class IndexedCollectionStatus

java.lang.Object
  org.activemath.omdocjdom.slumb.IndexedCollectionStatus

All Implemented Interfaces:

CollectionStatus, SlumbConstants, TheoryCollection

public class IndexedCollectionStatus
extends Object
implements CollectionStatus, TheoryCollection, SlumbConstants

Class to denote the current status of a collection such as the listing the files, their IDs, their modification dates, and theories. This class will, later, be abstracted to insert imported-collections examples of which will be remote collection.

Field Summary

Fields inherited from interface org.activemath.omdocjdom.slumb.TheoryCollection

NO_THEORY_NAME

Fields inherited from interface org.activemath.omdocjdom.slumb.SlumbConstants

COLL_NAMES_book_list, COLL_NAMES_collection_info, COLL_NAMES_collection_info_sole_text, COLL_NAMES_collection_metadata, COLL_NAMES_course_generation_menu, COLL_NAMES_reserved_names, FIELD_attributes, FIELD_colAndRelPath, FIELD_collection, FIELD_columnNumber, FIELD_commonname, FIELD_containedIds, FIELD_dcmetadata, FIELD_elt_absPath, FIELD_elt_relpath, FIELD_file_absPath, FIELD_file_relpath, FIELD_fileNameFromId, FIELD_fmp, FIELD_id, FIELD_importStrings, FIELD_lastModification, FIELD_lineNumber, FIELD_metadata, FIELD_name, FIELD_relSourceId, FIELD_relTargetId, FIELD_textualContent, FIELD_theoryId, FIELD_theoryName, FIELD_type, FIELD_xmlContent, FIELDVALUE_type_fileObject, FIELDVALUE_type_itemObject, FIELDVALUE_type_theoryObject, modifDateFormat

Constructor Summary

IndexedCollectionStatus(File collectionPath, SlumbIndex index, boolean readOnly)

Method Summary

boolean	canUpdate()
boolean	containsFile(File file)
boolean	containsId(ID id)
Properties	getCollectionDescriptor()
OJElement	getCollectionMetadata()
long	getLastModification()
String	getPublicIdentifier()
void	getReady()
File	getRootDir()
Theory	getTheoryForId(ID id)
Iterator	listOMDocFiles()
Iterator	listTheories()
void	scanIdsInNewFiles()

Methods inherited from class java.lang.Object

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

Constructor Detail

IndexedCollectionStatus

public IndexedCollectionStatus(File collectionPath,
                               SlumbIndex index,
                               boolean readOnly)

Method Detail

getCollectionDescriptor

public Properties getCollectionDescriptor()

getPublicIdentifier

public String getPublicIdentifier()

Specified by:

getPublicIdentifier in interface CollectionStatus

containsId

public boolean containsId(ID id)

Specified by:

containsId in interface CollectionStatus

Specified by:

containsId in interface TheoryCollection

getRootDir

public File getRootDir()

containsFile

public boolean containsFile(File file)

canUpdate

public boolean canUpdate()

Specified by:

canUpdate in interface CollectionStatus

getReady

public void getReady()

Specified by:

getReady in interface CollectionStatus

scanIdsInNewFiles

public void scanIdsInNewFiles()
                       throws IOException

Throws:

IOException

getLastModification

public long getLastModification()

Returns:

Returns the latest modification of any OMDoc file.

getCollectionMetadata

public OJElement getCollectionMetadata()

getTheoryForId

public Theory getTheoryForId(ID id)

Specified by:

getTheoryForId in interface TheoryCollection

listOMDocFiles

public Iterator listOMDocFiles()

listTheories

public Iterator listTheories()