savetool.java

一个很有特点的地图平台,可以以动画方试展现电子地图,有拉近,拉远,滑动功能,最主要的是它是一个地图维护台,处理地图到数据库的数据导入

package mapcenter.maptools;

import java.io.*;
import java.awt.*;
import java.awt.event.*;
import javax.swing.*;
import mapcenter.weihu.*;

public class SaveTool extends MapTool{

  public SaveTool() {
    super("/image/link1.gif","/image/link1.gif","保存","保存工具",'O');
  }

  public void actionPerformed(ActionEvent evt) {
    try{
      super.actionPerformed(evt);
      String mapPath = mapView.getMapHandle().getMapPath();
      String extension = ExtensionFilter.getExtension(mapPath);
      if(extension == null){
        JFileChooser fileChooser = new JFileChooser();
        fileChooser.setDialogTitle("保存地图");
        String[] extenName = {"mdf"};
        fileChooser.setFileFilter(new ExtensionFilter("地图定义文件(*.mdf)",extenName));
        fileChooser.setFileHidingEnabled(false);
        fileChooser.setSelectedFile(new File(".mdf"));
        int returnVal = fileChooser.showSaveDialog(mapView.getParent());
        if(returnVal != JFileChooser.APPROVE_OPTION)return;
        mapPath = fileChooser.getSelectedFile().getPath();
        extension = ExtensionFilter.getExtension(mapPath);
      }
      if(extension.equals("gst"))return;
      double zoom = mapView.getMapHandle().getMapJ().getZoom();
      mapView.getMapHandle().getMapJ().setZoom(zoom/3);
      mapView.getMapHandle().getMapJ().saveMapDefinition(mapPath);
      mapView.getMapHandle().getMapJ().setZoom(zoom);
    }catch(Exception e){log.error(e);}
  }

  //============= MouseListener接口实现 =============
  public void mouseEntered(MapMouse evt) {}
  public void mouseExited(MapMouse evt) {}
  public void mousePressed(MapMouse evt) {}
  public void mouseReleased(MapMouse evt) {}
  public void mouseDragged(MapMouse evt) {}
  public void mouseMoved(MapMouse evt) {}
  public void mouseClicked(MapMouse evt) {}
  //============= KeyListener接口实现 =============
  public void keyTyped(KeyEvent evt) {}
  public void keyPressed(KeyEvent evt) {}
  public void keyReleased(KeyEvent evt) { }
  //============= MapPainter接口实现 ===============
  public void paintOnMap(Graphics g) { }
  //============= ToolTipTextSetter接口实现 ========
  public String getToolTipText(MapMouse evt) {return "保存";}

}