//-----------------------------------------------------------------------//
//                                                                       //
//                          P i x e l P o i n t                          //
//                                                                       //
//  Copyright (C) Herve Bitteur 2000-2006. All rights reserved.          //
//  This software is released under the terms of the GNU General Public  //
//  License. Please contact the author at herve.bitteur@laposte.net      //
//  to report bugs & suggestions.                                        //
//-----------------------------------------------------------------------//

package omr.sheet;

import java.awt.*;

/**
 * Class <code>PixelPoint</code> is a simple Point that is meant to
 * represent a point in a deskewed page, with its coordinates specified in
 * pixels, so the name.
 *
 * <p> This specialization is used to take benefit of compiler checks, to
 * prevent the use of points with incorrect meaning or units. </p>
 *
 * @author Herv&eacute; Bitteur
 * @version $Id$
 */
public class PixelPoint
        extends Point
{
    //------------//
    // PixelPoint //
    //------------//
    public PixelPoint ()
    {
    }

    //------------//
    // PixelPoint //
    //------------//
    public PixelPoint (Point point)
    {
        super(point);
    }
}

//-----------------------------------------------------------------------//
//                                                                       //
//                          P i x e l P o i n t                          //
//                                                                       //
//  Copyright (C) Herve Bitteur 2000-2006. All rights reserved.          //
//  This software is released under the terms of the GNU General Public  //
//  License. Please contact the author at herve.bitteur@laposte.net      //
//  to report bugs & suggestions.                                        //
//-----------------------------------------------------------------------//

package omr.sheet;

import java.awt.*;

/**
 * Class <code>PixelPoint</code> is a simple Point that is meant to
 * represent a point in a deskewed page, with its coordinates specified in
 * pixels, so the name.
 *
 * <p> This specialization is used to take benefit of compiler checks, to
 * prevent the use of points with incorrect meaning or units. </p>
 *
 * @author Herv&eacute; Bitteur
 * @version $Id$
 */
public class PixelPoint
        extends Point
{
    //------------//
    // PixelPoint //
    //------------//
    public PixelPoint ()
    {
    }

    //------------//
    // PixelPoint //
    //------------//
    public PixelPoint (int x,
                       int y)
    {
        super(x, y);
    }
}

Use of a more specific constructor, to avoid too easy conversions