public class PnmlToolSpecific extends PnmlElement
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
TAG |
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, importTextpublic static final java.lang.String TAG
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)