pnml.loader
Class PNMLHelper
java.lang.Object
pnml.loader.PNMLHelper
public class PNMLHelper
- extends java.lang.Object
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 |
PNMLHelper
public PNMLHelper()
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)