com.uppaal.model.io2
Class IntPoint

java.lang.Object
  java.awt.geom.Point2D
      java.awt.Point
          com.uppaal.model.io2.IntPoint

All Implemented Interfaces:

Serializable, Cloneable

public class IntPoint
extends Point

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.Point

x, y

Constructor Summary

IntPoint(int x, int y)
Creates a point from given coordinates.

IntPoint(Point point)
Creates a point from a given integer point.

IntPoint(Point2D point)

Method Summary

IntPoint	add(int addX, int addY) Returns a point with this point's coordinates added with the given coordinates.
IntPoint	add(Point add) Returns a point with this point's coordinates added with the given point.
IntPoint	copy() Creates a new point from a given IntPoint point.
IntPoint	divide(float f)
boolean	equals(Object other) Tests whether this object represents the same point as another IntPoint
float	length() Returns the length of this point's vector.
IntPoint	multiply(float mult)
IntPoint	multiply(int mult) Returns a point which is a multiplication of this point.
IntPoint	subtract(int subX, int subY) Returns a point with this point's coordinates subtracted by the given coordinates.
IntPoint	subtract(Point2D sub) Returns a point with this point's coordinates subtracted by the given point.
String	toString() Returns a string representation of this object.
Point2D	unitVector() Returns the unit vector for this point's vector.
void	unparse(Writer out)

Methods inherited from class java.awt.Point

getLocation, getX, getY, move, setLocation, setLocation, setLocation, translate

Methods inherited from class java.awt.geom.Point2D

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

Methods inherited from class java.lang.Object

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

Constructor Detail

IntPoint

public IntPoint(int x,
                int y)

Creates a point from given coordinates.

IntPoint

public IntPoint(Point point)

Creates a point from a given integer point.

IntPoint

public IntPoint(Point2D point)

Method Detail

copy

public IntPoint copy()

Creates a new point from a given IntPoint point.

subtract

public IntPoint subtract(int subX,
                         int subY)

Returns a point with this point's coordinates subtracted by the given coordinates.

subtract

public IntPoint subtract(Point2D sub)

Returns a point with this point's coordinates subtracted by the given point.

add

public IntPoint add(int addX,
                    int addY)

Returns a point with this point's coordinates added with the given coordinates.

add

public IntPoint add(Point add)

Returns a point with this point's coordinates added with the given point.

multiply

public IntPoint multiply(int mult)

Returns a point which is a multiplication of this point.

multiply

public IntPoint multiply(float mult)

divide

public IntPoint divide(float f)

length

public float length()

Returns the length of this point's vector.

unitVector

public Point2D unitVector()

Returns the unit vector for this point's vector.

unparse

public void unparse(Writer out)
             throws IOException

Throws:

IOException

toString

public String toString()

Returns a string representation of this object.

Overrides:

toString in class Point

equals

public boolean equals(Object other)

Tests whether this object represents the same point as another IntPoint

Overrides:

equals in class Point