com.uppaal.model.io2

Class FloatPoint

java.lang.Object

java.awt.geom.Point2D

java.awt.geom.Point2D.Float

com.uppaal.model.io2.FloatPoint

All Implemented Interfaces:

Serializable, Cloneable

public class FloatPoint
extends Point2D.Float

See Also:

Serialized Form

Nested Class Summary

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

Point2D.Double, Point2D.Float

Field Summary

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

x, y

Constructor Summary

Constructors

Constructor and Description
FloatPoint(float x, float y) Creates a point from given coordinates
FloatPoint(Point2D point)

Method Summary

Modifier and Type	Method and Description
FloatPoint	add(FloatPoint add) Returns a point with this point's coordinates added with the given point.
FloatPoint	add(int addX, int addY) Returns a point with this point's coordinates added with the given coordinates.
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.
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(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 String toString()

Returns a string representation of this object

Overrides:

toString in class Point2D.Float

Returns:

string representing this point.