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 @ 639

History | View | Annotate | Download (3.4 KB)

1 165 jobacas
package org.gvsig.scripting.swing.api;
2
3 639 jjdelcerro
import java.awt.event.ActionListener;
4 165 jobacas
import javax.swing.JPanel;
5 637 jjdelcerro
import javax.swing.event.ChangeListener;
6 639 jjdelcerro
import javax.swing.event.ListSelectionListener;
7 595 jjdelcerro
import org.gvsig.scripting.ScriptingScript;
8 165 jobacas
9
import org.gvsig.scripting.ScriptingUnit;
10 639 jjdelcerro
import org.gvsig.tools.swing.api.Component;
11 301 jjdelcerro
import org.gvsig.tools.swing.api.windowmanager.WindowManager;
12 165 jobacas
13
/**
14 637 jjdelcerro
 * <code>JScriptingComposer</code> provides services to the management and
15
 * edition of the {@link ScriptingUnit}s of the ScriptingFramework.
16
 *
17 165 jobacas
 * @see JScriptingLauncher
18
 */
19 639 jjdelcerro
public interface JScriptingComposer extends Component {
20 165 jobacas
21 639 jjdelcerro
    public static final String DOCKED_PROBLEMS = "Problems";
22
    public static final String DOCKED_CONSOLE = "Console";
23
    public static final String DOCKED_PROJECTS = "Projects";
24
25
    public interface Dock extends Iterable<Dock.DockedPanel> {
26
        public static final String DOCK_TOP = "North";
27
        public static final String DOCK_BOTTOM = "South";
28
        public static final String DOCK_LEFT = "West";
29
        public static final String DOCK_RIGHT = "East";
30
        public static final String DOCK_CENTER = "Center";
31
32
        public interface DockedPanel {
33
            public String getId();
34
            public Component getComponent();
35
            public String getTitle();
36
            public String getAlign();
37
            public boolean isModified();
38
            public void setModified(boolean modified);
39
            public void remove();
40
            public void select();
41
        }
42
        public DockedPanel add(String id, String title, Component compnent, String align);
43
        public void remove(String id);
44
        public DockedPanel get(String id);
45
        public void select(String id);
46
        public DockedPanel getSelected(String align);
47
        public void setModified(DockedPanel panel, boolean modified);
48
        public boolean getModified(DockedPanel panel);
49
        public void addCloseListener(ActionListener listener);
50
    }
51
52
    public interface Problems extends Component {
53
        public interface Problem {
54
            public String getType();
55
            public String getMessage();
56
            public String getResource();
57
            public int getLineNumber();
58
        }
59
        public void addListSelectionListener(ListSelectionListener listener);
60
        public Problem getSelect();
61
        public int getCount();
62
        public Problem get(int n);
63
        public void removeAll();
64
        public void add(String type, String message, String resource, String location);
65
        public void add(String type, String message, String resource, int line, int column);
66
    }
67
68
    public interface StatusBar extends Component {
69
        public void clear();
70
71
        public void message(String message);
72
73
        public void setPosition(int line);
74
75
        public void setPosition(int line, int column);
76
    }
77 188 jbadia
78 639 jjdelcerro
    public JPanel getAboutUsDialog();
79 165 jobacas
80 639 jjdelcerro
    public void setWindowManager(WindowManager windowsManager);
81 595 jjdelcerro
82 639 jjdelcerro
    public WindowManager getWindowManager();
83 637 jjdelcerro
84 639 jjdelcerro
    public JEditor getCurrentEditor();
85 637 jjdelcerro
86 639 jjdelcerro
    public ScriptingScript getCurrentScript();
87 637 jjdelcerro
88 639 jjdelcerro
    public Dock getDock();
89
90
    public Problems getProblems();
91
92
    public JScriptingConsole getConsole();
93
94
    public JScriptingLauncher getProjects();
95
96
    public StatusBar getStatusbar();
97
98
    public void addChangeEditorListener(ChangeListener listener);
99
100
    public void refreshProjects();
101 637 jjdelcerro
102 165 jobacas
}