Statistics
| Revision:

gvsig-scripting / org.gvsig.scripting / trunk / org.gvsig.scripting / org.gvsig.scripting.swing / org.gvsig.scripting.swing.api / src / main / java / org / gvsig / scripting / swing / api / JScriptingComposer.java @ 1200

History | View | Annotate | Download (3.99 KB)

1
package org.gvsig.scripting.swing.api;
2

    
3
import java.awt.event.ActionListener;
4
import java.io.File;
5
import javax.swing.JPanel;
6
import javax.swing.event.ChangeListener;
7
import javax.swing.event.ListSelectionListener;
8
import org.gvsig.scripting.ScriptingScript;
9

    
10
import org.gvsig.scripting.ScriptingUnit;
11
import org.gvsig.tools.swing.api.Component;
12
import org.gvsig.tools.swing.api.windowmanager.WindowManager;
13

    
14
/**
15
 * <code>JScriptingComposer</code> provides services to the management and
16
 * edition of the {@link ScriptingUnit}s of the ScriptingFramework.
17
 *
18
 * @see JScriptingLauncher
19
 */
20
public interface JScriptingComposer extends Component {
21

    
22
    public static final String DOCKED_PROBLEMS = "Problems";
23
    public static final String DOCKED_CONSOLE = "Console";
24
    public static final String DOCKED_PROJECTS = "Projects";
25
    
26
    public interface Dock extends Iterable<Dock.DockedPanel> {
27
        public static final String DOCK_TOP = "North";
28
        public static final String DOCK_BOTTOM = "South";
29
        public static final String DOCK_LEFT = "West";
30
        public static final String DOCK_RIGHT = "East";
31
        public static final String DOCK_CENTER = "Center";
32
        
33
        public static final String ACTION_ACTIVATE_PANEL = "ActivePanel";
34
        public static final String ACTION_CLOSE_PANEL = "ClosePanel";
35
        
36
        public interface DockedPanel {
37
            public String getId();
38
            public Component getComponent();
39
            public String getTitle();
40
            public String getAlign();
41
            public boolean isModified();
42
            public void setModified(boolean modified);
43
            public void remove();
44
            public void select();
45
            public void moveto(String position);
46
        }
47
        public DockedPanel add(String id, String title, Component compnent, String position);
48
        public void remove(String id);
49
        public DockedPanel get(String id);
50
        public void select(String id);
51
        public DockedPanel getSelected(String position);
52
        public void setModified(DockedPanel panel, boolean modified);
53
        public boolean getModified(DockedPanel panel);
54
        public void addCloseListener(ActionListener listener);
55
        public void removeCloseListener(ActionListener listener);
56
        public void addActivateListener(ActionListener listener);
57
        public void removeActivateListener(ActionListener listener);
58
    }    
59
    
60
    public interface Problems extends Component {
61
        public interface Problem {
62
            public String getType();
63
            public String getMessage();
64
            public String getResourceName();
65
            public File getResource();
66
            public int getLineNumber();
67
        }
68
        public void addListSelectionListener(ListSelectionListener listener);
69
        public Problem getSelect();
70
        public int getCount();
71
        public Problem get(int n);
72
        public void removeAll();
73
        public void add(String type, String message, String resource, String location);
74
        public void add(String type, String message, String resource, int line, int column);
75
        public void add(String type, Exception e) ;
76
    }
77
        
78
    public interface StatusBar extends Component {
79
        public void clear();
80
        
81
        public void message(String message);
82
        
83
        public void setPosition(int line);
84
        
85
        public void setPosition(int line, int column);
86
    }
87

    
88
    public JPanel getAboutUsDialog();
89

    
90
    public void setWindowManager(WindowManager windowsManager);
91

    
92
    public WindowManager getWindowManager();
93

    
94
    public JEditor getCurrentEditor();
95

    
96
    public ScriptingScript getCurrentScript();
97

    
98
    public Dock getDock();
99
    
100
    public Problems getProblems();
101
    
102
    public JScriptingConsole getConsole();
103
    
104
    public JScriptingLauncher getProjects();
105
    
106
    public StatusBar getStatusbar();
107
    
108
    public void addChangeEditorListener(ChangeListener listener);
109
    
110
    public void removeChangeEditorListener(ChangeListener listener);
111
    
112
    public void refreshProjects();
113

    
114
}