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

Packages that use DrJavaProperty

edu.rice.cs.drjava.config	This package contains the code that allows for dynamically modifying the configuration options in DrJava.
edu.rice.cs.drjava.ui	The ui package contains classes for the default user interface for DrJava.
edu.rice.cs.util	A collection of utility classes and packages.

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

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

class	BinaryOpProperty<P,Q,R> Class representing binary operations that can be inserted as variables in external processes.
class	ConfigProperty Class representing values from the DrJava configuration file that can be inserted as variables in external processes.
class	ConstantProperty Class representing values that are constant and that can be inserted as variables in external processes.
class	DrJavaActionProperty Class representing actions that are executed as side effect of command line evaluation for variables in external processes.
class	EagerProperty Class representing values that are eagerly computed, so they are never stale.
class	FileListProperty Class representing file lists that are not evaluated until necessary.
class	FileProperty Property that evaluates to a file and that can be inserted as variables in external processes.
class	JavaSystemProperty Class representing values from the Java System properties that can be inserted as variables in external processes.
class	MutableFileProperty Property that evaluates to a file, can be mutated, and that can be inserted as variables in external processes.
class	QuaternaryOpProperty<N,O,P,Q,R> Class representing quaternary operations that can be inserted as variables in external processes.
class	RecursiveFileListProperty Class representing a lazy lists of files that are found recursively inside a start directory.
class	TernaryOpProperty<O,P,Q,R> Class representing ternary operations that can be inserted as variables in external processes.
class	UnaryOpProperty<P,R> Class representing unary operations that can be inserted as variables in external processes.
class	VariableProperty Class representing user-defined variables that can be inserted as variables in external processes.

Fields in edu.rice.cs.drjava.config with type parameters of type DrJavaProperty

protected Set<DrJavaProperty>	DrJavaProperty._listening Set of other properties that are listening to this property, i.e.
protected Map<String,Map<String,DrJavaProperty>>	PropertyMaps._props Map of property sets.
static Lambda2<DrJavaProperty,PropertyMaps,String>	PropertyMaps.GET_CURRENT A lambda to use the getCurrent() method, which forces an update.
static Lambda2<DrJavaProperty,PropertyMaps,String>	PropertyMaps.GET_LAZY A lambda to use the getLazy() method, which does not force an update and might be stale.

Methods in edu.rice.cs.drjava.config that return DrJavaProperty

DrJavaProperty	PropertyMaps.getProperty(String key) Search through all categories and return the property requested, or null if not found.
DrJavaProperty	PropertyMaps.getProperty(String category, String name) Return the property requested, or null if not found.
DrJavaProperty	DrJavaProperty.listenToInvalidatesOf(DrJavaProperty other)
DrJavaProperty	PropertyMaps.setProperty(String category, DrJavaProperty p) Add a property.

Methods in edu.rice.cs.drjava.config that return types with arguments of type DrJavaProperty

Map<String,DrJavaProperty>

PropertyMaps.getProperties(String category) Return the properties in a category.

Methods in edu.rice.cs.drjava.config with parameters of type DrJavaProperty

DrJavaProperty	DrJavaProperty.listenToInvalidatesOf(DrJavaProperty other)
void	PropertyMaps.removeProperty(DrJavaProperty p) Remove the specified property.
DrJavaProperty	PropertyMaps.setProperty(String category, DrJavaProperty p) Add a property.

Method parameters in edu.rice.cs.drjava.config with type arguments of type DrJavaProperty

protected void

DrJavaProperty.invalidateOthers(Set<DrJavaProperty> alreadyVisited) Invalidate those properties that are listening to this property.

Uses of DrJavaProperty in edu.rice.cs.drjava.ui

Methods in edu.rice.cs.drjava.ui that return types with arguments of type DrJavaProperty

Pair<String,DrJavaProperty>

InsertVariableDialog.getSelected() Return a pair consisting of the name of the property and the property itself.

Method parameters in edu.rice.cs.drjava.ui with type arguments of type DrJavaProperty

protected JScrollPane

InsertVariableDialog.createPane(String category, Map<String,DrJavaProperty> props) Create a scroll pane for the specified category with the properties provided in the map.

Uses of DrJavaProperty in edu.rice.cs.util

Method parameters in edu.rice.cs.util with type arguments of type DrJavaProperty

static String

StringOps.replaceVariables(String str, PropertyMaps props, Lambda2<DrJavaProperty,PropertyMaps,String> getter) Replace variables of the form "${variable}" with the value associated with the string "variable" in the provided hash table.