private class MavenRuntimeLaunchSupport.BackgroundResourceRefresher
extends java.lang.Object
implements org.eclipse.debug.core.IDebugEventSetListener
| Modifier and Type | Field and Description |
|---|---|
(package private) org.eclipse.debug.core.ILaunchConfiguration |
configuration |
(package private) org.eclipse.debug.core.model.IProcess |
process |
| Constructor and Description |
|---|
BackgroundResourceRefresher(org.eclipse.debug.core.ILaunchConfiguration configuration,
org.eclipse.debug.core.ILaunch launch) |
| Modifier and Type | Method and Description |
|---|---|
void |
handleDebugEvents(org.eclipse.debug.core.DebugEvent[] events) |
void |
init()
If the process has already terminated, resource refreshing is done immediately in the current thread.
|
protected void |
processResources() |
final org.eclipse.debug.core.ILaunchConfiguration configuration
final org.eclipse.debug.core.model.IProcess process
public BackgroundResourceRefresher(org.eclipse.debug.core.ILaunchConfiguration configuration,
org.eclipse.debug.core.ILaunch launch)
public void init()
public void handleDebugEvents(org.eclipse.debug.core.DebugEvent[] events)
handleDebugEvents in interface org.eclipse.debug.core.IDebugEventSetListenerprotected void processResources()