| edu.rice.cs.drjava.config.VectorOption
| VectorOption | | public class VectorOption extends Option> (Code) | | Abstract class defining behavior shared by all
configuration options with values of type
Vector.
version:
$Id: VectorOption.java 4255 2007-08-28 19:17:37Z mgricken $ |
| Constructor Summary | |
| public | VectorOption(String key, Option<T> strategy, String header, char delim, String footer, Vector<T> def)
| | public | VectorOption(String key, Option<T> option, Vector<T> def)
Defaults the "header", "footer", and "delim" fields
to open bracket, close bracket, and comma, repsectively. |
| delim | | final public char delim(Code) | | |
| VectorOption | | public VectorOption(String key, Option<T> option, Vector<T> def)(Code) | | Defaults the "header", "footer", and "delim" fields
to open bracket, close bracket, and comma, repsectively.
Parameters:
key - The name of this option.
Parameters:
option - The object that knows how to parse and formatan element of type T. |
| format | | public String format(Vector<T> v)(Code) | | Formats the Vector v. The overall String format is determined by the method Vector.tString(), but each
element of the vector is formatted by calling formatElement().
Parameters:
v - The Vector to be formatted. A String representing "v". |
| parse | | public Vector<T> parse(String s)(Code) | |
Parameters:
s - The String to be parsed. An instance of Vector represented by "s".
exception:
IllegalArgumentException - if "s" is not formattedaccording to the method Vector.toString(). |
|
|