Modifier and Type | Method and Description |
---|---|
Pnml |
Pnml.convertFromNet(java.util.Map<PetrinetGraph,Marking> markedNets,
org.processmining.models.connections.GraphLayoutConnection layout) |
Pnml |
Pnml.convertFromNet(java.util.Map<PetrinetGraph,Marking> markedNets,
java.util.Map<PetrinetGraph,java.util.Collection<Marking>> finalMarkedNets,
org.processmining.models.connections.GraphLayoutConnection layout) |
Pnml |
Pnml.convertFromNet(PetrinetGraph net,
Marking marking,
java.util.Collection<Marking> finalMarkings,
org.processmining.models.connections.GraphLayoutConnection layout) |
Pnml |
Pnml.convertFromNet(PetrinetGraph net,
Marking marking,
java.util.Collection<Marking> finalMarkings,
java.util.Map<java.lang.String,org.processmining.models.graphbased.AbstractGraphElement> idMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
Pnml |
Pnml.convertFromNet(PetrinetGraph net,
Marking marking,
org.processmining.models.connections.GraphLayoutConnection layout) |
Pnml |
Pnml.convertFromNet(PetrinetGraph net,
Marking marking,
java.util.Map<java.lang.String,org.processmining.models.graphbased.AbstractGraphElement> idMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
Modifier and Type | Method and Description |
---|---|
protected void |
PnmlElement.checkValidity(Pnml pnml)
Default check for validity: No action.
|
protected java.lang.String |
PnmlElement.exportAttribute(java.lang.String tag,
java.lang.String value,
Pnml pnml)
Default way to export some attribute.
|
protected java.lang.String |
PnmlElement.exportAttributes(Pnml pnml)
Exports all standard attributes: None.
|
java.lang.String |
PnmlElement.exportElement(Pnml pnml)
Exports the element.
|
protected java.lang.String |
Pnml.exportElements(Pnml pnml)
Exports the child elements to String.
|
protected java.lang.String |
PnmlElement.exportElements(Pnml pnml)
Exports all standard elements: None.
|
protected void |
PnmlElement.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Imports all standard attributes: None.
|
void |
PnmlElement.importElement(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Imports the given element.
|
protected boolean |
Pnml.importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Checks whether the current start tag is known.
|
protected boolean |
PnmlElement.importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Imports all standard child elements: None.
|
protected void |
PnmlElement.importText(java.lang.String text,
Pnml pnml)
Imports standard text: No action.
|
Modifier and Type | Method and Description |
---|---|
Pnml |
DefaultPnmlElementFactory.createPnml() |
Modifier and Type | Method and Description |
---|---|
protected void |
PnmlArc.checkValidity(Pnml pnml)
Checks validity.
|
protected void |
PnmlNet.checkValidity(Pnml pnml)
Check the validity of this net.
|
protected void |
PnmlNode.checkValidity(Pnml pnml)
Checks the validity of this node.
|
protected void |
PnmlReferencePlace.checkValidity(Pnml pnml)
Check validity.
|
protected void |
PnmlReferenceTransition.checkValidity(Pnml pnml)
Check validity.
|
protected java.lang.String |
PnmlArc.exportAttributes(Pnml pnml)
Exports all attributes.
|
protected java.lang.String |
PnmlNet.exportAttributes(Pnml pnml)
Exports all known attributes (id and type).
|
protected java.lang.String |
PnmlNode.exportAttributes(Pnml pnml)
Exports all attributes.
|
protected java.lang.String |
PnmlReferencePlace.exportAttributes(Pnml pnml)
Exports all attributes.
|
protected java.lang.String |
PnmlReferenceTransition.exportAttributes(Pnml pnml)
Exports all known attributes.
|
protected java.lang.String |
PnmlAnnotation.exportElements(Pnml pnml) |
protected java.lang.String |
PnmlArc.exportElements(Pnml pnml)
Exports all child elements.
|
protected java.lang.String |
PnmlBasicObject.exportElements(Pnml pnml)
Exports all elements.
|
protected java.lang.String |
PnmlNet.exportElements(Pnml pnml)
Exports all pages.
|
protected java.lang.String |
PnmlNode.exportElements(Pnml pnml)
Exports all child elements.
|
protected java.lang.String |
PnmlPage.exportElements(Pnml pnml)
Exports all child elements.
|
protected java.lang.String |
PnmlPlace.exportElements(Pnml pnml)
Exports all child elements.
|
protected java.lang.String |
PnmlText.exportElements(Pnml pnml)
Exports the text.
|
protected java.lang.String |
PnmlTransition.exportElements(Pnml pnml) |
protected java.lang.String |
PnmlPage.exportElements(Pnml pnml,
java.lang.String lineSeparator)
Exports all child elements.
|
protected void |
PnmlArc.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Imports all known attributes.
|
protected void |
PnmlNet.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Imports all known attributes (id and type).
|
protected void |
PnmlNode.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Imports all known attributes.
|
protected void |
PnmlReferencePlace.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Imports all known attributes.
|
protected void |
PnmlReferenceTransition.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Imports all known attributes.
|
protected boolean |
PnmlAnnotation.importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Checks whether the current start tag is known.
|
protected boolean |
PnmlArc.importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Checks whether the current start tag is known.
|
protected boolean |
PnmlBasicObject.importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Checks whether the current start tag is known.
|
protected boolean |
PnmlNet.importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Checks whether the current start tag is known.
|
protected boolean |
PnmlNode.importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Checks whether the current start tag is known.
|
protected boolean |
PnmlPage.importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Checks whether the current start tag is known.
|
protected boolean |
PnmlPlace.importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Checks whether the current start tag is known.
|
protected boolean |
PnmlTransition.importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml) |
protected void |
PnmlText.importText(java.lang.String text,
Pnml pnml)
Imports the text.
|
Modifier and Type | Method and Description |
---|---|
protected void |
PnmlInitialMarking.checkValidity(Pnml pnml) |
protected void |
PnmlInscription.checkValidity(Pnml pnml) |
protected java.lang.String |
PnmlArcType.exportElements(Pnml pnml)
Exports the arc type.
|
protected java.lang.String |
PnmlInitialMarking.exportElements(Pnml pnml)
Exports the initial marking.
|
protected java.lang.String |
PnmlInscription.exportElements(Pnml pnml)
Exports the inscription.
|
protected boolean |
PnmlArcType.importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Checks whether the current start tag is known.
|
protected boolean |
PnmlInitialMarking.importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Checks whether the current start tag is known.
|
protected boolean |
PnmlInscription.importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Checks whether the current start tag is known.
|
Modifier and Type | Method and Description |
---|---|
protected java.lang.String |
PnmlFeature.exportAttributes(Pnml pnml) |
protected java.lang.String |
PnmlGroup.exportAttributes(Pnml pnml) |
protected java.lang.String |
PnmlParameter.exportAttributes(Pnml pnml) |
protected java.lang.String |
PnmlConfiguration.exportElements(Pnml pnml) |
protected java.lang.String |
PnmlFeature.exportElements(Pnml pnml) |
protected java.lang.String |
PnmlGroup.exportElements(Pnml pnml) |
protected void |
PnmlFeature.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml) |
protected void |
PnmlGroup.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml) |
protected void |
PnmlParameter.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml) |
protected boolean |
PnmlConfiguration.importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml) |
protected boolean |
PnmlFeature.importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml) |
protected boolean |
PnmlGroup.importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml) |
Modifier and Type | Method and Description |
---|---|
void |
PnmlModule.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 |
PnmlLabelConnection.exportAttributes(Pnml pnml) |
protected java.lang.String |
PnmlMarkedPlace.exportAttributes(Pnml pnml) |
protected java.lang.String |
PnmlFinalMarking.exportElements(Pnml pnml) |
protected java.lang.String |
PnmlFinalMarkings.exportElements(Pnml pnml) |
protected java.lang.String |
PnmlMarkedPlace.exportElements(Pnml pnml) |
protected java.lang.String |
PnmlModule.exportElements(Pnml pnml) |
protected java.lang.String |
PnmlPort.exportElements(Pnml pnml) |
protected java.lang.String |
PnmlPorts.exportElements(Pnml pnml) |
protected void |
PnmlLabelConnection.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml) |
protected void |
PnmlMarkedPlace.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml) |
protected boolean |
PnmlFinalMarking.importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml) |
protected boolean |
PnmlFinalMarkings.importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml) |
protected boolean |
PnmlMarkedPlace.importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml) |
protected boolean |
PnmlModule.importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml) |
protected boolean |
PnmlPort.importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml) |
protected boolean |
PnmlPorts.importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml) |
Modifier and Type | Method and Description |
---|---|
protected void |
PnmlAnnotationGraphics.checkValidity(Pnml pnml)
Checks validity.
|
protected void |
PnmlDimension.checkValidity(Pnml pnml)
Checks validity.
|
protected void |
PnmlNodeGraphics.checkValidity(Pnml pnml)
Checks validity.
|
protected void |
PnmlOffset.checkValidity(Pnml pnml)
Checks validity.
|
protected void |
PnmlPosition.checkValidity(Pnml pnml)
Checks validity.
|
protected java.lang.String |
PnmlDimension.exportAttributes(Pnml pnml)
Exports the dimension.
|
protected java.lang.String |
PnmlFill.exportAttributes(Pnml pnml)
Exports all attributes.
|
protected java.lang.String |
PnmlFont.exportAttributes(Pnml pnml)
Exports all attributes.
|
protected java.lang.String |
PnmlLine.exportAttributes(Pnml pnml)
Exports all attributes.
|
protected java.lang.String |
PnmlOffset.exportAttributes(Pnml pnml)
Exports the dimension.
|
protected java.lang.String |
PnmlPosition.exportAttributes(Pnml pnml)
Exports the dimension.
|
protected java.lang.String |
PnmlAnnotationGraphics.exportElements(Pnml pnml)
Exports the annotation graphics.
|
protected java.lang.String |
PnmlArcGraphics.exportElements(Pnml pnml)
Exports the arc graphics.
|
protected java.lang.String |
PnmlNodeGraphics.exportElements(Pnml pnml)
Exports the annotation graphics.
|
protected void |
PnmlDimension.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Imports the known attributes.
|
protected void |
PnmlFill.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Imports all known attributes.
|
protected void |
PnmlFont.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Imports all known attributes.
|
protected void |
PnmlLine.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Imports all known attributes.
|
protected void |
PnmlOffset.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Imports the known attributes.
|
protected void |
PnmlPosition.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Imports the known attributes.
|
protected boolean |
PnmlAnnotationGraphics.importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Checks whether the current start tag is known.
|
protected boolean |
PnmlArcGraphics.importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Checks whether the current start tag is known.
|
protected boolean |
PnmlNodeGraphics.importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Checks whether the current start tag is known.
|
Modifier and Type | Method and Description |
---|---|
protected Pnml |
PnmlImportUtils.createPnml() |
Pnml |
PnmlImportUtils.importPnmlFromStream(org.processmining.framework.plugin.PluginContext context,
FullPnmlElementFactory pnmlFactory,
java.io.InputStream input,
java.lang.String filename,
long fileSizeInBytes) |
Pnml |
PnmlImportUtils.importPnmlFromStream(org.processmining.framework.plugin.PluginContext context,
java.io.InputStream input,
java.lang.String filename,
long fileSizeInBytes) |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
PnmlImportUtils.connectNet(org.processmining.framework.plugin.PluginContext context,
Pnml pnml,
PetrinetGraph net) |
java.lang.Object |
PnmlImportUtils.connectOpenNet(org.processmining.framework.plugin.PluginContext context,
Pnml pnml,
OpenNet openNet) |
Modifier and Type | Method and Description |
---|---|
protected void |
PnmlToolSpecific.checkValidity(Pnml pnml) |
protected java.lang.String |
PnmlToolSpecific.exportAttributes(Pnml pnml) |
protected void |
PnmlToolSpecific.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml) |