pnml.loader
Class AbstractPetriNetParser

java.lang.Object
  extended by pnml.loader.AbstractPetriNetParser
Direct Known Subclasses:
PetriNetParserContinuous, PetriNetParserDiscrete

public abstract class AbstractPetriNetParser
extends java.lang.Object


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

Constructor Detail

AbstractPetriNetParser

public AbstractPetriNetParser()
Method Detail

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)