Class TsmlPosition

    • Field Summary

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

      Constructors 
      Constructor Description
      TsmlPosition()
      Creates a fresh PNML position.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      protected void checkValidity​(Tsml tsml)
      Checks validity.
      protected java.lang.String exportAttributes​(Tsml tsml)
      Exports the dimension.
      double getX()  
      double getY()  
      protected void importAttributes​(org.xmlpull.v1.XmlPullParser xpp, Tsml tsml)
      Imports the known attributes.
      TsmlPosition marshall​(java.awt.geom.Point2D point)  
      TsmlPosition marshall​(org.processmining.models.graphbased.AbstractGraphElement element, org.processmining.models.connections.GraphLayoutConnection layout)
      Creates a TsmlPosition object for the given element with the given parent.
      void setX​(java.lang.Double x)  
      void setY​(java.lang.Double y)  
      void unmarshall​(org.processmining.models.graphbased.AbstractGraphElement element, java.util.List<java.awt.geom.Point2D> list)
      Extends the positions of the given graph element (should be an edge) with this position.
      void unmarshall​(org.processmining.models.graphbased.AbstractGraphElement element, org.processmining.framework.util.Pair<java.awt.geom.Point2D.Double,​java.awt.geom.Point2D.Double> boundingBox, org.processmining.models.connections.GraphLayoutConnection layout)
      Sets the position of the given graph element to this position.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • TsmlPosition

        public TsmlPosition()
        Creates a fresh PNML position.
    • Method Detail

      • importAttributes

        protected void importAttributes​(org.xmlpull.v1.XmlPullParser xpp,
                                        Tsml tsml)
        Imports the known attributes.
        Overrides:
        importAttributes in class TsmlElement
      • exportAttributes

        protected java.lang.String exportAttributes​(Tsml tsml)
        Exports the dimension.
        Overrides:
        exportAttributes in class TsmlElement
        Returns:
      • checkValidity

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

        public double getX()
      • getY

        public double getY()
      • setX

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

        public void setY​(java.lang.Double y)
      • unmarshall

        public void unmarshall​(org.processmining.models.graphbased.AbstractGraphElement element,
                               org.processmining.framework.util.Pair<java.awt.geom.Point2D.Double,​java.awt.geom.Point2D.Double> boundingBox,
                               org.processmining.models.connections.GraphLayoutConnection layout)
        Sets the position of the given graph element to this position.
        Parameters:
        element - The given element.
      • unmarshall

        public void unmarshall​(org.processmining.models.graphbased.AbstractGraphElement element,
                               java.util.List<java.awt.geom.Point2D> list)
        Extends the positions of the given graph element (should be an edge) with this position.
        Parameters:
        element - The given element.
        displacement - The displacement for this sub net.
      • marshall

        public TsmlPosition marshall​(org.processmining.models.graphbased.AbstractGraphElement element,
                                     org.processmining.models.connections.GraphLayoutConnection layout)
        Creates a TsmlPosition object for the given element with the given parent.
        Parameters:
        element - The given element.
        Returns:
        The created TsmlPosition object.
      • marshall

        public TsmlPosition marshall​(java.awt.geom.Point2D point)