edu.rice.cs.drjava.config
Class ConfigProperty

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

All Implemented Interfaces:

Cloneable

public class ConfigProperty
extends EagerProperty

Class representing values from the DrJava configuration file that can be inserted as variables in external processes.

Version:

$Id$

Nested Class Summary

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

DrJavaProperty.InfiniteLoopException

Field Summary

protected boolean

_isList True if this is a list of values.

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

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

Constructor Summary

ConfigProperty(String name)
Create a configuration property.

Method Summary

void	resetAttributes() Reset attributes to their defaults.
String	toString() Return the value.
void	update(PropertyMaps pm) Update the property so the value is current.

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

getLazy, isCurrent

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

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

Methods inherited from class java.lang.Object

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

Field Detail

_isList

protected boolean _isList

True if this is a list of values. This allows the sep="..." attribute.

Constructor Detail

ConfigProperty

public ConfigProperty(String name)

Create a configuration property.

Method Detail

update

public void update(PropertyMaps pm)

Update the property so the value is current.

Specified by:

update in class DrJavaProperty

Parameters:

pm - PropertyMaps used for substitution when replacing variables

resetAttributes

public void resetAttributes()

Reset attributes to their defaults.

Overrides:

resetAttributes in class DrJavaProperty

toString

public String toString()

Return the value.

Overrides:

toString in class DrJavaProperty