main page modules namespaces classes files
Gecode/J home

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

    private final int failedWidth = (unit*14)/20;
    private final int halfFailedWidth = failedWidth / 2;

    public FailureNode() {}

    public void draw(Graphics2D g2, int x, int y, boolean hasShadow) {
        if (hasShadow) {
            int sx = x+shadowOff; int sy = y+shadowOff;
            Rectangle rect = new Rectangle(sx-halfFailedWidth, sy,
                                           failedWidth, failedWidth);
            g2.setPaint(shadow);
            g2.fill(rect);
            
            g2.setPaint(shadow);
            g2.setStroke(stroke);
            g2.draw(rect);
        }
        Rectangle rect = new Rectangle(x-halfFailedWidth, y,
                                       failedWidth, failedWidth);
        g2.setPaint(red);
        g2.fill(rect);

        g2.setPaint(fg);
        g2.setStroke(stroke);
        g2.draw(rect);
    }
    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 c) {
        int x = c.x();
        int y = c.y();
        
        return (x<=halfFailedWidth &&
                x>=-halfFailedWidth &&
                y<=failedWidth && 
                y>=0);
    }
}