annotate src/de/mpg/mpiwg/itgroup/digilib/digiImage/DigiImageController.java @ 27:ee955cf6c9c5

first commit
author dwinter
date Fri, 17 Jun 2011 14:24:34 +0200
parents 1a7940ac5169
children
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.util.ArrayList;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
4 import java.util.List;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
5
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
6 import org.apache.commons.lang.StringUtils;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
7 import org.eclipse.swt.graphics.Point;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
8
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
9
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
10 /** Contains methods to manipulate an digilib image @see {#link de.mpiwg.itgroup.digilib.digiImage.Digimage}.
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
11 * The parameters are documented at the digilib pages @see {@link http://developer.berlios.de/docman/display_doc.php?docid=106&group_id=251}.
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
12 *
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
13 */
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
14
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
15 public class DigiImageController{
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
16
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
17 public static String VMIR="vmir"; // vertical mirroring
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
18 public static String HMIR="hmir"; // horizontal mirroring
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
19
27
ee955cf6c9c5 first commit
dwinter
parents: 24
diff changeset
20 public IDigiImage digiImage; // the image to be controlled.
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
21 //private DigiImageParameter parameter;
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
22
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
23
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
24 protected DigiImageController(){}
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
25
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
26 /** Create a new controller on the image object.
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
27 *
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
28 * @param di
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
29 */
27
ee955cf6c9c5 first commit
dwinter
parents: 24
diff changeset
30 public DigiImageController(IDigiImage di){
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
31 this.digiImage=di;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
32 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
33
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
34
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
35
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
36 /** Mirrors the image
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
37 * @param modes can be @see {@value #VMIR} or {@link #HMIR}.
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
38 */
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
39 public void mir(String mode) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
40
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
41 DigiImageParameter dp = digiImage.getParameter();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
42
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
43 String parameter = dp.getMo();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
44
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
45
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
46 // mo kann mehrere durch komma getrennte parameter haben
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
47 String[] splittmo= parameter.split(",");
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
48 Boolean hasMir = false;
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
49 List<String> newmo = new ArrayList<String>();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
50 for(String m: splittmo){
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
51 if (m.equals(mode)){
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
52 hasMir=true;
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
53 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
54 newmo.add(m);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
55 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
56 }
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
57 if(!hasMir){ // kein hmir dann dazufuegen
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
58 newmo.add(mode);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
59 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
60 String newmoString = StringUtils.join(newmo,",");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
61
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
62 dp.setMo(newmoString);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
63
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
64
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
65 digiImage.setParameter(dp);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
66 digiImage.redraw();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
67 }
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
68
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
69
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
70 public void vmir() {
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
71 mir(VMIR);
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
72
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
73 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
74
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
75 public void hmir() {
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
76 mir(HMIR);
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
77
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
78 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
79
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
80 public void rotate(float rotateValue) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
81 digiImage.getParameter().setRot(rotateValue);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
82 digiImage.redraw();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
83 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
84
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
85
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
86
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
87
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
88 /** Zoom the area given by the rectangle (x,y), (x2,y2). Alle point are given in absolute coordinates.
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
89 * @param x
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
90 * @param y
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
91 * @param x2
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
92 * @param y2
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
93 */
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
94 public void zoomArea(int x, int y, int x2, int y2) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
95
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
96 Point size = digiImage.getLabel().getSize();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
97
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
98 float relx = new Float(x)/new Float(size.x);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
99 float rely = new Float(y)/new Float(size.y);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
100
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
101 float relx2 = new Float(x2)/new Float(size.x);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
102 float rely2 = new Float(y2)/new Float(size.y);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
103
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
104 DigiImageParameter dp = digiImage.getParameter();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
105
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
106 float Ww = dp.getWw();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
107 float Wh = dp.getWh();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
108
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
109 float Wx = dp.getWx();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
110 float Wy = dp.getWy();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
111
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
112
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
113 float nWx = relx*Ww+Wx;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
114 float nWy = rely*Wh+Wy;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
115
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
116 float nWw = (relx2-relx)*Ww;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
117 float nWh = (rely2-rely)*Wh;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
118
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
119
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
120
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
121 dp.setWx(nWx);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
122 dp.setWy(nWy);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
123 dp.setWw(nWw);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
124 dp.setWh(nWh);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
125 digiImage.setParameter(dp);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
126 digiImage.redraw();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
127
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
128
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
129 // setRot(rotateValue);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
130 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
131
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
132 /**
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
133 * Show the whole image.
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
134 *
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
135 */
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
136 public void zoomFull(){
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
137 DigiImageParameter dp = digiImage.getParameter();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
138 dp.setWw(1);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
139 dp.setWh(1);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
140
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
141 dp.setWx(0);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
142 dp.setWy(0);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
143
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
144 digiImage.setParameter(dp);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
145 digiImage.redraw();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
146 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
147
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
148 /**
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
149 * scales the image down (ws --> ws-1)
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
150 *
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
151 */
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
152 public void scaleDown() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
153 DigiImageParameter dp = digiImage.getParameter();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
154 float ws = dp.getWs();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
155 if (ws>1){
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
156 dp.setWs(ws-1);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
157 digiImage.setParameter(dp);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
158 digiImage.redraw();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
159
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
160 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
161
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
162 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
163
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
164 /**
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
165 * scales the image up (ws --> ws+1)
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
166 *
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
167 */
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
168 public void scaleUp() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
169 DigiImageParameter dp = digiImage.getParameter();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
170 float ws = dp.getWs();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
171
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
172 dp.setWs(ws+1);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
173 digiImage.setParameter(dp);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
174 digiImage.redraw();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
175
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
176
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
177
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
178
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 /**
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
182 * If the image object points to a folder the previous image in the folder is displayed.
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
183 *
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
184 */
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
185 public void prevPage() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
186 DigiImageParameter dp = digiImage.getParameter();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
187 int pn = dp.getPn();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
188 if (pn>1)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
189 pn=pn-1;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
190 dp.setPn(pn);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
191 digiImage.setParameter(dp);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
192 digiImage.redraw();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
193
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
194 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
195
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
196 /**
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
197 * If the image object points to a folder the next image in the folder is displayed.
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
198 * TODO currently no check is made if we are already on the last image in the folder.
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
199 */
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
200 public void nextPage() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
201 DigiImageParameter dp = digiImage.getParameter();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
202 int pn = dp.getPn();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
203
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
204 pn=pn+1;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
205 dp.setPn(pn);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
206 digiImage.setParameter(dp);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
207 digiImage.redraw();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
208
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
209
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
210 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
211
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
212
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
213
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
214
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
215 }