main page modules namespaces classes files
Gecode/J home

SuccessNode.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 java.awt.*;
import java.awt.geom.*;
import org.gecode.explorer.*;

class SuccessNode extends GraphicsNode {

    static int x1Points[] = {0, halfUnit, 0, -halfUnit};
    static int y1Points[] = {0, halfUnit, unit, halfUnit};
    static GeneralPath diamond = new GeneralPath(GeneralPath.WIND_NON_ZERO,
                                                 x1Points.length);
    static {
        diamond.moveTo(x1Points[0], y1Points[0]);
        for ( int index = 1; index < x1Points.length; index++ ) {
            diamond.lineTo(x1Points[index], y1Points[index]);
        };
        diamond.closePath();
    }

    public SuccessNode() {}

    public void draw(Graphics2D g2, int x, int y, boolean hasShadow) {
        if (hasShadow) {
            int sx = x+shadowOff; int sy = y+shadowOff;
            // draw GeneralPath (polygon)
            int x1Points[] = {sx, sx+halfUnit, sx, sx-halfUnit};
            int y1Points[] = {sy, sy+halfUnit, sy+unit, sy+halfUnit};
            GeneralPath diamond = new GeneralPath(GeneralPath.WIND_NON_ZERO,
                                                  x1Points.length);
            diamond.moveTo(x1Points[0], y1Points[0]);
            for ( int index = 1; index < x1Points.length; index++ ) {
                diamond.lineTo(x1Points[index], y1Points[index]);
            };
            diamond.closePath();
            g2.setPaint(shadow);
            g2.fill(diamond);
            
            g2.setPaint(shadow);
            g2.setStroke(stroke);
            g2.draw(diamond);
        }

        // draw GeneralPath (polygon)
        int x1Points[] = {x, x+halfUnit, x, x-halfUnit};
        int y1Points[] = {y, y+halfUnit, y+unit, y+halfUnit};
        GeneralPath diamond = new GeneralPath(GeneralPath.WIND_NON_ZERO,
                                              x1Points.length);
        diamond.moveTo(x1Points[0], y1Points[0]);
        for ( int index = 1; index < x1Points.length; index++ ) {
            diamond.lineTo(x1Points[index], y1Points[index]);
        };
        diamond.closePath();
        g2.setPaint(green);
        g2.fill(diamond);
        
        g2.setPaint(fg);
        g2.setStroke(stroke);
        g2.draw(diamond);
    }
    public void move(int xoff) {
//         x_coord += xoff;
//         Iterator childrenIterator = children.iterator();
//         while (childrenIterator.hasNext()) {
//             UINode child = (UINode) childrenIterator.next();
//             child.move(xoff);
//         }
    }
    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, child_x, child_y));
    }

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