Uses of Class
edu.rice.cs.drjava.config.FileProperty

Packages that use FileProperty

edu.rice.cs.drjava.config

This package contains the code that allows for dynamically modifying the configuration options in DrJava.

Uses of FileProperty in edu.rice.cs.drjava.config

Subclasses of FileProperty in edu.rice.cs.drjava.config

class

MutableFileProperty Property that evaluates to a file, can be mutated, and that can be inserted as variables in external processes.