Class PnmlDimension


  • public class PnmlDimension
    extends PnmlElement
    PNML graphics dimension object.
    Author:
    hverbeek
    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.lang.String TAG
      PNML dimension tag.
    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      protected PnmlDimension()
      Creates a fresh PNML dimension.
    • Constructor Detail

      • PnmlDimension

        protected PnmlDimension()
        Creates a fresh PNML dimension.
    • Method Detail

      • importAttributes

        protected void importAttributes​(org.xmlpull.v1.XmlPullParser xpp,
                                        Pnml pnml)
        Imports the known attributes.
        Overrides:
        importAttributes in class PnmlElement
      • exportAttributes

        protected java.lang.String exportAttributes​(Pnml pnml)
        Exports the dimension.
        Overrides:
        exportAttributes in class PnmlElement
        Returns:
      • checkValidity

        protected void checkValidity​(Pnml pnml)
        Checks validity. Should have both an x and a y attribute.
        Overrides:
        checkValidity in class PnmlElement
      • getX

        protected double getX()
      • getY

        protected double getY()
      • setX

        protected void setX​(java.lang.Double x)
      • setY

        protected void setY​(java.lang.Double y)
      • convertToNet

        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)
        Sets the size of the given graph element to this dimension.
        Parameters:
        element - The given element.
      • convertFromNet

        public PnmlDimension convertFromNet​(org.processmining.models.graphbased.AbstractGraphElement element)