edu.rice.cs.drjava.config
Class VariableProperty

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

All Implemented Interfaces:

Cloneable

public class VariableProperty
extends ConstantProperty

Class representing user-defined variables 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

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

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

Constructor Summary

VariableProperty(String name, String value)
Create a variable property.

Method Summary

void	setValue(String value) Set the value of the variable.

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

getCurrent, invalidate, isCurrent, toString, update

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

getLazy

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

_invalidate, equals, getAttribute, getHelp, getName, hashCode, invalidateOthers, listenToInvalidatesOf, resetAttributes, setAttribute, setAttributes

Methods inherited from class java.lang.Object

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

Constructor Detail

VariableProperty

public VariableProperty(String name,
                        String value)

Create a variable property.

Method Detail

setValue

public void setValue(String value)

Set the value of the variable.

Parameters:

value - new value