AntView.java

   1 import java.util.Observable;
   2 import java.util.Observer;
   3 import java.util.HashMap;
   4 import java.awt.*;
   5 import java.applet.*;
   6 import javax.swing.*;
   7
   8 class AntView
   9   extends Applet
  10   implements Observer, Runnable {
  11
  12   final static long serialVersionUID = 1L;
  13
  14   protected int xMax;
  15   protected int yMax;
  16   protected double xScale;
  17   protected double yScale;
  18   protected int[] xPoints;
  19   protected int[] yPoints;
  20   protected int[] xScaledPoints;
  21   protected int[] yScaledPoints;
  22   protected final int border = 20;
  23
  24   protected Environment env;
  25   protected Graph graph;
  26   protected Coordinate coordinate;
  27
  28   public AntView(Environment env) {
  29     this((int)(Toolkit.getDefaultToolkit().getScreenSize().height * 0.9),
  30         (int)(Toolkit.getDefaultToolkit().getScreenSize().height * 0.9), env);
  31   }
  32
  33   public AntView(
  34       int wsize,
  35       Environment env) {
  36     this(wsize, wsize, env);
  37   }
  38
  39   public AntView(
  40       int wxsize,
  41       int wysize,
  42       Environment env) {
  43
  44     JFrame f = new JFrame("Calendar");
  45
  46     f.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
  47
  48     Container cp = f.getContentPane();
  49     cp.setBackground(Color.white);
  50     cp.add("Center", this);
  51
  52     f.pack();
  53     f.setSize(new Dimension(wxsize,wysize));
  54     f.setVisible(true);
  55     f.toFront();
  56
  57     this.env = env;
  58     this.graph = env.getGraph();
  59     this.coordinate = graph.getCoordinate();
  60
  61     this.xPoints = new int[graph.getNumOfCities()];
  62     this.yPoints = new int[graph.getNumOfCities()];
  63     this.xScaledPoints = new int[graph.getNumOfCities()];
  64     this.yScaledPoints = new int[graph.getNumOfCities()];
  65
  66     xMax = 0;
  67     yMax = 0;
  68     for (int c = 0; c < graph.getNumOfCities(); c++) {
  69       xPoints[c] = coordinate.getCoordinates(c).getFirst();
  70       yPoints[c] = coordinate.getCoordinates(c).getSecond();
  71       if (xPoints[c] > xMax)
  72         xMax = xPoints[c];
  73       if (yPoints[c] > yMax)
  74         yMax = yPoints[c];
  75     }
  76
  77     Dimension d = this.getSize();
  78
  79     /* 20px border */
  80     xScale = (double)(d.width-(border*2))/(double)xMax;
  81     yScale = (double)(d.height-(border*2))/(double)yMax;
  82
  83     /* apply scale factor to points */
  84     for (int c = 0; c < graph.getNumOfCities(); c++) {
  85       xScaledPoints[c] = (int)(xPoints[c] * xScale);
  86       xScaledPoints[c] += border;
  87       yScaledPoints[c] = (int)(yPoints[c] * yScale);
  88       yScaledPoints[c] += border;
  89     }
  90
  91     System.gc();
  92   }
  93
  94   public void run() {
  95     this.update(this.getGraphics());
  96   }
  97
  98   public void paint(Graphics g) {
  99     Graphics2D g2 = (Graphics2D)g;
 100     HashMap<RenderingHints.Key, Object> rhmap = new HashMap<RenderingHints.Key, Object>(8);
 101     rhmap.put(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_DEFAULT);
 102     rhmap.put(RenderingHints.KEY_ALPHA_INTERPOLATION, RenderingHints.VALUE_ALPHA_INTERPOLATION_QUALITY);
 103     rhmap.put(RenderingHints.KEY_COLOR_RENDERING, RenderingHints.VALUE_COLOR_RENDER_QUALITY);
 104     rhmap.put(RenderingHints.KEY_DITHERING, RenderingHints.VALUE_DITHER_ENABLE);
 105     rhmap.put(RenderingHints.KEY_FRACTIONALMETRICS, RenderingHints.VALUE_FRACTIONALMETRICS_ON);
 106     rhmap.put(RenderingHints.KEY_INTERPOLATION, RenderingHints.VALUE_INTERPOLATION_BICUBIC);
 107     rhmap.put(RenderingHints.KEY_RENDERING, RenderingHints.VALUE_RENDER_QUALITY);
 108     rhmap.put(RenderingHints.KEY_TEXT_ANTIALIASING, RenderingHints.VALUE_TEXT_ANTIALIAS_ON);
 109     RenderingHints rh = new RenderingHints(rhmap);
 110     g2.setRenderingHints(rh);
 111
 112     this.update(g);
 113   }
 114
 115   public void update(Graphics g) {
 116
 117     Graphics2D g2 = (Graphics2D)g;
 118     Dimension d = this.getSize();
 119
 120     /* 20px border */
 121     xScale = (double)(d.width-(border*2))/(double)xMax;
 122     yScale = (double)(d.height-(border*2))/(double)yMax;
 123
 124     /* apply scale factor to points */
 125     for (int c = 0; c < graph.getNumOfCities(); c++) {
 126       xScaledPoints[c] = (int)(xPoints[c] * xScale);
 127       xScaledPoints[c] += border;
 128       yScaledPoints[c] = (int)(yPoints[c] * yScale);
 129       yScaledPoints[c] += border;
 130     }
 131
 132     int[] minTourXpoints = new int[graph.getNumOfCities()+1];
 133     int[] minTourYpoints = new int[graph.getNumOfCities()+1];
 134
 135     for (int c = 0; c < graph.getNumOfCities(); c++) {
 136       minTourXpoints[c] =
 137         (int)((double)coordinate.getCoordinates( env.getMinTour(c) ).getFirst() *
 138             xScale + border);
 139       minTourYpoints[c] =
 140         (int)((double)coordinate.getCoordinates( env.getMinTour(c) ).getSecond() *
 141             yScale + border);
 142     }
 143
 144     minTourXpoints[graph.getNumOfCities()] = minTourXpoints[0];
 145     minTourYpoints[graph.getNumOfCities()] = minTourYpoints[0];
 146
 147     g2.clearRect(0, 0, d.width, d.height);
 148
 149     drawCityWeb(g2);
 150     drawTourLines(g2, minTourXpoints, minTourYpoints);
 151     drawCities(g2);
 152
 153     g2.drawString("Minimum Length: " +
 154         env.getMinTourLength() +
 155         " at Iteration " +
 156         env.getMinTourIteration(),
 157         10, d.height - 10);
 158
 159     System.gc();
 160   }
 161
 162   public void drawCities(Graphics2D g2) {
 163
 164     g2.setColor(new Color(0, 0, 128));
 165
 166     for (int c = 0; c < graph.getNumOfCities(); c++) {
 167       g2.fillOval(xScaledPoints[c] - 8, yScaledPoints[c] - 8, 16, 16);
 168     }
 169   }
 170
 171   public void drawCityWeb(Graphics2D g2) {
 172     g2.setColor(new Color(210, 210, 210));
 173     g2.setStroke(new BasicStroke(0.25f));
 174
 175     for (int c1 = 0; c1 < graph.getNumOfCities(); c1++) {
 176       for (int c2 = 0; c2 < graph.getNumOfCities(); c2++) {
 177         g2.drawLine(xScaledPoints[c1], yScaledPoints[c1], xScaledPoints[c2], yScaledPoints[c2]);
 178       }
 179     }
 180   }
 181
 182   public void drawTourLines(Graphics2D g2, int[] minTourXpoints, int[] minTourYpoints) {
 183     g2.setColor(new Color(200, 20, 20));
 184     g2.setStroke(new BasicStroke(1.75f));
 185     g2.drawPolyline(minTourXpoints, minTourYpoints, graph.getNumOfCities() + 1);
 186   }
 187
 188   public void update(Observable o, Object arg) {
 189     this.update(this.getGraphics());
 190   }
 191
 192 }