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.)


Field Summary
private  String warning
           
 
Constructor Summary
(package private) ClasspathOption()
           
 
Method Summary
 VectorOption evaluate(String optionName)
           
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait
 

Field Detail

warning

private String warning
Constructor Detail

ClasspathOption

ClasspathOption()
Method Detail

evaluate

public VectorOption evaluate(String optionName)