pnml.loader
Class AbstractPetriNetParser
java.lang.Object
pnml.loader.AbstractPetriNetParser
- Direct Known Subclasses:
- PetriNetParserContinuous, PetriNetParserDiscrete
public abstract class AbstractPetriNetParser
- extends java.lang.Object
Method Summary |
abstract void |
createArc(org.w3c.dom.Element element)
|
org.graffiti.graph.AdjListGraph |
createGraph(org.w3c.dom.NodeList nodeList)
|
void |
createNodeAttr(org.graffiti.graph.Node node,
org.w3c.dom.Element element,
java.lang.String str)
|
abstract void |
createPlace(org.w3c.dom.Element element)
|
abstract void |
createTransition(org.w3c.dom.Element element)
|
long |
getID(java.lang.String id)
|
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
AbstractPetriNetParser
public AbstractPetriNetParser()
createGraph
public org.graffiti.graph.AdjListGraph createGraph(org.w3c.dom.NodeList nodeList)
getID
public long getID(java.lang.String id)
createNodeAttr
public void createNodeAttr(org.graffiti.graph.Node node,
org.w3c.dom.Element element,
java.lang.String str)
createPlace
public abstract void createPlace(org.w3c.dom.Element element)
createTransition
public abstract void createTransition(org.w3c.dom.Element element)
createArc
public abstract void createArc(org.w3c.dom.Element element)