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.IDebugEventSetListener
protected void processResources()