public class PNMLHierarchicalExport
extends java.lang.Object
Constructor and Description |
---|
PNMLHierarchicalExport() |
Modifier and Type | Method and Description |
---|---|
void |
export(org.processmining.contexts.uitopia.UIPluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet pnet,
java.io.File file) |
void |
WriteArc(java.io.PrintWriter pwriter,
org.processmining.models.graphbased.directed.petrinet.elements.Arc a) |
void |
WriteNodeGraphics(java.io.PrintWriter pwriter,
org.processmining.models.graphbased.directed.petrinet.PetrinetNode pn) |
void |
WritePetriNet(java.io.PrintWriter pwriter,
PetriNetDataSource pnet,
java.lang.String netName) |
void |
WritePetriNet(java.io.PrintWriter pwriter,
SubNetDataSource pnet) |
void |
WritePlace(java.io.PrintWriter pwriter,
org.processmining.models.graphbased.directed.petrinet.elements.Place p) |
void |
WriteTransition(java.io.PrintWriter pwriter,
org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
public void export(org.processmining.contexts.uitopia.UIPluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet pnet, java.io.File file) throws java.io.IOException
java.io.IOException
public void WritePetriNet(java.io.PrintWriter pwriter, PetriNetDataSource pnet, java.lang.String netName)
public void WritePetriNet(java.io.PrintWriter pwriter, SubNetDataSource pnet)
public void WritePlace(java.io.PrintWriter pwriter, org.processmining.models.graphbased.directed.petrinet.elements.Place p)
public void WriteTransition(java.io.PrintWriter pwriter, org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
public void WriteNodeGraphics(java.io.PrintWriter pwriter, org.processmining.models.graphbased.directed.petrinet.PetrinetNode pn)
public void WriteArc(java.io.PrintWriter pwriter, org.processmining.models.graphbased.directed.petrinet.elements.Arc a)