comparison servlet/src/digilib/image/JIMIDocuImage.java @ 159:e743b853efca

servlet version 1.16a4 - rather experimental - new Texter servlet for sending text - reads and caches text files in DocuDirCache - DocuFile renamed to ImageFile (-Set) - new TextFile
author robcast
date Tue, 16 Sep 2003 18:32:00 +0200
parents 04ad64b2137a
children afe7ff98bb71
comparison
equal deleted inserted replaced
158:e9a81ac446cb 159:e743b853efca
30 import com.sun.jimi.core.filters.AreaAverageScaleFilter; 30 import com.sun.jimi.core.filters.AreaAverageScaleFilter;
31 import com.sun.jimi.core.filters.ReplicatingScaleFilter; 31 import com.sun.jimi.core.filters.ReplicatingScaleFilter;
32 import com.sun.jimi.core.raster.JimiRasterImage; 32 import com.sun.jimi.core.raster.JimiRasterImage;
33 33
34 import digilib.Utils; 34 import digilib.Utils;
35 import digilib.io.DocuFile; 35 import digilib.io.ImageFile;
36 import digilib.io.FileOpException; 36 import digilib.io.FileOpException;
37 37
38 /** Implementation of DocuImage using the JIMI image Library. */ 38 /** Implementation of DocuImage using the JIMI image Library. */
39 public class JIMIDocuImage extends DocuImageImpl { 39 public class JIMIDocuImage extends DocuImageImpl {
40 40
51 } 51 }
52 52
53 /** 53 /**
54 * load image file 54 * load image file
55 */ 55 */
56 public void loadImage(DocuFile f) throws FileOpException { 56 public void loadImage(ImageFile f) throws FileOpException {
57 System.gc(); 57 System.gc();
58 try { 58 try {
59 img = Jimi.getRasterImage(f.getFile().toURL()); 59 img = Jimi.getRasterImage(f.getFile().toURL());
60 } catch (java.net.MalformedURLException e) { 60 } catch (java.net.MalformedURLException e) {
61 util.dprintln(3, "ERROR(loadImage): MalformedURLException"); 61 util.dprintln(3, "ERROR(loadImage): MalformedURLException");