public class PnmlDimension extends PnmlElement
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
TAG
PNML dimension tag.
|
factory, lineNumber, tag| Modifier | Constructor and Description |
|---|---|
protected |
PnmlDimension()
Creates a fresh PNML dimension.
|
| Modifier and Type | Method and Description |
|---|---|
protected void |
checkValidity(Pnml pnml)
Checks validity.
|
PnmlDimension |
convertFromNet(org.processmining.models.graphbased.AbstractGraphElement element) |
void |
convertToNet(org.processmining.models.graphbased.AbstractGraphElement element,
org.processmining.framework.util.Pair<java.awt.geom.Point2D.Double,java.awt.geom.Point2D.Double> boundingBox)
Sets the size of the given graph element to this dimension.
|
protected java.lang.String |
exportAttributes(Pnml pnml)
Exports the dimension.
|
protected double |
getX() |
protected double |
getY() |
protected void |
importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Imports the known attributes.
|
protected void |
setX(java.lang.Double x) |
protected void |
setY(java.lang.Double y) |
exportAttribute, exportElement, exportElements, importElement, importElements, importText, setFactorypublic static final java.lang.String TAG
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 PnmlElementprotected double getX()
protected double getY()
protected void setX(java.lang.Double x)
protected void setY(java.lang.Double y)
public void convertToNet(org.processmining.models.graphbased.AbstractGraphElement element,
org.processmining.framework.util.Pair<java.awt.geom.Point2D.Double,java.awt.geom.Point2D.Double> boundingBox)
element - The given element.public PnmlDimension convertFromNet(org.processmining.models.graphbased.AbstractGraphElement element)