main page modules namespaces classes files
Gecode/J home

LayoutCursor.java

Go to the documentation of this file.

/* -*- indent-tabs-mode: nil -*- */
/*
 *  Main authors:
 *     Marco Kuhlmann <kuhlmann@ps.uni-sb.de>
 *     Guido Tack <tack@gecode.org>
 *
 *  Copyright:
 *     Marco Kuhlmann, 2005
 *     Guido Tack, 2006
 *
 *  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;

import java.util.*;

public class LayoutCursor extends DefaultNodeCursor {
    
    public LayoutCursor(VisualNode theNode) {
        super(theNode);
    }
        
    private VisualNode getVisualNode() {
        return ((VisualNode) super.getCurrentNode());
    }
    
    public boolean mayMoveDownwards() {
        if (super.mayMoveDownwards()) {
            return (getVisualNode().isDirty() && ! getVisualNode().isHidden());
        } else {
            return false;
        }
    }
    
    public void processCurrentNode() {
        VisualNode currentNode = getVisualNode();
        if (currentNode.isDirty()) {
            Extent extent = new Extent(currentNode.getWidth());
            int numberOfChildren = currentNode.getNumberOfChildren();
            Shape shape;
            if (numberOfChildren == -1) {
                shape = currentNode.getUnknownShape();
            } else if (currentNode.isHidden()) {
                shape = currentNode.getHiddenShape();
            } else if (numberOfChildren == 0) {
                shape = new Shape(extent);
            } else {
                Iterator childrenIterator;
                ShapeList childShapes = new ShapeList(currentNode.getHorizontalOffset());
                childrenIterator = currentNode.childrenIterator();
                while (childrenIterator.hasNext()) {
                    VisualNode nextChild = (VisualNode) childrenIterator.next();
                    childShapes.add(nextChild.getShape());
                }
                Shape subtreeShape = childShapes.getMergedShape();
                subtreeShape.extend(- extent.extentL, - extent.extentR);
                shape = new Shape(extent, subtreeShape);
                Iterator offsetIterator = childShapes.offsetIterator();
                childrenIterator = currentNode.childrenIterator();
                while (childrenIterator.hasNext()) {
                    VisualNode nextChild = (VisualNode) childrenIterator.next();
                    int childOffset = ((Integer) offsetIterator.next()).intValue();
                    nextChild.setOffset(childOffset);
                }
            }
            currentNode.setShape(shape);
            currentNode.setBoundingBox(shape.getBoundingBox());
            currentNode.setDirty(false);
        }
    }
    
}