CustomDB.java 文件源码

public void drawCurrentPoint() {
    if( map==null || point==null || !map.isVisible() ) return;
    synchronized (map.getTreeLock() ) {
        Graphics2D g = map.getGraphics2D();
        float zoom = (float)map.getZoom();
        g.setStroke( new BasicStroke( 2f/ zoom ) );
        g.setColor(Color.RED);
        g.setXORMode( Color.white );
        Rectangle2D rect = map.getClipRect2D();
        double wrap = map.getWrap();
        if( wrap>0. ) while( point.x-wrap > rect.getX() ) point.x-=wrap;
        double size = 10./map.getZoom();
        Arc2D.Double arc = new Arc2D.Double( 0., point.y-.5*size, 
                        size, size, 0., 360., Arc2D.CHORD);
        if( wrap>0. ) {
            while( point.x < rect.getX()+rect.getWidth() ) {
                arc.x = point.x-.5*size;
                g.draw(arc);
                point.x += wrap;
            }
        } else {
            arc.x = point.x-.5*size;
            g.draw(arc);
        }
    }
}