annotate src/de/mpg/mpiwg/itgroup/digilib/digiImage/DigiImage.java @ 20:2f47c136b8a6

added property view
author dwinter
date Tue, 04 Jan 2011 16:35:41 +0100
parents e63a64652f4d
children 643fa1daa70c
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1 package de.mpg.mpiwg.itgroup.digilib.digiImage;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
2
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
3 import java.io.IOException;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
4 import java.io.InputStream;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
5 import java.net.MalformedURLException;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
6 import java.net.URL;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
7 import java.util.ArrayList;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
8 import java.util.Arrays;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
9 import java.util.HashMap;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
10 import java.util.List;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
11 import java.util.Map;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
12
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
13
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
14
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
15 import org.apache.commons.lang.StringUtils;
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
16 import org.eclipse.core.runtime.IAdaptable;
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
17 import org.eclipse.jface.viewers.ISelection;
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
18 import org.eclipse.jface.viewers.ISelectionChangedListener;
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
19 import org.eclipse.jface.viewers.ISelectionProvider;
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
20 import org.eclipse.jface.viewers.SelectionChangedEvent;
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
21 import org.eclipse.jface.viewers.StructuredSelection;
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
22 import org.eclipse.swt.graphics.Image;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
23 import org.eclipse.swt.widgets.Composite;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
24 import org.eclipse.swt.widgets.Label;
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
25 import org.eclipse.swt.widgets.Shell;
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
26 import org.eclipse.ui.IWorkbenchPage;
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
27 import org.eclipse.ui.IWorkbenchSite;
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
28 import org.eclipse.ui.IWorkbenchWindow;
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
29 import org.eclipse.ui.model.IWorkbenchAdapter;
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
30 import org.eclipse.ui.views.properties.IPropertySource;
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
31
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
32 import de.mpg.mpiwg.itgroup.digilib.digiImage.properties.DigiImageProperties;
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
33 import de.mpg.mpiwg.itgroup.digilib.manipulator.extensions.ZoomAreaRectangleListener;
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
34
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
35
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
36
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
37
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
38 /**
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
39 * Refers to an Digilib-Scaler Object either an image or an folder. The object contains an swt-label object, so that it can be embedded e.g. in Eclipse.
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
40 * @author dwinter
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
41 *
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
42 */
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
43 public class DigiImage implements IDigiImage, IAdaptable, ISelectionProvider{
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
44
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
45 /**
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
46 * Implemens a connection to Digilib.
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
47 */
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
48
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
49 private List<ISelectionChangedListener> selectionChangeListener = new ArrayList<ISelectionChangedListener>();
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
50
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
51 /* some parameters should not occur in the URL constructed by {@link #createUrlFromParameter(DigiImageParameter)} if set to negative values.
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
52 *
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
53 */
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
54 private static String[] omitIfNegativeArray = {"dw","dh","ddpi","ddpix","ddpiy"};
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
55 private static List<String> omitIfNegative = Arrays.asList(omitIfNegativeArray);
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
56
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
57
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
58 private String baseUrl="http://digilib.mpiwg-berlin.mpg.de/digitallibrary/servlet/Scaler";
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
59
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
60 /**
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
61 * Get the Url of the digilib scaler, set to http://digilib.mpiwg-berlin.mpg.de/digitallibrary/servlet/Scaler, if not changed.
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
62 * TODO should be part of a configuration/preference file
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
63 * @return
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
64 */
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
65 public String getBaseUrl() {
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
66 return baseUrl;
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
67 }
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
68
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
69 /**
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
70 * Setze die Basis url des Digilib-Scalers
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
71 * @param baseUrl
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
72 */
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
73 public void setBaseUrl(String baseUrl) {
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
74 this.baseUrl = baseUrl;
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
75 }
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
76
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
77 private Label label;
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
78
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
79 /* (non-Javadoc)
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
80 * @see de.mpg.mpiwg.itgroup.digilib.digiImage.IDigiImage#getLabel()
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
81 */
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
82 public Label getLabel() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
83 return label;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
84 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
85
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
86 /* (non-Javadoc)
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
87 * @see de.mpg.mpiwg.itgroup.digilib.digiImage.IDigiImage#setLabel(org.eclipse.swt.widgets.Label)
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
88 */
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
89 public void setLabel(Label label) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
90 this.label = label;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
91 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
92
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
93 //private URL url;
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
94 private Composite parent;
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
95
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
96 private DigiImageParameter dp;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
97
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
98
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
99 /**
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
100 *
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
101 * @param parent Composite where the image should be become a child of.
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
102 * @param style SWT Style how to display the image as a composite. For more the the style parameter at @see import org.eclipse.swt.widgets.Label
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
103 * @param dp Set of Parameters which define how the image should be displayed.
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
104 */
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
105 public DigiImage(Composite parent, int style, DigiImageParameter dp) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
106 //super(parent,style);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
107 label = new Label(parent, style);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
108 this.parent = parent;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
109 this.dp=dp;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
110 try {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
111 setNewURL(createUrlFromParameter(dp));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
112 } catch (MalformedURLException e) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
113 // TODO Auto-generated catch block
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
114 e.printStackTrace();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
115 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
116
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
117 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
118
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
119 /**
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
120 * Sets the complete URL of the manipulated image and changes the image object in the composite.
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
121 * @param url
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
122 */
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
123 private void setNewURL(URL url) {
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
124 //this.url = url;
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
125
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
126
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
127 InputStream is;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
128 try {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
129 is = url.openStream();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
130 } catch (IOException e) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
131 // TODO Auto-generated catch block
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
132 e.printStackTrace();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
133 return;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
134 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
135 Image img = new Image(parent.getDisplay(),is);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
136 //Label label = new Label(parent, SWT.None);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
137 label.setImage(img);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
138
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
139 label.setVisible(true);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
140 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
141
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
142
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
143 /* (non-Javadoc)
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
144 * @see de.mpg.mpiwg.itgroup.digilib.digiImage.IDigiImage#getParent()
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
145 */
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
146 public Composite getParent() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
147 return parent;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
148 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
149
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
150
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
151 /**
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
152 * Creates the URL to digilib from the given parameter set. For the documentation @see {@link http://developer.berlios.de/docman/display_doc.php?docid=106&group_id=251}.
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
153 * @param dp
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
154 * @return
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
155 * @throws MalformedURLException
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
156 */
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
157 private URL createUrlFromParameter(DigiImageParameter dp) throws MalformedURLException{
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
158
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
159 Map<String, String> qa = dp.createMapFromParameters(omitIfNegative);
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
160
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
161 List<String> queryArray = new ArrayList<String>();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
162 for(String key:qa.keySet()){
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
163 queryArray.add(key+"="+qa.get(key));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
164 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
165 String queryString = StringUtils.join(queryArray,"&");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
166
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
167 String stringUrl=baseUrl+"?"+queryString;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
168 return new URL(stringUrl);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
169 }
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
170
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
171
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
172
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
173 /* (non-Javadoc)
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
174 * @see de.mpg.mpiwg.itgroup.digilib.digiImage.IDigiImage#getParameter()
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
175 */
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
176 public DigiImageParameter getParameter() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
177
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
178 return dp;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
179 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
180
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
181 /* (non-Javadoc)
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
182 * @see de.mpg.mpiwg.itgroup.digilib.digiImage.IDigiImage#setParameter(de.mpg.mpiwg.itgroup.digilib.digiImage.DigiImageParameter)
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
183 */
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
184 public void setParameter(DigiImageParameter dp) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
185 this.dp=dp;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
186
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
187 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
188
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
189 /* (non-Javadoc)
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
190 * @see de.mpg.mpiwg.itgroup.digilib.digiImage.IDigiImage#redraw()
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
191 */
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
192 public void redraw(){
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
193 try {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
194 setNewURL(createUrlFromParameter(dp));
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
195 setSelection(new StructuredSelection(this));
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
196 } catch (MalformedURLException e) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
197 // TODO Auto-generated catch block
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
198 e.printStackTrace();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
199 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
200 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
201
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
202
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
203 private ZoomAreaRectangleListener rectangleListener=null;
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
204
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
205 /* (non-Javadoc)
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
206 * @see de.mpg.mpiwg.itgroup.digilib.digiImage.IDigiImage#getRectangleListener()
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
207 */
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
208 public ZoomAreaRectangleListener getRectangleListener() {
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
209
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
210 return rectangleListener;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
211 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
212
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
213 /* (non-Javadoc)
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
214 * @see de.mpg.mpiwg.itgroup.digilib.digiImage.IDigiImage#setRectangleListener(de.mpg.mpiwg.itgroup.digilib.manipulator.extensions.RectangleListener)
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
215 */
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
216 public void setRectangleListener(ZoomAreaRectangleListener rectangleListener) {
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
217 this.rectangleListener = rectangleListener;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
218 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
219
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
220 public Object getAdapter(Class adapter) {
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
221 if (adapter == IPropertySource.class)
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
222 return new DigiImageProperties(this);
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
223 return null;
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
224
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
225 }
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
226
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
227 public void addSelectionChangedListener(ISelectionChangedListener listener) {
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
228 selectionChangeListener.add(listener);
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
229
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
230 }
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
231
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
232 public ISelection getSelection() {
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
233 // TODO Auto-generated method stub
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
234 return new StructuredSelection(this);
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
235 }
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
236
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
237 public void removeSelectionChangedListener(
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
238 ISelectionChangedListener listener) {
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
239 selectionChangeListener.remove(listener);
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
240
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
241 }
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
242
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
243 public void setSelection(ISelection selection) {
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
244
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
245 for (ISelectionChangedListener sl: selectionChangeListener){
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
246
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
247 SelectionChangedEvent event = new SelectionChangedEvent(this, selection);
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
248 sl.selectionChanged(event);
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
249
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
250
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
251 }
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
252
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
253 }
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
254
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
255
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
256 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
257
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
258