public class TsmlOffset extends TsmlElement
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
TAG
PNML offset tag.
|
lineNumber, tag| Constructor and Description |
|---|
TsmlOffset()
Creates a fresh PNML offset.
|
| Modifier and Type | Method and Description |
|---|---|
protected void |
checkValidity(Tsml tsml)
Checks validity.
|
protected java.lang.String |
exportAttributes(Tsml tsml)
Exports the dimension.
|
protected void |
importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml)
Imports the known attributes.
|
TsmlOffset |
marshall(org.processmining.models.graphbased.AbstractGraphElement element) |
void |
unmarshall(org.processmining.models.graphbased.AbstractGraphElement element)
Sets the offset of the given graph element to this offset.
|
exportAttribute, exportElement, exportElements, importElement, importElements, importTextpublic static final java.lang.String TAG
protected void importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml)
importAttributes in class TsmlElementprotected java.lang.String exportAttributes(Tsml tsml)
exportAttributes in class TsmlElementprotected void checkValidity(Tsml tsml)
checkValidity in class TsmlElementpublic void unmarshall(org.processmining.models.graphbased.AbstractGraphElement element)
element - The given element.public TsmlOffset marshall(org.processmining.models.graphbased.AbstractGraphElement element)