edu.rice.cs.drjava.config
Class OptionEvent<T>

java.lang.Object
  edu.rice.cs.drjava.config.OptionEvent<T>

public class OptionEvent<T>
extends Object

Version:

$Id: OptionEvent.java 4314 2008-01-30 00:08:33Z mgricken $

Field Summary

Option<T>	option
T	value

Constructor Summary

OptionEvent(Option<T> option, T value)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

option

public final Option<T> option

value

public final T value

Constructor Detail

OptionEvent

public OptionEvent(Option<T> option,
                   T value)