edu.rice.cs.drjava.config
Class EagerProperty

java.lang.Object
  edu.rice.cs.drjava.config.DrJavaProperty
      edu.rice.cs.drjava.config.EagerProperty

All Implemented Interfaces:

Cloneable

Direct Known Subclasses:

BinaryOpProperty, ConfigProperty, ConstantProperty, JavaSystemProperty, QuaternaryOpProperty, TernaryOpProperty, UnaryOpProperty

public abstract class EagerProperty
extends DrJavaProperty

Class representing values that are eagerly computed, so they are never stale.

Version:

$Id$

Nested Class Summary

Nested classes/interfaces inherited from class edu.rice.cs.drjava.config.DrJavaProperty

DrJavaProperty.InfiniteLoopException

Field Summary

Fields inherited from class edu.rice.cs.drjava.config.DrJavaProperty

_attributes, _help, _isCurrent, _listening, _name, _value, DEACTIVATED_DUE_TO_ERROR

Constructor Summary

EagerProperty(String name, String help)
Create a property.

EagerProperty(String name, String value, String help)
Create a property.

Method Summary

String	getLazy(PropertyMaps pm) Return the value of the property by recomputing it.
boolean	isCurrent() Return that it is never current.

Methods inherited from class edu.rice.cs.drjava.config.DrJavaProperty

_invalidate, equals, getAttribute, getCurrent, getHelp, getName, hashCode, invalidate, invalidateOthers, listenToInvalidatesOf, resetAttributes, setAttribute, setAttributes, toString, update

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

EagerProperty

public EagerProperty(String name,
                     String help)

Create a property.

EagerProperty

public EagerProperty(String name,
                     String value,
                     String help)

Create a property.

Method Detail

getLazy

public String getLazy(PropertyMaps pm)

Return the value of the property by recomputing it.

Overrides:

getLazy in class DrJavaProperty

Parameters:

pm - PropertyMaps used for substitution when replacing variables

isCurrent

public boolean isCurrent()

Return that it is never current.

Overrides:

isCurrent in class DrJavaProperty

Returns:

always false.