org.processmining.plugins.pnml
Class PnmlPage

java.lang.Object
  extended by org.processmining.plugins.pnml.PnmlElement
      extended by org.processmining.plugins.pnml.PnmlBasicObject
          extended by org.processmining.plugins.pnml.PnmlNode
              extended by 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.
 
Fields inherited from class org.processmining.plugins.pnml.PnmlNode
graphics, id
 
Fields inherited from class org.processmining.plugins.pnml.PnmlBasicObject
name, toolSpecificList
 
Fields inherited from class org.processmining.plugins.pnml.PnmlElement
lineNumber, 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 org.processmining.plugins.pnml.PnmlNode
checkValidity, convertFromNet, convertToNet, exportAttributes, getBoundingBox, getGraphics, importAttributes
 
Methods inherited from class org.processmining.plugins.pnml.PnmlBasicObject
convertFromNet, convertToNet, convertToNet, getName
 
Methods inherited from class org.processmining.plugins.pnml.PnmlElement
exportAttribute, exportElement, importElement, importText
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

TAG

public static final java.lang.String TAG
PNML page tag.

See Also:
Constant Field Values
Constructor Detail

PnmlPage

public PnmlPage()
Create a fresh PNML page object.


PnmlPage

public PnmlPage(java.lang.String tag)
Method Detail

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)