pnml.writer
Class AbstractPNMLParser
java.lang.Object
pnml.writer.AbstractPNMLParser
- Direct Known Subclasses:
- PNMLParserContinuous, PNMLParserDiscrete
public abstract class AbstractPNMLParser
- extends java.lang.Object
Method Summary |
abstract org.w3c.dom.Element |
createArcElement(AbstractArc arc,
org.w3c.dom.Document document)
Creates a Arc Element for a PNML Petri-Net DOM |
void |
createNodeAttr(org.graffiti.graph.Node node,
org.w3c.dom.Element element)
|
abstract org.w3c.dom.Element |
createPlaceElement(Place place,
org.w3c.dom.Document document)
Creates a Place Element for a PNML Petri-Net DOM |
void |
createPNML(PetriNet pn,
java.io.OutputStream output)
|
abstract org.w3c.dom.Element |
createTransitionElement(Transition transition,
org.w3c.dom.Document document)
Creates a Transition Element for a PNML Petri-Net DOM |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
AbstractPNMLParser
public AbstractPNMLParser()
createPNML
public void createPNML(PetriNet pn,
java.io.OutputStream output)
throws java.io.IOException
- Throws:
java.io.IOException
createNodeAttr
public void createNodeAttr(org.graffiti.graph.Node node,
org.w3c.dom.Element element)
createPlaceElement
public abstract org.w3c.dom.Element createPlaceElement(Place place,
org.w3c.dom.Document document)
- Creates a Place Element for a PNML Petri-Net DOM
- Parameters:
place
- Input Placedocument
- Any DOM to enable creation of Elements and Attributes
- Returns:
- Place Element for a PNML Petri-Net DOM
createTransitionElement
public abstract org.w3c.dom.Element createTransitionElement(Transition transition,
org.w3c.dom.Document document)
- Creates a Transition Element for a PNML Petri-Net DOM
- Parameters:
transition
- Input Transitiondocument
- Any DOM to enable creation of Elements and Attributes
- Returns:
- Transition Element for a PNML Petri-Net DOM
createArcElement
public abstract org.w3c.dom.Element createArcElement(AbstractArc arc,
org.w3c.dom.Document document)
- Creates a Arc Element for a PNML Petri-Net DOM
- Parameters:
arc
- Input Arcdocument
- Any DOM to enable creation of Elements and Attributes
- Returns:
- Arc Element for a PNML Petri-Net DOM