edu.rice.cs.drjava.config
Class JavaSystemProperty

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

All Implemented Interfaces:

Cloneable

public class JavaSystemProperty
extends EagerProperty

Class representing values from the Java System properties 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

JavaSystemProperty(String name)
Create a Java system property.

Method Summary

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, resetAttributes, setAttribute, setAttributes, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaSystemProperty

public JavaSystemProperty(String name)

Create a Java system 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