com.sun.electric.database.geometry
Class Dimension2D.Double

java.lang.Object
  extended by java.awt.geom.Dimension2D
      extended by com.sun.electric.database.geometry.Dimension2D
          extended by com.sun.electric.database.geometry.Dimension2D.Double
All Implemented Interfaces:
java.lang.Cloneable
Enclosing class:
Dimension2D

public static class Dimension2D.Double
extends Dimension2D

Class to define a Double-precision Dimension object.


Nested Class Summary
 
Nested classes/interfaces inherited from class com.sun.electric.database.geometry.Dimension2D
Dimension2D.Double
 
Constructor Summary
Dimension2D.Double()
          Constructor to build a Dimension2D.Double with size 0x0.
Dimension2D.Double(Dimension2D d)
          Constructor to build a Dimension2D.Double.
Dimension2D.Double(double width, double height)
          Constructor to build a Dimension2D.Double.
 
Method Summary
 double getHeight()
          Method to return the Y size of this Dimension2D.Double.
 double getWidth()
          Method to return the X size of this Dimension2D.Double.
 void setSize(java.awt.geom.Dimension2D d)
          Method to set the size of this Dimension2D.Double.
 void setSize(double width, double height)
          Method to set the size of this Dimension2D.Double.
 java.lang.String toString()
          Returns a printable version of this Dimension2D.Double.
 
Methods inherited from class java.awt.geom.Dimension2D
clone
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Dimension2D.Double

public Dimension2D.Double()
Constructor to build a Dimension2D.Double with size 0x0.


Dimension2D.Double

public Dimension2D.Double(Dimension2D d)
Constructor to build a Dimension2D.Double.

Parameters:
d - the size of this Dimension2D.Double.

Dimension2D.Double

public Dimension2D.Double(double width,
                          double height)
Constructor to build a Dimension2D.Double.

Parameters:
width - the width of this Dimension2D.Double.
height - the height of this Dimension2D.Double.
Method Detail

getHeight

public double getHeight()
Method to return the Y size of this Dimension2D.Double.

Specified by:
getHeight in class Dimension2D
Returns:
the Y size of this Dimension2D.Double.

getWidth

public double getWidth()
Method to return the X size of this Dimension2D.Double.

Specified by:
getWidth in class Dimension2D
Returns:
the X size of this Dimension2D.Double.

setSize

public void setSize(java.awt.geom.Dimension2D d)
Method to set the size of this Dimension2D.Double. param d the new size of this Dimension2D.Double.

Specified by:
setSize in class Dimension2D

setSize

public void setSize(double width,
                    double height)
Method to set the size of this Dimension2D.Double. param width the new width of this Dimension2D.Double. param height the new height of this Dimension2D.Double.

Specified by:
setSize in class Dimension2D

toString

public java.lang.String toString()
Returns a printable version of this Dimension2D.Double.

Overrides:
toString in class java.lang.Object
Returns:
a printable version of this Dimension2D.Double.