com.partnersoft.maps.view
Class MapViewPanel

java.lang.Object
  extended by com.partnersoft.maps.view.MapViewPanel
All Implemented Interfaces:
RoverConstants

public class MapViewPanel
extends java.lang.Object
implements RoverConstants

A GUI panel that display a MapView.

Author:
Paul Reavis Copyright 2002 Partner Software, Inc.

Field Summary
 java.awt.Image backgroundImage
           
 MapViewFrame frame
           
 MapSpaceLegend legend
           
 MapSpace space
           
 
Fields inherited from interface com.partnersoft.io.formats.rover.RoverConstants
ALIGN_BOTTOM_CENTER, ALIGN_BOTTOM_FIT, ALIGN_BOTTOM_LEFT, ALIGN_BOTTOM_RIGHT, ALIGN_CENTER, ALIGN_CENTER_LEFT, ALIGN_CENTER_RIGHT, ALIGN_CODE_CENTER, ALIGN_CODE_FIT, ALIGN_CODE_HIGH, ALIGN_CODE_LOW, ALIGN_FIT, ALIGN_FIT_LEFT, ALIGN_FIT_RIGHT, ALIGN_TOP_CENTER, ALIGN_TOP_FIT, ALIGN_TOP_LEFT, ALIGN_TOP_RIGHT, COMMENT, DATA_FIELDS_MAX, EOF, FLOAT_COORDS, GEOMETRY_TYPE_NAMES, HAS_DATA, HAS_OFFSET, HAS_ROTATION, LIST, MASK_TYPECODE, NAMING, POINT, POLYGON, POLYLINE, POP, PUSH, RENDER_FINDITEM, RENDER_INDICATION, RENDER_NORMAL, RENDER_SELECTION, ROTATION_MULT, TEXEL_COORD_MAX, TEXEL_COORD_SIZE, TEXT, TILE_COORD_MAX, TILE_SIZE_PIXELS, VALUE
 
Constructor Summary
MapViewPanel(MapSpace space)
           
 
Method Summary
 void addKeyListener(java.awt.event.KeyListener listener)
           
 void addMapMotionListener(MapMotionListener listener)
           
 void addMapMouseListener(MapMouseListener listener)
           
protected  void finalize()
          Closes the statistics file.
 int getBaselineMillis()
          This property is used during benchmarking.
 RenderController getController()
           
 java.util.ArrayList getDataAt(double x, double y, int pixelX, int pixelY)
          Returns an array of MapDataLinks to the data at the given pixel coordinates.
 EZ2DGL getEZ2DGL()
           
 java.awt.Component getGUI()
           
 WheelMenu getWheelMenu()
           
 void initialize()
           
 void removeKeyListener(java.awt.event.KeyListener listener)
           
 void removeMapMotionListener(MapMotionListener listener)
           
 void removeMapMouseListener(MapMouseListener listener)
           
 void setActive(boolean isActive)
           
 void setBaselineMillis(int argBaselineMillis)
          This property is used during benchmarking.
 void setCurrentIndications(java.util.ArrayList items)
          Sets the current indication and therefore highlight.
 void setCurrentSelection(MapDataItem item)
          Sets the current selection and therefore highlight.
 void setLegend(MapSpaceLegend newLegend)
           
 void setRubberBand(double x1, double y1, double x2, double y2)
           
 void viewChanged()
          Call this whenever the view changes.
 
Methods inherited from class java.lang.Object
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

space

public MapSpace space

legend

public MapSpaceLegend legend

frame

public MapViewFrame frame

backgroundImage

public java.awt.Image backgroundImage
Constructor Detail

MapViewPanel

public MapViewPanel(MapSpace space)
Method Detail

viewChanged

public void viewChanged()
Call this whenever the view changes. It interrupts the current rendering cycle and starts a new one. Multiple calls to this are tossed (i.e. if you call viewChanged() twice while it's still closing down a render it should only rerender once).


setRubberBand

public void setRubberBand(double x1,
                          double y1,
                          double x2,
                          double y2)

getDataAt

public java.util.ArrayList getDataAt(double x,
                                     double y,
                                     int pixelX,
                                     int pixelY)
Returns an array of MapDataLinks to the data at the given pixel coordinates.


setCurrentSelection

public void setCurrentSelection(MapDataItem item)
Sets the current selection and therefore highlight.


setCurrentIndications

public void setCurrentIndications(java.util.ArrayList items)
Sets the current indication and therefore highlight.


setLegend

public void setLegend(MapSpaceLegend newLegend)

getWheelMenu

public WheelMenu getWheelMenu()

addMapMouseListener

public void addMapMouseListener(MapMouseListener listener)

removeMapMouseListener

public void removeMapMouseListener(MapMouseListener listener)

addMapMotionListener

public void addMapMotionListener(MapMotionListener listener)

removeMapMotionListener

public void removeMapMotionListener(MapMotionListener listener)

addKeyListener

public void addKeyListener(java.awt.event.KeyListener listener)

removeKeyListener

public void removeKeyListener(java.awt.event.KeyListener listener)

getBaselineMillis

public int getBaselineMillis()
This property is used during benchmarking. It represents the baseline time in milliseconds that the next rendering is expected to take.


setBaselineMillis

public void setBaselineMillis(int argBaselineMillis)
This property is used during benchmarking. It represents the baseline time in milliseconds that the next rendering is expected to take.


getGUI

public java.awt.Component getGUI()

getEZ2DGL

public EZ2DGL getEZ2DGL()

getController

public RenderController getController()

setActive

public void setActive(boolean isActive)

finalize

protected void finalize()
Closes the statistics file.

Overrides:
finalize in class java.lang.Object

initialize

public void initialize()