public class PnmlArc extends PnmlBasicObject
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
TAG
PNML arc tag.
|
name, toolSpecificList
factory, lineNumber, tag
Modifier | Constructor and Description |
---|---|
protected |
PnmlArc()
Creates a fresh PNML arc.
|
Modifier and Type | Method and Description |
---|---|
protected void |
checkValidity(Pnml pnml)
Checks validity.
|
PnmlArc |
convertFromNet(ExpandableSubNet parent,
PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> edge,
PnmlPage page,
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,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.util.Map<java.lang.String,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> edgeMap,
java.awt.geom.Point2D.Double displacement,
org.processmining.models.connections.GraphLayoutConnection layout)
Converts this PNML arc to a regular Petri net arc.
|
protected java.lang.String |
exportAttributes(Pnml pnml)
Exports all attributes.
|
protected java.lang.String |
exportElements(Pnml pnml)
Exports all child elements.
|
protected void |
importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Imports all known attributes.
|
protected boolean |
importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Checks whether the current start tag is known.
|
convertFromNet, convertToNet, convertToNet, getName
exportAttribute, exportElement, importElement, importText, setFactory
public static final java.lang.String TAG
protected void importAttributes(org.xmlpull.v1.XmlPullParser xpp, Pnml pnml)
importAttributes
in class PnmlElement
protected java.lang.String exportAttributes(Pnml pnml)
exportAttributes
in class PnmlElement
protected boolean importElements(org.xmlpull.v1.XmlPullParser xpp, Pnml pnml)
importElements
in class PnmlBasicObject
protected java.lang.String exportElements(Pnml pnml)
exportElements
in class PnmlBasicObject
protected void checkValidity(Pnml pnml)
checkValidity
in class PnmlElement
public void convertToNet(PetrinetGraph net, ExpandableSubNet subNet, java.util.Map<java.lang.String,Place> placeMap, java.util.Map<java.lang.String,Transition> transitionMap, java.util.Map<java.lang.String,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> edgeMap, java.awt.geom.Point2D.Double displacement, org.processmining.models.connections.GraphLayoutConnection layout)
net
- The net to add the arc to.subNet
- The sub net to add the arc to.placeMap
- The places found so far.transitionMap
- The transitions found so far.public PnmlArc convertFromNet(ExpandableSubNet parent, PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> edge, PnmlPage page, java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap, org.processmining.models.connections.GraphLayoutConnection layout)