annotate src/de/mpg/mpiwg/itgroup/digilib/digiImage/DigiImageController.java @ 9:e63a64652f4d

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