edu.rice.cs.drjava.config
Class MutableFileProperty

java.lang.Object
  edu.rice.cs.drjava.config.DrJavaProperty
      edu.rice.cs.drjava.config.FileProperty
          edu.rice.cs.drjava.config.MutableFileProperty

All Implemented Interfaces:

Cloneable

public class MutableFileProperty
extends FileProperty

Property that evaluates to a file, can be mutated, and 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 File

_fileValue

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

_getFile

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

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

Constructor Summary

MutableFileProperty(String name, File initialFile, String help)
Create an eager file property.

Method Summary

void	setFile(File f) Set the value of this property.

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

getCurrent, invalidate, isCurrent, resetAttributes, toString, update

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

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

Methods inherited from class java.lang.Object

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

Field Detail

_fileValue

protected File _fileValue

Constructor Detail

MutableFileProperty

public MutableFileProperty(String name,
                           File initialFile,
                           String help)

Create an eager file property.

Method Detail

setFile

public void setFile(File f)

Set the value of this property.

Parameters:

f - file