org.processmining.plugins.pnml
Class PnmlPage
java.lang.Object
org.processmining.plugins.pnml.PnmlElement
org.processmining.plugins.pnml.PnmlBasicObject
org.processmining.plugins.pnml.PnmlNode
org.processmining.plugins.pnml.PnmlPage
public class PnmlPage
- extends PnmlNode
Basic PNML page object.
- Author:
- hverbeek
Field Summary |
static java.lang.String |
TAG
PNML page tag. |
Constructor Summary |
PnmlPage()
Create a fresh PNML page object. |
PnmlPage(java.lang.String tag)
|
Method Summary |
PnmlReferencePlace |
convertFromNet(ExpandableSubNet parent,
Place place,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout)
|
PnmlReferenceTransition |
convertFromNet(ExpandableSubNet parent,
Transition transition,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout)
|
PnmlPage |
convertFromNet(PetrinetGraph net,
Marking marking,
ExpandableSubNet parent,
ExpandableSubNet 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,
int pageCtr,
Marking marking,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.awt.geom.Point2D.Double displacement,
boolean createGroup,
org.processmining.models.connections.GraphLayoutConnection layout)
Converts this page to a Petri net. |
protected java.lang.String |
exportElements(Pnml pnml)
Exports all child elements. |
org.processmining.framework.util.Pair<java.awt.geom.Point2D.Double,java.awt.geom.Point2D.Double> |
getPageBoundingBox()
Gets the bounding box for all nodes on this page. |
protected boolean |
importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Checks whether the current start tag is known. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TAG
public static final java.lang.String TAG
- PNML page tag.
- See Also:
- Constant Field Values
PnmlPage
public PnmlPage()
- Create a fresh PNML page object.
PnmlPage
public PnmlPage(java.lang.String tag)
importElements
protected boolean importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
- Checks whether the current start tag is known. If known, it imports the
corresponding child element and returns true. Otherwise, it returns
false.
- Overrides:
importElements
in class PnmlNode
- Returns:
- Whether the start tag was known.
exportElements
protected java.lang.String exportElements(Pnml pnml)
- Exports all child elements.
- Overrides:
exportElements
in class PnmlNode
- Returns:
convertToNet
public void convertToNet(PetrinetGraph net,
ExpandableSubNet subNet,
int pageCtr,
Marking marking,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.awt.geom.Point2D.Double displacement,
boolean createGroup,
org.processmining.models.connections.GraphLayoutConnection layout)
- Converts this page to a Petri net.
- Parameters:
net
- Where to store the net.subNet
- Where to store the sub net.marking
- Where to store the initial marking.placeMap
- Places found so far.transitionMap
- Transitions found so far.
getPageBoundingBox
public org.processmining.framework.util.Pair<java.awt.geom.Point2D.Double,java.awt.geom.Point2D.Double> getPageBoundingBox()
- Gets the bounding box for all nodes on this page.
- Returns:
- The bounding box for all nodes on this page.
convertFromNet
public PnmlPage convertFromNet(PetrinetGraph net,
Marking marking,
ExpandableSubNet parent,
ExpandableSubNet 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)
convertFromNet
public PnmlReferencePlace convertFromNet(ExpandableSubNet parent,
Place place,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout)
convertFromNet
public PnmlReferenceTransition convertFromNet(ExpandableSubNet parent,
Transition transition,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout)