public class PnmlToolSpecific extends PnmlElement
Modifier and Type | Field and Description |
---|---|
protected java.lang.String |
activity |
protected static java.lang.String |
INVISIBLE |
protected java.lang.String |
localNodeID |
protected static java.lang.String |
PROM |
static java.lang.String |
TAG |
protected java.lang.String |
tool |
protected java.lang.String |
version |
protected static java.lang.String |
VERSION |
factory, lineNumber, tag
Constructor and Description |
---|
PnmlToolSpecific() |
Modifier and Type | Method and Description |
---|---|
protected void |
checkValidity(Pnml pnml)
Default check for validity: No action.
|
void |
convertFromNet(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> edge) |
void |
convertFromNet(Place place) |
void |
convertFromNet(Transition transition) |
void |
convertToNet(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> edge) |
void |
convertToNet(Place place) |
void |
convertToNet(Transition transition) |
protected java.lang.String |
exportAttributes(Pnml pnml)
Exports all standard attributes: None.
|
protected void |
importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Imports all standard attributes: None.
|
exportAttribute, exportElement, exportElements, importElement, importElements, importText, setFactory
public static final java.lang.String TAG
protected static final java.lang.String PROM
protected static final java.lang.String VERSION
protected static final java.lang.String INVISIBLE
protected java.lang.String tool
protected java.lang.String version
protected java.lang.String activity
protected java.lang.String localNodeID
protected void importAttributes(org.xmlpull.v1.XmlPullParser xpp, Pnml pnml)
PnmlElement
importAttributes
in class PnmlElement
protected java.lang.String exportAttributes(Pnml pnml)
PnmlElement
exportAttributes
in class PnmlElement
protected void checkValidity(Pnml pnml)
PnmlElement
checkValidity
in class PnmlElement
public void convertToNet(Transition transition)
public void convertToNet(Place place)
public void convertToNet(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> edge)
public void convertFromNet(Transition transition)
public void convertFromNet(Place place)
public void convertFromNet(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> edge)