Package com.uppaal.model.io2

Class FloatPoint

  • All Implemented Interfaces:
    java.io.Serializable, java.lang.Cloneable
    public class FloatPoint
extends java.awt.geom.Point2D.Float
    See Also:
    Serialized Form

    • Nested Class Summary

      • Nested classes/interfaces inherited from class java.awt.geom.Point2D

        java.awt.geom.Point2D.Double, java.awt.geom.Point2D.Float

    • Field Summary

      • Fields inherited from class java.awt.geom.Point2D.Float

        x, y

    • Constructor Summary

      Constructors 
      Constructor Description
      FloatPoint​(float x, float y)
      Creates a point from given coordinates
      FloatPoint​(java.awt.geom.Point2D point)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      FloatPoint add​(int addX, int addY)
      Returns a point with this point's coordinates added with the given coordinates.
      FloatPoint add​(FloatPoint add)
      Returns a point with this point's coordinates added with the given point.
      IntPoint getIntPoint()
      Returns an integer rounded version of this point
      float length()
      Returns the length of this point's vector
      FloatPoint multiply​(float mult)
      Returns a point which is a multiplication of this point
      FloatPoint rotate​(double radAngle)
      Returns this point's vector rotated according to the radian angle
      FloatPoint subtract​(float subX, float subY)
      Returns a point with this point's coordinates subtracted by the given coordinates.
      FloatPoint subtract​(FloatPoint sub)
      Returns a point with this point's coordinates subtracted by the given point.
      java.lang.String toString()
      Returns a string representation of this object
      FloatPoint unitVector()
      Returns the unit vector for this point's vector

      • Methods inherited from class java.awt.geom.Point2D.Float

        getX, getY, setLocation, setLocation

      • Methods inherited from class java.awt.geom.Point2D

        clone, distance, distance, distance, distanceSq, distanceSq, distanceSq, equals, hashCode, setLocation

      • Methods inherited from class java.lang.Object

        finalize, getClass, notify, notifyAll, wait, wait, wait

    • Constructor Detail

      • FloatPoint

        public FloatPoint​(float x,
                  float y)
        Creates a point from given coordinates
        Parameters:
        x - coordinate
        y - coordinate

      • FloatPoint

        public FloatPoint​(java.awt.geom.Point2D point)

    • Method Detail

      • subtract

        public FloatPoint subtract​(float subX,
                           float subY)
        Returns a point with this point's coordinates subtracted by the given coordinates.
        Parameters:
        subX - the length to be subtracted from x coordinate
        subY - the length to be subtracted from y coordinate
        Returns:
        new point.

      • subtract

        public FloatPoint subtract​(FloatPoint sub)
        Returns a point with this point's coordinates subtracted by the given point.
        Parameters:
        sub - a vector to be subtracted.
        Returns:
        a new point.

      • add

        public FloatPoint add​(int addX,
                      int addY)
        Returns a point with this point's coordinates added with the given coordinates.
        Parameters:
        addX - length to be added to x coordinate
        addY - length to be added to y coordinate
        Returns:
        new point.

      • add

        public FloatPoint add​(FloatPoint add)
        Returns a point with this point's coordinates added with the given point.
        Parameters:
        add - a vector to be added.
        Returns:
        new point.

      • multiply

        public FloatPoint multiply​(float mult)
        Returns a point which is a multiplication of this point
        Parameters:
        mult - the scale to multiply.
        Returns:
        new point.

      • getIntPoint

        public IntPoint getIntPoint()
        Returns an integer rounded version of this point
        Returns:
        integer representation of the point.

      • length

        public float length()
        Returns the length of this point's vector
        Returns:
        the distance to origin.

      • unitVector

        public FloatPoint unitVector()
        Returns the unit vector for this point's vector
        Returns:
        normalized direction of the vector.

      • rotate

        public FloatPoint rotate​(double radAngle)
        Returns this point's vector rotated according to the radian angle
        Parameters:
        radAngle - angle in radians
        Returns:
        rotated vector.

      • toString

        public java.lang.String toString()
        Returns a string representation of this object
        Overrides:
        toString in class java.awt.geom.Point2D.Float
        Returns:
        string representing this point.