pnml.loader
Class PNMLHelper

java.lang.Object
  extended by pnml.loader.PNMLHelper

public class PNMLHelper
extends java.lang.Object


Constructor Summary
PNMLHelper()
           
 
Method Summary
 java.lang.String getCapacityContinous(org.w3c.dom.Element element)
           
 java.awt.Dimension getDimension(org.w3c.dom.Element element)
           
static org.w3c.dom.Element getElement(java.lang.String tag, org.w3c.dom.Element element)
           
 java.lang.String getInscriptionContinuous(org.w3c.dom.Element element)
           
 java.lang.String getMarkingContinous(org.w3c.dom.Element element)
           
 java.awt.Point getPosition(org.w3c.dom.Element element)
           
 java.lang.String getTokenType(org.w3c.dom.Element element)
           
 org.w3c.dom.Element getToolspecific(org.w3c.dom.Element element)
           
static java.lang.String getValue(java.lang.String tag, org.w3c.dom.Element element)
           
static java.lang.String getValueByTag(java.lang.String tag, org.w3c.dom.Element element)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PNMLHelper

public PNMLHelper()
Method Detail

getValue

public static java.lang.String getValue(java.lang.String tag,
                                        org.w3c.dom.Element element)

getElement

public static org.w3c.dom.Element getElement(java.lang.String tag,
                                             org.w3c.dom.Element element)

getValueByTag

public static java.lang.String getValueByTag(java.lang.String tag,
                                             org.w3c.dom.Element element)

getPosition

public java.awt.Point getPosition(org.w3c.dom.Element element)

getDimension

public java.awt.Dimension getDimension(org.w3c.dom.Element element)

getTokenType

public java.lang.String getTokenType(org.w3c.dom.Element element)

getCapacityContinous

public java.lang.String getCapacityContinous(org.w3c.dom.Element element)

getMarkingContinous

public java.lang.String getMarkingContinous(org.w3c.dom.Element element)

getInscriptionContinuous

public java.lang.String getInscriptionContinuous(org.w3c.dom.Element element)

getToolspecific

public org.w3c.dom.Element getToolspecific(org.w3c.dom.Element element)