Statistics
| Revision:

gvsig-projects-pool / org.gvsig.topology / trunk / org.gvsig.topology / org.gvsig.topology.swing / org.gvsig.topology.swing.api / src / main / java / org / gvsig / topology / swing / api / TopologySwingServices.java @ 726

History | View | Annotate | Download (1.73 KB)

1
/**
2
 * gvSIG. Desktop Geographic Information System.
3
 *
4
 * Copyright (C) 2007-2013 gvSIG Association.
5
 *
6
 * This program is free software; you can redistribute it and/or
7
 * modify it under the terms of the GNU General Public License
8
 * as published by the Free Software Foundation; either version 3
9
 * of the License, or (at your option) any later version.
10
 *
11
 * This program is distributed in the hope that it will be useful,
12
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14
 * GNU General Public License for more details.
15
 *
16
 * You should have received a copy of the GNU General Public License
17
 * along with this program; if not, write to the Free Software
18
 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston,
19
 * MA  02110-1301, USA.
20
 *
21
 * For any additional information, do not hesitate to contact us
22
 * at info AT gvsig.com, or visit our website www.gvsig.com.
23
 */
24
package org.gvsig.topology.swing.api;
25

    
26
import javax.swing.tree.TreeModel;
27
import org.gvsig.fmap.geom.primitive.Envelope;
28
import org.gvsig.fmap.geom.primitive.Point;
29
import org.gvsig.topology.lib.api.TopologyServices;
30

    
31
/**
32
 *
33
 * @author jjdelcerro
34
 */
35
public interface TopologySwingServices extends TopologyServices {
36

    
37
    public interface WorkingAreaChangedListener {
38

    
39
        public void workingAreaChanged(Envelope workingArea);
40
    }
41

    
42
    public TreeModel getDataSetTreeModel();
43

    
44
    public void zoomTo(Envelope envelope);
45

    
46
    public void centerTo(Point point);
47

    
48
    public Envelope getWorkingArea();
49

    
50
    public void addWorkingAreaChangedListener(WorkingAreaChangedListener listener);
51

    
52
    public void removeWorkingAreaChangedListener(WorkingAreaChangedListener listener);
53

    
54
    public void refreshView();
55
}