| edu.rice.cs.drjava.config.FileOption
| FileOption | | public class FileOption extends Option (Code) | | Class representing all configuration options with values of type File.
version:
$Id: FileOption.java 4255 2007-08-28 19:17:37Z mgricken $ |
| Field Summary | |
| final public static File | NULL_FILE
Special sentinal file indicating that this option is not set. |
| Constructor Summary | |
| public | FileOption(String key, File def)
Parameters:
key - The name of this option. |
| Method Summary | |
| public String | format(File f)
Parameters:
f - The instance of class File to be formatted. | | public File | parse(String s)
Parameters:
s - The String to be parsed, must represent a legal file path for the File to be created. |
| NULL_FILE | | final public static File NULL_FILE(Code) | | Special sentinal file indicating that this option is not set.
|
| FileOption | | public FileOption(String key, File def)(Code) | |
Parameters:
key - The name of this option. |
| format | | public String format(File f)(Code) | |
Parameters:
f - The instance of class File to be formatted. A String representing the absolute path of "f". |
| parse | | public File parse(String s)(Code) | |
Parameters:
s - The String to be parsed, must represent a legal file path for the File to be created. The absolute File object corresponding to the input path string. |
|
|