endview.java

用JGraph编的软件

/*
 *
 *
 * Copyright (C) 2003 sven.luzar
 * Copyright (C) 2003 David Benson
 *
 * JGpd is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License
 * as published by the Free Software Foundation; either version 2
 * of the License, or (at your option) any later version.
 *
 * JGpd 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 General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with JGpd; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
 *
 */

package org.jgpd.jgraph;

import java.awt.BasicStroke;
import java.awt.Color;
import java.awt.Dimension;
import java.awt.Graphics;
import java.awt.Graphics2D;

import org.jgraph.JGraph;
import org.jgraph.graph.CellMapper;
import org.jgraph.graph.CellViewRenderer;
import org.jgraph.graph.GraphConstants;
import org.jgraph.graph.VertexRenderer;
import org.jgraph.graph.VertexView;

public class EndView extends VertexView
{
       final static BasicStroke stroke=new BasicStroke(4.0f);
	public static int defaultWidth = 50;
	public static int defaultHeight = 50;

	public static EndRenderer renderer = new EndRenderer();

	public EndView(Object cell, JGraph graph, CellMapper cm)
	{
		super(cell, graph, cm);
		(EndView.renderer).setOpaque(true);
		(EndView.renderer).setBackground(Color.red);
	}


	public CellViewRenderer getRenderer() {
		return renderer;
	}

	public static class EndRenderer extends VertexRenderer {

		public void paint(Graphics g) {
			int b = borderWidth;
			Graphics2D g2 = (Graphics2D) g;
			Dimension d = getSize();
			boolean tmp = selected;
			// Get square from rectangle
			if ( d.width > d.height )
			{
				// Wide and short
				d.width = d.height;
				setSize(d.width,d.height);
			}
			else
			{
				// Thin and tall
				d.height = d.width;
				setSize(d.width,d.height);
			}

			if (super.isOpaque()) {
				g2.setColor(super.getBackground());
                                g2.setStroke(stroke);
				g2.fillOval(b , b , d.width - b-4, d.height - b-4);


			}
			try {
				setBorder(null);
				setOpaque(false);
				selected = false;
				super.paint(g2);
			} finally {
				selected = tmp;
			}
			if (bordercolor != null) {
				g2.setColor(bordercolor);
				//g2.setStroke(new BasicStroke(b));
                                g2.setStroke(stroke);
				g2.drawOval(b , b , d.width - b-4, d.height - b-4);
			}
			if (selected) {
				g2.setStroke(GraphConstants.SELECTION_STROKE);
				g2.setColor(graph.getHighlightColor());
				g2.drawOval(b , b , d.width - b-4, d.height - b-4);
			}
		}
	}
}