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 165 jobacas
package org.gvsig.scripting.swing.api;
2
3 639 jjdelcerro
import java.awt.event.ActionListener;
4 650 jjdelcerro
import java.io.File;
5 165 jobacas
import javax.swing.JPanel;
6 637 jjdelcerro
import javax.swing.event.ChangeListener;
7 639 jjdelcerro
import javax.swing.event.ListSelectionListener;
8 595 jjdelcerro
import org.gvsig.scripting.ScriptingScript;
9 165 jobacas
10
import org.gvsig.scripting.ScriptingUnit;
11 639 jjdelcerro
import org.gvsig.tools.swing.api.Component;
12 301 jjdelcerro
import org.gvsig.tools.swing.api.windowmanager.WindowManager;
13 165 jobacas
14
/**
15 637 jjdelcerro
 * <code>JScriptingComposer</code> provides services to the management and
16
 * edition of the {@link ScriptingUnit}s of the ScriptingFramework.
17
 *
18 165 jobacas
 * @see JScriptingLauncher
19
 */
20 639 jjdelcerro
public interface JScriptingComposer extends Component {
21 165 jobacas
22 639 jjdelcerro
    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 648 jjdelcerro
        public static final String ACTION_ACTIVATE_PANEL = "ActivePanel";
34
        public static final String ACTION_CLOSE_PANEL = "ClosePanel";
35
36 639 jjdelcerro
        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 1200 jjdelcerro
            public void moveto(String position);
46 639 jjdelcerro
        }
47 1200 jjdelcerro
        public DockedPanel add(String id, String title, Component compnent, String position);
48 639 jjdelcerro
        public void remove(String id);
49
        public DockedPanel get(String id);
50
        public void select(String id);
51 1200 jjdelcerro
        public DockedPanel getSelected(String position);
52 639 jjdelcerro
        public void setModified(DockedPanel panel, boolean modified);
53
        public boolean getModified(DockedPanel panel);
54
        public void addCloseListener(ActionListener listener);
55 687 jjdelcerro
        public void removeCloseListener(ActionListener listener);
56 648 jjdelcerro
        public void addActivateListener(ActionListener listener);
57 687 jjdelcerro
        public void removeActivateListener(ActionListener listener);
58 639 jjdelcerro
    }
59
60
    public interface Problems extends Component {
61
        public interface Problem {
62
            public String getType();
63
            public String getMessage();
64 650 jjdelcerro
            public String getResourceName();
65
            public File getResource();
66 639 jjdelcerro
            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 650 jjdelcerro
        public void add(String type, Exception e) ;
76 639 jjdelcerro
    }
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 188 jbadia
88 639 jjdelcerro
    public JPanel getAboutUsDialog();
89 165 jobacas
90 639 jjdelcerro
    public void setWindowManager(WindowManager windowsManager);
91 595 jjdelcerro
92 639 jjdelcerro
    public WindowManager getWindowManager();
93 637 jjdelcerro
94 639 jjdelcerro
    public JEditor getCurrentEditor();
95 637 jjdelcerro
96 639 jjdelcerro
    public ScriptingScript getCurrentScript();
97 637 jjdelcerro
98 639 jjdelcerro
    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 687 jjdelcerro
    public void removeChangeEditorListener(ChangeListener listener);
111
112 639 jjdelcerro
    public void refreshProjects();
113 637 jjdelcerro
114 165 jobacas
}