main page modules namespaces classes files
Gecode/J home

DrawingCursor.java

Go to the documentation of this file.

/* -*- indent-tabs-mode: nil -*- */
/*
 *  Main authors:
 *     Marco Kuhlmann <kuhlmann@ps.uni-sb.de>
 *
 *  Copyright:
 *     Marco Kuhlmann, 2005
 *
 *  Last modified:
 *     $Date: 2006-10-26 11:31:58 +0200 (Thu, 26 Oct 2006) $ by $Author: tack $
 *     $Revision: 3796 $
 *
 *  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.gist;


public class DrawingCursor extends DefaultNodeCursor {
    
    private Object graphicsContext;
    private Rect clippingRect;
    
    int x;
    int y;
    
    public DrawingCursor(VisualNode theNode, Object theGraphicsContext, Rect theClippingRect) {
        super(theNode);
        this.graphicsContext = theGraphicsContext;
        this.clippingRect = theClippingRect;
        this.x = 0;
        this.y = 0;
    }
    
    private VisualNode getVisualNode() {
        return ((VisualNode) super.getCurrentNode());
    }
    
    public void moveUpwards() {
        VisualNode currentNode = getVisualNode();
        x = x - currentNode.getOffset();
        y = y - currentNode.getVerticalOffset();
        super.moveUpwards();
    }
        
    public boolean mayMoveDownwards() {
        return (super.mayMoveDownwards() &&
                ! getVisualNode().isHidden() &&
                ! isClipped());
    }
    
    public void moveDownwards() {
        super.moveDownwards();
        VisualNode currentNode = getVisualNode();
        x = x + currentNode.getOffset();
        y = y + currentNode.getVerticalOffset();
    }
    
    public void moveSidewards() {
        x = x - getVisualNode().getOffset();
        super.moveSidewards();
        x = x + getVisualNode().getOffset();
    }
    
    private boolean isClipped() {
        BoundingBox b = getVisualNode().getBoundingBox();
        int verticalOffset = getVisualNode().getVerticalOffset();
        return (x + b.left > clippingRect.x + clippingRect.width ||
                x + b.right < clippingRect.x || 
                y > clippingRect.y + clippingRect.height ||
                y + b.depth * verticalOffset < clippingRect.y);
    }
    
    public void processCurrentNode() {
        VisualNode currentNode = getVisualNode();
        int parentX = x - currentNode.getOffset();
        int parentY = y - currentNode.getVerticalOffset();
        if (! currentNode.isRoot()) {
            currentNode.connect(graphicsContext, x, y, parentX, parentY);
        }
        if (! isClipped()) {
            currentNode.drawNode(graphicsContext, x, y);
        }
    }
    
}