Modifier and Type | Method and Description |
---|---|
Tsml |
Tsml.marshall(TransitionSystem ts,
StartStateSet starts,
AcceptStateSet accepts,
org.processmining.models.graphbased.directed.DirectedGraphElementWeights weights,
org.processmining.models.connections.GraphLayoutConnection graphLayout) |
Modifier and Type | Method and Description |
---|---|
protected void |
TsmlBasicObject.checkValidity(Tsml tsml)
Checks validity.
|
protected void |
TsmlElement.checkValidity(Tsml tsml)
Default check for validity: No action.
|
protected void |
TsmlNode.checkValidity(Tsml tsml)
Checks the validity of this node.
|
protected void |
TsmlTransition.checkValidity(Tsml tsml)
Checks validity.
|
protected java.lang.String |
TsmlElement.exportAttribute(java.lang.String tag,
java.lang.String value,
Tsml tsml)
Default way to export some attribute.
|
protected java.lang.String |
Tsml.exportAttributes(Tsml tsml)
Exports all attributes.
|
protected java.lang.String |
TsmlBasicObject.exportAttributes(Tsml tsml)
Exports all attributes.
|
protected java.lang.String |
TsmlElement.exportAttributes(Tsml tsml)
Exports all standard attributes: None.
|
protected java.lang.String |
TsmlNode.exportAttributes(Tsml tsml)
Exports all attributes.
|
protected java.lang.String |
TsmlState.exportAttributes(Tsml tsml)
Exports the dimension.
|
protected java.lang.String |
TsmlTransition.exportAttributes(Tsml tsml)
Exports all attributes.
|
java.lang.String |
TsmlElement.exportElement(Tsml tsml)
Exports the element.
|
protected java.lang.String |
Tsml.exportElements(Tsml tsml)
Exports the child elements to String.
|
protected java.lang.String |
TsmlAnnotation.exportElements(Tsml tsml) |
protected java.lang.String |
TsmlBasicObject.exportElements(Tsml tsml)
Exports all elements.
|
protected java.lang.String |
TsmlElement.exportElements(Tsml tsml)
Exports all standard elements: None.
|
protected java.lang.String |
TsmlNode.exportElements(Tsml tsml)
Exports all child elements.
|
protected java.lang.String |
TsmlText.exportElements(Tsml tsml)
Exports the text.
|
protected java.lang.String |
TsmlTransition.exportElements(Tsml tsml)
Exports all child elements.
|
protected void |
Tsml.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml)
Imports all known attributes.
|
protected void |
TsmlBasicObject.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml)
Imports all known attributes.
|
protected void |
TsmlElement.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml)
Imports all standard attributes: None.
|
protected void |
TsmlNode.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml)
Imports all known attributes.
|
protected void |
TsmlState.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml)
Imports the known attributes.
|
protected void |
TsmlTransition.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml)
Imports all known attributes.
|
void |
TsmlElement.importElement(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml)
Imports the given element.
|
protected boolean |
Tsml.importElements(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml)
Checks whether the current start tag is known.
|
protected boolean |
TsmlAnnotation.importElements(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml)
Checks whether the current start tag is known.
|
protected boolean |
TsmlBasicObject.importElements(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml)
Checks whether the current start tag is known.
|
protected boolean |
TsmlElement.importElements(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml)
Imports all standard child elements: None.
|
protected boolean |
TsmlNode.importElements(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml)
Checks whether the current start tag is known.
|
protected boolean |
TsmlTransition.importElements(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml)
Checks whether the current start tag is known.
|
protected void |
TsmlElement.importText(java.lang.String text,
Tsml tsml)
Imports standard text: No action.
|
protected void |
TsmlText.importText(java.lang.String text,
Tsml tsml)
Imports the text.
|
Modifier and Type | Method and Description |
---|---|
protected void |
TsmlInscription.checkValidity(Tsml tsml) |
protected java.lang.String |
TsmlInscription.exportElements(Tsml tsml)
Exports the inscription.
|
protected boolean |
TsmlInscription.importElements(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml)
Checks whether the current start tag is known.
|
Modifier and Type | Method and Description |
---|---|
protected void |
TsmlAnnotationGraphics.checkValidity(Tsml tsml)
Checks validity.
|
protected void |
TsmlDimension.checkValidity(Tsml tsml)
Checks validity.
|
protected void |
TsmlOffset.checkValidity(Tsml tsml)
Checks validity.
|
protected void |
TsmlPosition.checkValidity(Tsml tsml)
Checks validity.
|
protected java.lang.String |
TsmlDimension.exportAttributes(Tsml tsml)
Exports the dimension.
|
protected java.lang.String |
TsmlFill.exportAttributes(Tsml tsml)
Exports all attributes.
|
protected java.lang.String |
TsmlFont.exportAttributes(Tsml tsml)
Exports all attributes.
|
protected java.lang.String |
TsmlLine.exportAttributes(Tsml tsml)
Exports all attributes.
|
protected java.lang.String |
TsmlOffset.exportAttributes(Tsml tsml)
Exports the dimension.
|
protected java.lang.String |
TsmlPosition.exportAttributes(Tsml tsml)
Exports the dimension.
|
protected java.lang.String |
TsmlAnnotationGraphics.exportElements(Tsml tsml)
Exports the annotation graphics.
|
protected java.lang.String |
TsmlArcGraphics.exportElements(Tsml tsml)
Exports the arc graphics.
|
protected java.lang.String |
TsmlNodeGraphics.exportElements(Tsml tsml)
Exports the annotation graphics.
|
protected void |
TsmlDimension.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml)
Imports the known attributes.
|
protected void |
TsmlFill.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml)
Imports all known attributes.
|
protected void |
TsmlFont.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml)
Imports all known attributes.
|
protected void |
TsmlLine.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml)
Imports all known attributes.
|
protected void |
TsmlOffset.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml)
Imports the known attributes.
|
protected void |
TsmlPosition.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml)
Imports the known attributes.
|
protected boolean |
TsmlAnnotationGraphics.importElements(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml)
Checks whether the current start tag is known.
|
protected boolean |
TsmlArcGraphics.importElements(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml)
Checks whether the current start tag is known.
|
protected boolean |
TsmlNodeGraphics.importElements(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml)
Checks whether the current start tag is known.
|
Modifier and Type | Method and Description |
---|---|
Tsml |
TsmlImportUtils.importTsmlFromStream(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 |
TsmlImportUtils.connectTS(org.processmining.framework.plugin.PluginContext context,
Tsml tsml,
TransitionSystem ts) |
Modifier and Type | Method and Description |
---|---|
protected void |
TsmlToolSpecific.checkValidity(Tsml tsml) |
protected java.lang.String |
TsmlToolSpecific.exportAttributes(Tsml tsml) |
protected void |
TsmlToolSpecific.importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml) |