package gvps.gui; import gvps.data.objects.*; import java.awt.*; import javax.swing.*; import java.awt.Color; import java.util.Vector; import java.util.Iterator; public class MapArea extends JPanel { private Vector polygons; private final BasicStroke ROAD = new BasicStroke(5.0f); public MapArea() { } public MapArea(Vector polygons) { this.polygons = polygons; } public void paint(Graphics g) { Graphics2D g2d = (Graphics2D)g; g2d.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_ON); g2d.setStroke(road); if(polygons != null) { Iterator i = polygons.iterator(); while(i.hasNext()) { Polygon p = i.next(); g2d.drawPolygon(p); } } } public void setPolygons(Vector v) { polygons = v; } }