()
| 2183 | } |
| 2184 | |
| 2185 | void getPixelSize() { |
| 2186 | Variable unit = getFirstVariable(); |
| 2187 | Variable width = getNextVariable(); |
| 2188 | Variable height = getNextVariable(); |
| 2189 | Variable depth = null; |
| 2190 | if (interp.nextToken()==',') |
| 2191 | depth = getNextVariable(); |
| 2192 | interp.getRightParen(); |
| 2193 | Calibration cal = getImage().getCalibration(); |
| 2194 | unit.setString(cal.getUnits()); |
| 2195 | width.setValue(cal.pixelWidth); |
| 2196 | height.setValue(cal.pixelHeight); |
| 2197 | if (depth!=null) |
| 2198 | depth.setValue(cal.pixelDepth); |
| 2199 | } |
| 2200 | |
| 2201 | void makeSelection() { |
| 2202 | String type = null; |
no test coverage detected