|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectedu.rice.cs.drjava.model.EventNotifier<GUIAvailabilityListener>
edu.rice.cs.drjava.ui.avail.GUIAvailabilityNotifier
edu.rice.cs.drjava.ui.avail.DefaultGUIAvailabilityNotifier
public class DefaultGUIAvailabilityNotifier
Convenience methods for starting and finishing tasks that use multiple components. No methods on this class should be synchronized using traditional Java synchronization!
| Nested Class Summary |
|---|
| Nested classes/interfaces inherited from interface edu.rice.cs.drjava.ui.avail.GUIAvailabilityListener |
|---|
GUIAvailabilityListener.ComponentType |
| Field Summary |
|---|
| Fields inherited from class edu.rice.cs.drjava.ui.avail.GUIAvailabilityNotifier |
|---|
_values |
| Fields inherited from class edu.rice.cs.drjava.model.EventNotifier |
|---|
_listeners, _lock |
| Constructor Summary | |
|---|---|
DefaultGUIAvailabilityNotifier()
|
|
| Method Summary | |
|---|---|
void |
javadoc(boolean available)
Set the availability of tasks needed for Javadoc, i.e. |
void |
javadocFinished()
Make the tasks needed for Javadoc, i.e. |
void |
javadocStarted()
Make the tasks needed for Javadoc, i.e. |
void |
junit(boolean available)
Set the availability of tasks needed for JUnit, i.e. |
void |
junitFinished()
Make the tasks needed for JUnit, i.e. |
void |
junitStarted()
Make the tasks needed for JUnit, i.e. |
| Methods inherited from class edu.rice.cs.drjava.ui.avail.GUIAvailabilityNotifier |
|---|
availabilityChanged, available, ensureAvailabilityIs, ensureAvailable, ensureUnavailable, getCount, isAvailable, notifyListeners, unavailable |
| Methods inherited from class edu.rice.cs.drjava.model.EventNotifier |
|---|
addListener, removeAllListeners, removeListener |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public DefaultGUIAvailabilityNotifier()
| Method Detail |
|---|
public void junit(boolean available)
available - true to make available, false to make unavailablepublic void junitStarted()
public void junitFinished()
public void javadoc(boolean available)
available - true to make available, false to make unavailablepublic void javadocStarted()
public void javadocFinished()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||