edu.rice.cs.drjava.config
Class ClasspathOption
java.lang.Object
|
+--edu.rice.cs.drjava.config.ClasspathOption
- class ClasspathOption
- extends Object
Generate vector options separately to appease javadoc.
(It didn't like anonymous inner classes with generics in interfaces in Java 1.3.)
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait |
warning
private String warning
ClasspathOption
ClasspathOption()
evaluate
public VectorOption evaluate(String optionName)