/**
* Copyright 2004-2016 Riccardo Solmi. All rights reserved.
* This file is part of the Whole Platform.
*
* The Whole Platform is free software: you can redistribute it and/or modify
* it under the terms of the GNU Lesser General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* The Whole Platform is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public License
* along with the Whole Platform. If not, see <http://www.gnu.org/licenses/>.
*/
package org.whole.lang.ui.notations.map.layouts;
import org.eclipse.draw2d.Graphics;
import org.eclipse.draw2d.geometry.Point;
import org.eclipse.draw2d.geometry.Rectangle;
import org.whole.lang.ui.layout.Alignment;
import org.whole.lang.ui.notations.figures.DrawUtils;
/**
* @author Riccardo Solmi
*/
public abstract class AbstractHorizontalTreeLayout extends AbstractStyledLayout {
protected void setAscentDescentWidth(int wHint, int hHint) {
boolean v2 = childFigure[1].isVisible();
int height2 = v2 ? childSize[1].height : 0;
int width2 = v2 ? childSize[1].width + CHILDREN_GAP : 0;
int deltaY = Math.max(height2 - childSize[0].height, 0)/2;
figAscent = ascent(0) + deltaY;
figDescent = descent(0) + deltaY;
figWidth = childSize[0].width + width2;
}
protected void setLocation(Rectangle area, int[] x, int[] y) {
boolean v2 = childFigure[1].isVisible();
int height2 = v2 ? childSize[1].height : 0;
y[1] = area.y;
// y[0] = area.y + Math.max(height2 - childSize[0].height, 0)/2;
int heightStretching = (int) ((figAscent+figDescent - childSize[0].height) * getMinorAutoresizeWeight(0));
y[0] = area.y + Math.max(height2 - childSize[0].height, 0)/2-heightStretching/2;
if (heightStretching > 0) {
childFigure[0].getLayoutManager().getViewportTrackingStrategy().setAscent(
getMinorAlignment().equals(Alignment.MATHLINE) ? y[0] - area.y : 0);
y[0] = area.y;
} else if (childFigure[0].getLayoutManager() != null)
childFigure[0].getLayoutManager().getViewportTrackingStrategy().setAscent(0);
childSize[0].height += heightStretching;
}
public void paintConnections(Graphics graphics, Point... childrenPoints) {
DrawUtils.drawHorizontalTree(graphics, getRootPoint(), CHILDREN_GAP/2, childrenPoints);
}
}