public class PnmlTransition extends PnmlNode
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
TAG
PNML transition tag.
|
name, toolSpecificList
factory, 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, importAttributes
convertFromNet, convertToNet, convertToNet, getName
exportAttribute, exportElement, importElement, importText, setFactory
public static final java.lang.String TAG
protected boolean importElements(org.xmlpull.v1.XmlPullParser xpp, Pnml pnml)
PnmlNode
importElements
in class PnmlNode
protected java.lang.String exportElements(Pnml pnml)
PnmlNode
exportElements
in class PnmlNode
public 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)