poolview.java

用JGraph编的软件

package org.jgpd.jgraph;

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

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 PoolView
    extends VertexView {
  public static int default_width = 300;
  public static int default_height = 100;

  public static PoolRenderer renderer = new PoolRenderer();

  public PoolView(Object cell, JGraph graph, CellMapper cm) {
    super(cell, graph, cm);
    (PoolView.renderer).setOpaque(true);

    (PoolView.renderer).setBackground(Color.cyan);

  }

  public CellViewRenderer getRenderer() {
    return renderer;
  }

  public static class PoolRenderer
      extends VertexRenderer {

    public void paint(Graphics g) {
      int b = borderWidth;
      Graphics2D g2 = (Graphics2D) g;
      Dimension d = getSize();

      // Set up x and y arrays for polygon ( which is how we're drawin
      // our diamond shape )
      //   int [] polyx =  {  0,  30,d.width - b,d.width - b,30,0 };
      //   int [] polyy =  { 0,0,0,d.height - b,d.height - b, d.height - b};

      boolean tmp = selected;
      if (super.isOpaque()) {
        //  Polygon poly = new Polygon(polyx, polyy, 6 );
        g.setColor(super.getBackground());
        g2.fillRect(b - 1,
                    b - 1,
                    d.width - b,
                    d.height - b
                    );
        // g2.fillPolygon( poly );
      }
      try {
        setBorder(null);
        setOpaque(false);
        selected = false;
        super.paint(g);
      }
      finally {
        selected = tmp;
      }

      if (bordercolor != null) {
        g.setColor(bordercolor);
        g2.setStroke(new BasicStroke(b));
        g2.drawRect(b - 1,
                    b - 1,
                    d.width - b,
                    d.height - b
                    );
        g2.drawLine(b+30,b,b+30,d.height+b);
        //  Polygon poly = new Polygon( polyx, polyy, 6 );
        // g2.draw(poly);
      }
      if (selected) {
        g2.setStroke(GraphConstants.SELECTION_STROKE);
        g.setColor(graph.getHighlightColor());
        //  Polygon poly = new Polygon( polyx, polyy, 6 );
        g2.drawRect(b - 1,
                    b - 1,
                    d.width - b,
                    d.height - b
                    );
        g2.drawLine(b+30,b,b+30,d.height+b);
        //g2.draw(poly);
      }
    }
  }
}