public interface FutureListener
extends java.util.EventListener
Modifier and Type | Interface and Description |
---|---|
static class |
FutureListener.ListenerList |
Modifier and Type | Method and Description |
---|---|
void |
futureReady(ProMFuture<? extends java.lang.Object> future) |
void futureReady(ProMFuture<? extends java.lang.Object> future)