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, setFactorypublic 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)
PnmlElementimportAttributes in class PnmlElementprotected java.lang.String exportAttributes(Pnml pnml)
PnmlElementexportAttributes in class PnmlElementprotected void checkValidity(Pnml pnml)
PnmlElementcheckValidity in class PnmlElementpublic 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)