|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.rice.cs.drjava.config.DrJavaProperty
edu.rice.cs.drjava.config.FileListProperty
public abstract class FileListProperty
Class representing file lists that are not evaluated until necessary.
Nested Class Summary |
---|
Nested classes/interfaces inherited from class edu.rice.cs.drjava.config.DrJavaProperty |
---|
DrJavaProperty.InfiniteLoopException |
Field Summary | |
---|---|
protected String |
_dir
Relative directory. |
protected String |
_sep
Separating string. |
Fields inherited from class edu.rice.cs.drjava.config.DrJavaProperty |
---|
_attributes, _help, _isCurrent, _listening, _name, _value, DEACTIVATED_DUE_TO_ERROR |
Constructor Summary | |
---|---|
FileListProperty(String name,
String sep,
String dir,
String help)
Create an lazy file list property. |
Method Summary | |
---|---|
protected abstract List<File> |
getList(PropertyMaps pm)
Abstract factory method specifying the list.PropertyMaps pm |
void |
invalidate()
Mark the value as stale. |
boolean |
isCurrent()
Return true if the value is current. |
void |
resetAttributes()
Reset the attributes. |
void |
update(PropertyMaps pm)
Update the value by concatenating the list of documents. |
Methods inherited from class edu.rice.cs.drjava.config.DrJavaProperty |
---|
_invalidate, equals, getAttribute, getCurrent, getHelp, getLazy, getName, hashCode, invalidateOthers, listenToInvalidatesOf, setAttribute, setAttributes, toString |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
protected String _sep
protected String _dir
Constructor Detail |
---|
public FileListProperty(String name, String sep, String dir, String help)
Method Detail |
---|
public void invalidate()
invalidate
in class DrJavaProperty
public boolean isCurrent()
isCurrent
in class DrJavaProperty
protected abstract List<File> getList(PropertyMaps pm)
pm
- PropertyMaps used for substitution when replacing variablespublic void update(PropertyMaps pm)
update
in class DrJavaProperty
pm
- PropertyMaps used for substitution when replacing variablespublic void resetAttributes()
resetAttributes
in class DrJavaProperty
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |