public class PnmlPage extends PnmlNode
Modifier and Type | Class and Description |
---|---|
protected class |
PnmlPage.PageMap |
Modifier and Type | Field and Description |
---|---|
protected java.util.List<PnmlArc> |
arcList
Arc elements.
|
protected java.util.List<PnmlNode> |
nodeList
Node elements.
|
protected ExpandableSubNet |
subNet |
static java.lang.String |
TAG
PNML page tag.
|
name, toolSpecificList
factory, lineNumber, tag
Modifier | Constructor and Description |
---|---|
protected |
PnmlPage()
Create a fresh PNML page object.
|
protected |
PnmlPage(java.lang.String tag)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
protected void |
convertArcsFromNet(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,
PnmlPage.PageMap pageMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
protected void |
convertArcsToNet(PetrinetGraph net,
ExpandableSubNet subNet,
Marking marking,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.util.Map<java.lang.String,PetrinetEdge<?,?>> edgeMap,
java.awt.geom.Point2D.Double displacement,
org.processmining.models.connections.GraphLayoutConnection layout) |
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) |
protected PnmlPage |
convertGroupsFromNet(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,
PnmlPage.PageMap pageMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
protected void |
convertGroupsToNet(PetrinetGraph net,
ExpandableSubNet subNet,
java.lang.String label,
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) |
protected void |
convertNodesFromNet(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,
PnmlPage.PageMap pageMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
protected void |
convertNodesToNet(PetrinetGraph net,
ExpandableSubNet subNet,
Marking marking,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.awt.geom.Point2D.Double displacement,
org.processmining.models.connections.GraphLayoutConnection layout) |
protected void |
convertRefNodesToNet(PetrinetGraph net,
ExpandableSubNet subNet,
Marking marking,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap) |
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.util.Map<java.lang.String,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> edgeMap,
java.awt.geom.Point2D.Double displacement,
boolean createGroup,
org.processmining.models.connections.GraphLayoutConnection layout)
Converts this page to a Petri net.
|
protected PnmlPage.PageMap |
createPageMap() |
protected java.lang.String |
exportElements(Pnml pnml)
Exports all child elements.
|
protected java.lang.String |
exportElements(Pnml pnml,
java.lang.String lineSeparator)
Exports all child elements.
|
protected java.awt.geom.Point2D.Double |
getDisplacement(java.awt.geom.Point2D.Double displacement,
PnmlPage page)
Gets the displacement for nodes/arcs on the given page, given the
displacement for the page itself.
|
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.
|
checkValidity, convertFromNet, convertToNet, exportAttributes, getBoundingBox, getGraphics, importAttributes
convertFromNet, convertToNet, convertToNet, getName
exportAttribute, exportElement, importElement, importText, setFactory
public static final java.lang.String TAG
protected java.util.List<PnmlNode> nodeList
protected java.util.List<PnmlArc> arcList
protected ExpandableSubNet subNet
protected PnmlPage()
@Deprecated protected PnmlPage(java.lang.String tag)
protected boolean importElements(org.xmlpull.v1.XmlPullParser xpp, Pnml pnml)
importElements
in class PnmlNode
protected java.lang.String exportElements(Pnml pnml)
exportElements
in class PnmlNode
protected java.lang.String exportElements(Pnml pnml, java.lang.String lineSeparator)
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.util.Map<java.lang.String,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> edgeMap, java.awt.geom.Point2D.Double displacement, boolean createGroup, org.processmining.models.connections.GraphLayoutConnection layout)
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.public org.processmining.framework.util.Pair<java.awt.geom.Point2D.Double,java.awt.geom.Point2D.Double> getPageBoundingBox()
protected java.awt.geom.Point2D.Double getDisplacement(java.awt.geom.Point2D.Double displacement, PnmlPage page)
displacement
- The displacement for the given page.page
- The given page.protected void convertGroupsToNet(PetrinetGraph net, ExpandableSubNet subNet, java.lang.String label, 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)
protected void convertNodesToNet(PetrinetGraph net, ExpandableSubNet subNet, Marking marking, java.util.Map<java.lang.String,Place> placeMap, java.util.Map<java.lang.String,Transition> transitionMap, java.awt.geom.Point2D.Double displacement, org.processmining.models.connections.GraphLayoutConnection layout)
protected void convertRefNodesToNet(PetrinetGraph net, ExpandableSubNet subNet, Marking marking, java.util.Map<java.lang.String,Place> placeMap, java.util.Map<java.lang.String,Transition> transitionMap)
protected void convertArcsToNet(PetrinetGraph net, ExpandableSubNet subNet, Marking marking, java.util.Map<java.lang.String,Place> placeMap, java.util.Map<java.lang.String,Transition> transitionMap, java.util.Map<java.lang.String,PetrinetEdge<?,?>> edgeMap, java.awt.geom.Point2D.Double displacement, org.processmining.models.connections.GraphLayoutConnection layout)
protected PnmlPage.PageMap createPageMap()
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)
protected PnmlPage convertGroupsFromNet(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, PnmlPage.PageMap pageMap, org.processmining.models.connections.GraphLayoutConnection layout)
protected void convertNodesFromNet(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, PnmlPage.PageMap pageMap, org.processmining.models.connections.GraphLayoutConnection layout)
protected void convertArcsFromNet(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, PnmlPage.PageMap pageMap, org.processmining.models.connections.GraphLayoutConnection layout)
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)
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)