--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/servlet/src/digilib/io/SVGFile.java	Wed Nov 17 18:17:34 2004 +0100
@@ -0,0 +1,71 @@
+/* SVGFile -- Class for SVG files
+
+  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.11.2003 by casties
+ *
+ */
+package digilib.io;
+
+import java.io.File;
+
+
+/** Class for SVG files.
+ * 
+ * @author casties
+ *
+ */
+public class SVGFile extends DigiDirent {
+	/** this is a SVG file */
+	protected static final int FILE_CLASS = FileOps.CLASS_SVG;
+
+	protected File file;
+	
+	/**
+	 * @param name
+	 * @param parent
+	 * @param file
+	 */
+	public SVGFile(File file, DigiDirectory parent) {
+		super(file.getName(), parent);
+		this.file = file;
+	}
+	
+	/**
+	 * @param name
+	 * @param parent
+	 */
+	public SVGFile(String name, File file, DigiDirectory parent) {
+		super(name, parent);
+		this.file = file;
+	}
+
+	/**
+	 * @return Returns the file.
+	 */
+	public File getFile() {
+		return file;
+	}
+	
+	/**
+	 * @param file The file to set.
+	 */
+	public void setFile(File file) {
+		this.file = file;
+	}
+	
+}