pnml.writer
Class PNMLParserContinuous

java.lang.Object
  extended by pnml.writer.AbstractPNMLParser
      extended by pnml.writer.PNMLParserContinuous

public class PNMLParserContinuous
extends AbstractPNMLParser


Constructor Summary
PNMLParserContinuous()
           
 
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 pnml.writer.AbstractPNMLParser
createNodeAttr, createPNML
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PNMLParserContinuous

public PNMLParserContinuous()
Method Detail

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