org.rubato.xml
Class Dispatcher
java.lang.Object
org.rubato.xml.Dispatcher
public class Dispatcher
- extends java.lang.Object
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
getDispatcher
public static Dispatcher getDispatcher()
resolveModule
public Module resolveModule(XMLReader reader,
org.w3c.dom.Element moduleElement)
resolveModuleMorphism
public ModuleMorphism resolveModuleMorphism(XMLReader reader,
org.w3c.dom.Element morphismElement)
resolveElement
public ModuleElement resolveElement(XMLReader reader,
org.w3c.dom.Element element)
resolveMorphismMap
public MorphismMap resolveMorphismMap(XMLReader reader,
org.w3c.dom.Element morphismMapElement)
addModule
public void addModule(XMLInputOutput<Module> dispatch)
addModuleMorphism
public void addModuleMorphism(XMLInputOutput<ModuleMorphism> dispatch)
addMorphismMap
public void addMorphismMap(XMLInputOutput<MorphismMap> dispatch)
addModuleElement
public void addModuleElement(XMLInputOutput<ModuleElement> dispatch)