pnml.writer
Class PNMLParserDiscrete
java.lang.Object
pnml.writer.AbstractPNMLParser
pnml.writer.PNMLParserDiscrete
public class PNMLParserDiscrete
- extends AbstractPNMLParser
Method Summary |
org.w3c.dom.Element |
createArcElement(AbstractArc arc,
org.w3c.dom.Document document)
Creates a Arc Element for a PNML Petri-Net DOM |
org.w3c.dom.Element |
createPlaceElement(Place place,
org.w3c.dom.Document document)
Creates a Place Element for a PNML Petri-Net DOM |
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 |
PNMLParserDiscrete
public PNMLParserDiscrete()
createPlaceElement
public org.w3c.dom.Element createPlaceElement(Place place,
org.w3c.dom.Document document)
- Description copied from class:
AbstractPNMLParser
- Creates a Place Element for a PNML Petri-Net DOM
- Specified by:
createPlaceElement
in class AbstractPNMLParser
- Parameters:
place
- Input Placedocument
- Any DOM to enable creation of Elements and Attributes
- Returns:
- Place Element for a PNML Petri-Net DOM
createTransitionElement
public org.w3c.dom.Element createTransitionElement(Transition transition,
org.w3c.dom.Document document)
- Description copied from class:
AbstractPNMLParser
- Creates a Transition Element for a PNML Petri-Net DOM
- Specified by:
createTransitionElement
in class AbstractPNMLParser
- Parameters:
transition
- Input Transitiondocument
- Any DOM to enable creation of Elements and Attributes
- Returns:
- Transition Element for a PNML Petri-Net DOM
createArcElement
public org.w3c.dom.Element createArcElement(AbstractArc arc,
org.w3c.dom.Document document)
- Description copied from class:
AbstractPNMLParser
- Creates a Arc Element for a PNML Petri-Net DOM
- Specified by:
createArcElement
in class AbstractPNMLParser
- Parameters:
arc
- Input Arcdocument
- Any DOM to enable creation of Elements and Attributes
- Returns:
- Arc Element for a PNML Petri-Net DOM