/* * CCVisu is a tool for visual graph clustering * and general force-directed graph layout. * This file is part of CCVisu. * * Copyright (C) 2005-2012 Dirk Beyer * * CCVisu 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 2.1 of the License, or (at your option) any later version. * * CCVisu 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 CCVisu; if not, write to the Free Software * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA * * Please find the GNU Lesser General Public License in file * license_lgpl.txt or http://www.gnu.org/licenses/lgpl.txt * * Dirk Beyer (firstname.lastname@uni-passau.de) * University of Passau, Bavaria, Germany */ package org.sosy_lab.ccvisu.graph; public class GraphicLayoutInfo { private float width; private float height; private int sizeY; private Position offset; private Position scale; private Position maxPosScaled; public GraphicLayoutInfo(float width, float height, int sizeY, Position offset, Position scale, Position maxPosScaled) { this.width = width; this.height = height; this.offset = offset; this.scale = scale; this.maxPosScaled = maxPosScaled; this.sizeY = sizeY; } /** * @return the offset */ public Position getOffset() { return offset; } /** * @return the scale */ public Position getScale() { return scale; } /** * @return the maxPosScaled */ public Position getMaxPosScaled() { return maxPosScaled; } /** * @return the width */ public float getWidth() { return width; } /** * @return the height */ public float getHeight() { return height; } public int getSizeY() { return sizeY; } public Position mapToOriginal(Position position) { Position resultPos = new Position(position); resultPos.add(getOffset()); resultPos.mult(getScale()); // Flip y-coordinate. resultPos.y += getSizeY(); return resultPos; } public Position mapToLayout(Position position) { Position resultPos = new Position(position); resultPos.y -= getSizeY(); resultPos.div(getScale()); resultPos.subtract(getOffset()); return resultPos; } }