Package eu.bandm.tools.location

Class NoDocumentIdentifier

java.lang.Object

eu.bandm.tools.location.NoDocumentIdentifier

public class NoDocumentIdentifier
extends Object

Class without instances, used as type parameter for locations which do not define a document identifier. No instance needs to be constructed, because "no document identifier defined" is modelled by "=null".

Method Summary

Methods inherited from class java.lang.Object

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