public class PnmlArc extends PnmlBasicObject
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
TAG
PNML arc tag.
|
name, toolSpecificListfactory, 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, getNameexportAttribute, exportElement, importElement, importText, setFactorypublic static final java.lang.String TAG
protected void importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
importAttributes in class PnmlElementprotected java.lang.String exportAttributes(Pnml pnml)
exportAttributes in class PnmlElementprotected boolean importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
importElements in class PnmlBasicObjectprotected java.lang.String exportElements(Pnml pnml)
exportElements in class PnmlBasicObjectprotected void checkValidity(Pnml pnml)
checkValidity in class PnmlElementpublic 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)