edu.rice.cs.drjava.config
Class ClassPathOption

java.lang.Object
  edu.rice.cs.drjava.config.ClassPathOption

 class ClassPathOption
extends java.lang.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 java.lang.String

warning

Constructor Summary

ClassPathOption()

Method Summary

VectorOption<java.io.File>

evaluate(java.lang.String optionName)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

warning

private java.lang.String warning

Constructor Detail

ClassPathOption

ClassPathOption()

Method Detail

evaluate

public VectorOption<java.io.File> evaluate(java.lang.String optionName)