main page modules namespaces classes files
Gecode/J home

HiddenNode.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 HiddenNode extends GraphicsNode {

    static int x1Points[] = {0, unit, -unit};
    static int y1Points[] = {0, 3*unit, 3*unit};
    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 HiddenNode() {}

    public void draw(Graphics2D g2, int x, int y,
                     boolean hasShadow) {}

    private void smallTria(Graphics2D g2,
                           int x, int y,
                           Color c) {
        int x1Points[] = {x+unit/2-10, x, x+unit-20};
        int y1Points[] = {y+2*unit, y+3*unit-10, y+3*unit-10};
        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(c);
        g2.fill(diamond);
        g2.setPaint(fg);
        g2.setStroke(stroke);
        g2.draw(diamond);
    }

    public void draw(Graphics2D g2, int x, int y,
                     boolean hasShadow, boolean hasFailed,
                     boolean hasSolved, boolean isOpen) {
        // draw GeneralPath (polygon)
        if (hasShadow) {
            int sx = x+shadowOff; int sy = y+shadowOff;
            int x1Points[] = {sx, sx+unit, sx-unit};
            int y1Points[] = {sy, sy+3*unit, sy+3*unit};
            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);
        }

        int x1Points[] = {x, x+unit, x-unit};
        int y1Points[] = {y, y+3*unit, y+3*unit};
        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();

        if (!isOpen) {
            if (hasFailed) {
                g2.setPaint(red);
            } else {
                g2.setPaint(green);
            }
        } else {
            g2.setPaint(white);
        }

        g2.fill(diamond);
        g2.setPaint(fg);
        g2.setStroke(stroke);
        g2.draw(diamond);

        if (isOpen) {
            if (hasSolved) {
                smallTria(g2, x, y, green);
            }
        } else {
            if (hasSolved && hasFailed) {
                smallTria(g2, x, y, green);
            }
        }

    }
    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));
    }

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

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

}