pnml.writer
Class AbstractPNMLParser

java.lang.Object
  extended by pnml.writer.AbstractPNMLParser
Direct Known Subclasses:
PNMLParserContinuous, PNMLParserDiscrete

public abstract class AbstractPNMLParser
extends java.lang.Object


Constructor Summary
AbstractPNMLParser()
           
 
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
 

Constructor Detail

AbstractPNMLParser

public AbstractPNMLParser()
Method Detail

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 Place
document - 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 Transition
document - 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 Arc
document - Any DOM to enable creation of Elements and Attributes
Returns:
Arc Element for a PNML Petri-Net DOM