public class PnmlModule extends PnmlElement
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
TAG |
factory, lineNumber, tag
Modifier | Constructor and Description |
---|---|
protected |
PnmlModule()
Constructs a Pnml module handler.
|
Modifier and Type | Method and Description |
---|---|
PnmlModule |
convertFromOpenNet(OpenNet openNet,
Marking marking,
java.util.Map<java.lang.String,org.processmining.models.graphbased.AbstractGraphElement> idMap,
org.processmining.models.connections.GraphLayoutConnection layout)
Converts the given Open net with the given initial marking into a Pnml
module.
|
void |
convertToOpenNet(OpenNet openNet,
Marking marking,
Pnml pnml,
org.processmining.models.connections.GraphLayoutConnection layout)
Converts the PNML module into an Open net.
|
protected java.lang.String |
exportElements(Pnml pnml)
Exports all standard elements: None.
|
java.lang.String |
getName(java.lang.String defaultName) |
protected boolean |
importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Imports all standard child elements: None.
|
void |
setName(java.lang.String name) |
checkValidity, exportAttribute, exportAttributes, exportElement, importAttributes, importElement, importText, setFactory
public static final java.lang.String TAG
public java.lang.String getName(java.lang.String defaultName)
protected boolean importElements(org.xmlpull.v1.XmlPullParser xpp, Pnml pnml)
PnmlElement
importElements
in class PnmlElement
protected java.lang.String exportElements(Pnml pnml)
PnmlElement
exportElements
in class PnmlElement
public void convertToOpenNet(OpenNet openNet, Marking marking, Pnml pnml, org.processmining.models.connections.GraphLayoutConnection layout)
openNet
- The Open net to store the results in.marking
- The marking to store the inital marking in.pnml
- The Pnml handler.public PnmlModule convertFromOpenNet(OpenNet openNet, Marking marking, java.util.Map<java.lang.String,org.processmining.models.graphbased.AbstractGraphElement> idMap, org.processmining.models.connections.GraphLayoutConnection layout)
openNet
- The given Open net.marking
- The initial marking of the given Open net.public void setName(java.lang.String name)