/*
* 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.writers;
import java.awt.Color;
import java.io.PrintWriter;
import org.sosy_lab.ccvisu.Options;
import org.sosy_lab.ccvisu.Options.OptionsEnum;
import org.sosy_lab.ccvisu.graph.GraphData;
import org.sosy_lab.ccvisu.graph.GraphEdge;
import org.sosy_lab.ccvisu.graph.GraphVertex;
/**
* Writer for layouts in text format.
*/
public class WriterDataLayoutLAY extends WriterDataLayout {
public WriterDataLayoutLAY(PrintWriter out, GraphData graph, Options opt) {
super(out, graph, opt);
}
/**
* Writes the layout data in text format LAY.
*/
@Override
public void write() {
int size = (int) (1000 * options.getOption(OptionsEnum.scalePos).getFloat());
// Header.
out.println("# Generated by " + Options.toolDescription());
out.println("# " + Options.currentDateTime());
out.println("# Layout in RSF Format:");
out.println("# LAY <x-pos_float> <y-pos_float> <z-pos_float> "
+ "<edge-degree_int> <vertex-name_string> <rgb-color_int> "
+ "<showName_bool>");
// Body.
writeGraphicsLayout(graph.getVertices(), graph.getEdges(), size);
// Footer.
// Nothing to do for footer.
}
@Override
public void writeEdge(GraphEdge edge, int xPos1, int yPos1, int zPos1,
int xPos2, int yPos2, int zPos2) {
// Nothing to do for edges.
}
@Override
public void writeVertex(GraphVertex vertex, int xPos, int yPos, int zPos,
int width, int height, Color color) {
out.println("LAY\t" + vertex.getPosition().x + "\t"
+ vertex.getPosition().y + "\t"
+ vertex.getPosition().z + "\t"
+ vertex.getDegree() + "\t"
+ mkConnected(vertex.getName()) + "\t"
+ (color.getRGB() & 0x00FFFFFF) + "\t"
+ vertex.isShowName());
}
}