main page modules namespaces classes files
Gecode/J home

ChoiceNode.java

Go to the documentation of this file.

/*
 *  Main authors:
 *     Guido Tack <tack@gecode.org>
 *
 *  Copyright:
 *     Guido Tack, 2006
 *
 *  Last modified:
 *     $Date: 2006-02-09 16:32:56 +0100 (Thu, 09 Feb 2006) $ by $Author: tack $
 *     $Revision: 2943 $
 *
 *  This file is part of Gecode, the generic constraint
 *  development environment:
 *     http://www.gecode.org
 *
 *  See the file "LICENSE" for information on usage and
 *  redistribution of this file, and for a
 *     DISCLAIMER OF ALL WARRANTIES.
 *
 */

package org.gecode.explorer.swing;

import org.gecode.explorer.Coordinate;
import java.awt.*;
import java.awt.geom.*;

class ChoiceNode extends GraphicsNode {

    static Ellipse2D.Double ellipse = new Ellipse2D.Double(-halfUnit, 0,
                                                           unit, unit);

    public ChoiceNode() {}

    public void draw(Graphics2D g2, int x, int y, boolean hasShadow) {
        if (hasShadow) {
            int sx = x+shadowOff; int sy = y+shadowOff;
            Ellipse2D.Double myEllipse = new Ellipse2D.Double(sx-halfUnit, sy,
                                                              unit, unit);
            g2.setPaint(shadow);
            g2.fill(myEllipse);
            g2.setStroke(stroke);
            g2.draw(myEllipse);
        }
        Ellipse2D.Double myEllipse = new Ellipse2D.Double(x-halfUnit, y,
                                                          unit, unit);
        g2.setPaint(blue);
        g2.fill(myEllipse);

        g2.setPaint(fg);
        g2.setStroke(stroke);
        g2.draw(myEllipse);
    }
    public void move(int xoff) {
//         x_coord += xoff;
//         Iterator childrenIterator = children.iterator();
//         while (childrenIterator.hasNext()) {
//             UINode child = (UINode) childrenIterator.next();
//             child.move(xoff);
//         }
//         myEllipse.setFrameFromDiagonal(x_coord-10, y_coord,
//                                        x_coord+10, y_coord+20);
    }
    public void connect(Graphics2D g2, int x, int y,
                        int child_x, int child_y) {
        g2.setPaint(fg);
        g2.setStroke(stroke);
        
        g2.draw(new Line2D.Double(x, y+unit, child_x, child_y));
    }

    Point getConnector(int x, int y) {
        return new Point(x, y+unit);
    }


    public boolean containsPoint(Coordinate x) {
        return ellipse.contains(new Point(x.x(), x.y()));
    }
}