comparison servlet/src/digilib/io/SVGFile.java @ 339:6d2032b6121d gen2_1

new directory and cache work
author robcast
date Wed, 17 Nov 2004 18:17:34 +0100
parents
children
comparison
equal deleted inserted replaced
3:794a9f25f15c 339:6d2032b6121d
1 /* SVGFile -- Class for SVG files
2
3 Digital Image Library servlet components
4
5 Copyright (C) 2003 Robert Casties (robcast@mail.berlios.de)
6
7 This program is free software; you can redistribute it and/or modify it
8 under the terms of the GNU General Public License as published by the
9 Free Software Foundation; either version 2 of the License, or (at your
10 option) any later version.
11
12 Please read license.txt for the full details. A copy of the GPL
13 may be found at http://www.gnu.org/copyleft/lgpl.html
14
15 You should have received a copy of the GNU General Public License
16 along with this program; if not, write to the Free Software
17 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
18
19 * Created on 25.11.2003 by casties
20 *
21 */
22 package digilib.io;
23
24 import java.io.File;
25
26
27 /** Class for SVG files.
28 *
29 * @author casties
30 *
31 */
32 public class SVGFile extends DigiDirent {
33 /** this is a SVG file */
34 protected static final int FILE_CLASS = FileOps.CLASS_SVG;
35
36 protected File file;
37
38 /**
39 * @param name
40 * @param parent
41 * @param file
42 */
43 public SVGFile(File file, DigiDirectory parent) {
44 super(file.getName(), parent);
45 this.file = file;
46 }
47
48 /**
49 * @param name
50 * @param parent
51 */
52 public SVGFile(String name, File file, DigiDirectory parent) {
53 super(name, parent);
54 this.file = file;
55 }
56
57 /**
58 * @return Returns the file.
59 */
60 public File getFile() {
61 return file;
62 }
63
64 /**
65 * @param file The file to set.
66 */
67 public void setFile(File file) {
68 this.file = file;
69 }
70
71 }