org.activemath.omdocjdom
Class DefaultCollection

java.lang.Object
  org.activemath.omdocjdom.DefaultCollection

All Implemented Interfaces:

OJCollection

public class DefaultCollection
extends Object
implements OJCollection

A collection that does nothing but contain a string for marking.

Constructor Summary

DefaultCollection(String publicID)

Method Summary

ID	getCanonicalID(ID possiblyWrongID)
Iterator	getDefinitions(ID symbolID)
OJElement	getElementAtId(ID id)
Date	getLastModified()
Iterator	getProofs(ID assertionID)
String	getPublicIdentifier()
Iterator	getRelated(ID id)
OJDocument	getStructuredListOfConcepts()
Iterator	listOMDocs()
Iterator	listOMDocsModifiedSince(Date since)
void	reload()
Iterator	searchText(String toSearch)

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultCollection

public DefaultCollection(String publicID)

Method Detail

getPublicIdentifier

public String getPublicIdentifier()

Specified by:

getPublicIdentifier in interface OJCollection

getElementAtId

public OJElement getElementAtId(ID id)

listOMDocs

public Iterator listOMDocs()

listOMDocsModifiedSince

public Iterator listOMDocsModifiedSince(Date since)

getLastModified

public Date getLastModified()

reload

public void reload()

getCanonicalID

public ID getCanonicalID(ID possiblyWrongID)

getRelated

public Iterator getRelated(ID id)

getDefinitions

public Iterator getDefinitions(ID symbolID)

getProofs

public Iterator getProofs(ID assertionID)

searchText

public Iterator searchText(String toSearch)

getStructuredListOfConcepts

public OJDocument getStructuredListOfConcepts()