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 |
} |