Mercurial > hg > digilib-old
view servlet/src/digilib/io/ImageFile.java @ 492:d09c9b1db0cb
new servlet version 1.7.0b
- changed semaphore code to use Java 1.5
- changed digilib worker to do write the output outside the semaphore
author | robcast |
---|---|
date | Thu, 02 Aug 2007 19:22:47 +0200 |
parents | d76a9e3f1ec9 |
children | 50f291d808b1 |
line wrap: on
line source
/* ImageFile.java -- digilib image file class. Digital Image Library servlet components Copyright (C) 2003 Robert Casties (robcast@mail.berlios.de) This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. Please read license.txt for the full details. A copy of the GPL may be found at http://www.gnu.org/copyleft/lgpl.html You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA * Created on 25.02.2003 */ package digilib.io; import java.io.File; import digilib.image.ImageSize; /** * @author casties */ public class ImageFile { // file name private String filename = null; // parent ImageFileset private ImageFileset parent = null; // parent directory private Directory dir = null; // mime file type private String mimetype = null; // image size in pixels private ImageSize pixelSize = null; public ImageFile(String fn, ImageFileset parent, Directory dir) { this.filename = fn; this.parent = parent; this.dir = dir; } public ImageFile(String fn) { File f = new File(fn); this.dir = new Directory(f.getParentFile()); this.filename = f.getName(); } /** Returns the file name (without path). * * @return */ public String getName() { return filename; } /** * @return File */ public File getFile() { if (dir == null) { return null; } File f = new File(dir.getDir(), filename); return f; } /** * @return ImageSize */ public ImageSize getSize() { return pixelSize; } /** * @return String */ public String getMimetype() { return mimetype; } /** * Sets the imageSize. * @param imageSize The imageSize to set */ public void setSize(ImageSize imageSize) { this.pixelSize = imageSize; // pass on to parent if (this.parent != null) { this.parent.setAspect(imageSize); } } /** * Sets the mimetype. * @param mimetype The mimetype to set */ public void setMimetype(String filetype) { this.mimetype = filetype; } /** * @return ImageFileset */ public ImageFileset getParent() { return parent; } /** * Sets the parent. * @param parent The parent to set */ public void setParent(ImageFileset parent) { this.parent = parent; } /** * @return boolean */ public boolean isChecked() { return (pixelSize != null); } /** Returns the aspect ratio of the image (width/height). * * @return */ public float getAspect() { return (pixelSize != null) ? pixelSize.getAspect() : 0; } }