org.activemath.omdocjdom.map
Interface OJMap

All Known Implementing Classes:

JDM

public interface OJMap

A set of methods to describe what is expected of a map of OMDoc documents.

Method Summary

boolean	doesIdExist(ID id)
Date	getLastModified(ID id)
Date	getLastUpdate()
String	getType(ID id)
Iterator	listCollectionContent(String collection, String type)
Iterator	listTheories(String collection)
Iterator	listTheoryContent(ID theoryId)

Method Detail

doesIdExist

boolean doesIdExist(ID id)

getLastModified

Date getLastModified(ID id)

getLastUpdate

Date getLastUpdate()

getType

String getType(ID id)

listCollectionContent

Iterator listCollectionContent(String collection,
                               String type)

listTheoryContent

Iterator listTheoryContent(ID theoryId)

listTheories

Iterator listTheories(String collection)