001: /*BEGIN_COPYRIGHT_BLOCK
002: *
003: * Copyright (c) 2001-2007, JavaPLT group at Rice University (javaplt@rice.edu)
004: * All rights reserved.
005: *
006: * Redistribution and use in source and binary forms, with or without
007: * modification, are permitted provided that the following conditions are met:
008: * * Redistributions of source code must retain the above copyright
009: * notice, this list of conditions and the following disclaimer.
010: * * Redistributions in binary form must reproduce the above copyright
011: * notice, this list of conditions and the following disclaimer in the
012: * documentation and/or other materials provided with the distribution.
013: * * Neither the names of DrJava, the JavaPLT group, Rice University, nor the
014: * names of its contributors may be used to endorse or promote products
015: * derived from this software without specific prior written permission.
016: *
017: * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
018: * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
019: * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
020: * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
021: * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
022: * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
023: * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
024: * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
025: * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
026: * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
027: * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
028: *
029: * This software is Open Source Initiative approved Open Source Software.
030: * Open Source Initative Approved is a trademark of the Open Source Initiative.
031: *
032: * This file is part of DrJava. Download the current version of this project
033: * from http://www.drjava.org/ or http://sourceforge.net/projects/drjava/
034: *
035: * END_COPYRIGHT_BLOCK*/
036:
037: package edu.rice.cs.drjava.config;
038:
039: import java.io.*;
040:
041: /** Class representing all configuration options with values of type File.
042: * @version $Id: FileOption.java 4255 2007-08-28 19:17:37Z mgricken $
043: */
044: public class FileOption extends Option<File> {
045:
046: /** Special sentinal file indicating that this option is not set. */
047: public static final File NULL_FILE = new File("") {
048: public boolean canRead() {
049: return false;
050: }
051:
052: public boolean canWrite() {
053: return false;
054: }
055:
056: public int compareTo(File f) {
057: return (f == this ) ? 0 : -1;
058: }
059:
060: public boolean createNewFile() {
061: return false;
062: }
063:
064: public boolean delete() {
065: return false;
066: }
067:
068: public void deleteOnExit() {
069: }
070:
071: public boolean equals(Object o) {
072: return o == this ;
073: }
074:
075: public boolean exists() {
076: return true;
077: }
078:
079: public File getAbsoluteFile() {
080: return this ;
081: }
082:
083: public String getAbsolutePath() {
084: return "";
085: }
086:
087: public File getCanonicalFile() {
088: return this ;
089: }
090:
091: public String getCanonicalPath() {
092: return "";
093: }
094:
095: public String getName() {
096: return "";
097: }
098:
099: public String getParent() {
100: return null;
101: }
102:
103: public File getParentFile() {
104: return null;
105: }
106:
107: public String getPath() {
108: return "";
109: }
110:
111: public int hashCode() {
112: return getClass().hashCode();
113: }
114:
115: public boolean isAbsolute() {
116: return false;
117: }
118:
119: public boolean isDirectory() {
120: return false;
121: }
122:
123: public boolean isFile() {
124: return false;
125: }
126:
127: public boolean isHidden() {
128: return false;
129: }
130:
131: public long lastModified() {
132: return 0L;
133: }
134:
135: public long length() {
136: return 0L;
137: }
138:
139: public String[] list() {
140: return null;
141: }
142:
143: public String[] list(FilenameFilter filter) {
144: return null;
145: }
146:
147: public File[] listFiles() {
148: return null;
149: }
150:
151: public File[] listFiles(FileFilter filter) {
152: return null;
153: }
154:
155: public File[] listFiles(FilenameFilter filter) {
156: return null;
157: }
158:
159: public boolean mkdir() {
160: return false;
161: }
162:
163: public boolean mkdirs() {
164: return false;
165: }
166:
167: public boolean renameTo(File dest) {
168: return false;
169: }
170:
171: public boolean setLastModified(long time) {
172: return false;
173: }
174:
175: public boolean setReadOnly() {
176: return false;
177: }
178:
179: public String toString() {
180: return "";
181: }
182: //public URI toURI() {} (Defer to super implementation.)
183: //public URL toURL() {} (Defer to super implementation.)
184: };
185:
186: /** @param key The name of this option. */
187: public FileOption(String key, File def) {
188: super (key, def);
189: }
190:
191: /** @param s The String to be parsed, must represent a legal file path for the File to be created.
192: * @return The absolute File object corresponding to the input path string.
193: */
194: public File parse(String s) {
195: if (s.trim().equals(""))
196: return NULL_FILE;
197:
198: try {
199: return new File(s).getAbsoluteFile();
200: } catch (NullPointerException e) {
201: throw new OptionParseException(name, s,
202: "Must have a legal filename.");
203: }
204: }
205:
206: /** @param f The instance of class File to be formatted.
207: * @return A String representing the absolute path of "f".
208: */
209: public String format(File f) {
210: return f.getAbsolutePath();
211: }
212: }
|