public class PnmlOffset extends PnmlElement
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
TAG
PNML offset tag.
|
factory, lineNumber, tag| Modifier | Constructor and Description |
|---|---|
protected |
PnmlOffset()
Creates a fresh PNML offset.
|
protected |
PnmlOffset(double x,
double y) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
checkValidity(Pnml pnml)
Checks validity.
|
PnmlOffset |
convertFromNet(org.processmining.models.graphbased.AbstractGraphElement element) |
void |
convertToNet(org.processmining.models.graphbased.AbstractGraphElement element)
Sets the offset of the given graph element to this offset.
|
protected java.lang.String |
exportAttributes(Pnml pnml)
Exports the dimension.
|
protected void |
importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Imports the known attributes.
|
exportAttribute, exportElement, exportElements, importElement, importElements, importText, setFactorypublic static final java.lang.String TAG
protected PnmlOffset()
protected PnmlOffset(double x,
double y)
protected void importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
importAttributes in class PnmlElementprotected java.lang.String exportAttributes(Pnml pnml)
exportAttributes in class PnmlElementprotected void checkValidity(Pnml pnml)
checkValidity in class PnmlElementpublic void convertToNet(org.processmining.models.graphbased.AbstractGraphElement element)
element - The given element.public PnmlOffset convertFromNet(org.processmining.models.graphbased.AbstractGraphElement element)