edu.rice.cs.drjava.config
Class DrJavaActionProperty

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

All Implemented Interfaces:

Cloneable

public abstract class DrJavaActionProperty
extends DrJavaProperty

Class representing actions that are executed as side effect of command line evaluation for 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

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

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

Method Summary

String

getCurrent(PropertyMaps pm) Return the value of the property.

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

DrJavaActionProperty

public DrJavaActionProperty(String name,
                            String help)

Create a property.

DrJavaActionProperty

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

Create a property.

Method Detail

getCurrent

public String getCurrent(PropertyMaps pm)

Return the value of the property. If it is not current, update first.

Overrides:

getCurrent in class DrJavaProperty

Parameters:

pm - PropertyMaps used for substitution when replacing variables