Class NoDocumentIdentifier

java.lang.Object
eu.bandm.tools.message.NoDocumentIdentifier

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