public class PnmlTransition extends PnmlNode
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
TAG
PNML transition tag.
|
name, toolSpecificListfactory, lineNumber, tag| Modifier | Constructor and Description |
|---|---|
protected |
PnmlTransition()
Creates a fresh PNML transition.
|
| Modifier and Type | Method and Description |
|---|---|
PnmlTransition |
convertFromNet(PetrinetGraph net,
ExpandableSubNet parent,
Transition element,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
void |
convertToNet(PetrinetGraph net,
ExpandableSubNet subNet,
java.util.Map<java.lang.String,Transition> map,
java.awt.geom.Point2D.Double displacement,
org.processmining.models.connections.GraphLayoutConnection layout)
Converts this transition to a Petri net transition.
|
protected java.lang.String |
exportElements(Pnml pnml)
Exports all child elements.
|
protected boolean |
importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Checks whether the current start tag is known.
|
checkValidity, convertFromNet, convertToNet, exportAttributes, getBoundingBox, getGraphics, importAttributesconvertFromNet, convertToNet, convertToNet, getNameexportAttribute, exportElement, importElement, importText, setFactorypublic static final java.lang.String TAG
protected boolean importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
PnmlNodeimportElements in class PnmlNodeprotected java.lang.String exportElements(Pnml pnml)
PnmlNodeexportElements in class PnmlNodepublic void convertToNet(PetrinetGraph net, ExpandableSubNet subNet, java.util.Map<java.lang.String,Transition> map, java.awt.geom.Point2D.Double displacement, org.processmining.models.connections.GraphLayoutConnection layout)
net - The net to add the transition to.subNet - The sub net to add the transition to.map - The transitions found so far.public PnmlTransition convertFromNet(PetrinetGraph net, ExpandableSubNet parent, Transition element, java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap, org.processmining.models.connections.GraphLayoutConnection layout)