edu.stanford.smi.protegex.owl.model.impl
Class AbstractNamespaceManager

java.lang.Object
  edu.stanford.smi.protegex.owl.model.impl.AbstractNamespaceManager

All Implemented Interfaces:

NamespaceManager, NamespaceMap

Direct Known Subclasses:

OWLNamespaceManager

public abstract class AbstractNamespaceManager

extends Object

implements NamespaceManager

An abstract implementation of basic services for NamespaceManagers.

Author:

Holger Knublauch

Field Summary

private Collection	listeners
protected OWLModel	owlModel

Constructor Summary

AbstractNamespaceManager()

Method Summary

void	addNamespaceManagerListener(NamespaceManagerListener listener)
protected Collection	getListeners()
void	init(OWLModel owlModel)
void	removeNamespaceManagerListener(NamespaceManagerListener listener)
void	setDefaultNamespace(URI uri)
void	setPrefix(URI namespace, String prefix)

Methods inherited from class java.lang.Object

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

Methods inherited from interface edu.stanford.smi.protegex.owl.model.NamespaceManager

isModifiable, setModifiable, update

Methods inherited from interface edu.stanford.smi.protegex.owl.model.NamespaceMap

getDefaultNamespace, getNamespaceForPrefix, getPrefix, getPrefixes, removePrefix, setDefaultNamespace, setPrefix

Field Detail

listeners

private Collection listeners

owlModel

protected OWLModel owlModel

Constructor Detail

AbstractNamespaceManager

public AbstractNamespaceManager()

Method Detail

addNamespaceManagerListener

public void addNamespaceManagerListener(NamespaceManagerListener listener)

Specified by:

addNamespaceManagerListener in interface NamespaceManager

init

public void init(OWLModel owlModel)

Specified by:

init in interface NamespaceManager

getListeners

protected Collection getListeners()

removeNamespaceManagerListener

public void removeNamespaceManagerListener(NamespaceManagerListener listener)

Specified by:

removeNamespaceManagerListener in interface NamespaceManager

setDefaultNamespace

public void setDefaultNamespace(URI uri)

Specified by:

setDefaultNamespace in interface NamespaceMap

setPrefix

public void setPrefix(URI namespace,
                      String prefix)

Specified by:

setPrefix in interface NamespaceMap