public class MarkerResolutionGenerator
extends java.lang.Object
implements org.eclipse.ui.IMarkerResolutionGenerator, org.eclipse.ui.IMarkerResolutionGenerator2
| Modifier and Type | Class and Description |
|---|---|
private class |
MarkerResolutionGenerator.RefreshResolution |
| Constructor and Description |
|---|
MarkerResolutionGenerator() |
| Modifier and Type | Method and Description |
|---|---|
org.eclipse.ui.IMarkerResolution[] |
getResolutions(org.eclipse.core.resources.IMarker marker) |
boolean |
hasResolutions(org.eclipse.core.resources.IMarker marker) |
public boolean hasResolutions(org.eclipse.core.resources.IMarker marker)
hasResolutions in interface org.eclipse.ui.IMarkerResolutionGenerator2public org.eclipse.ui.IMarkerResolution[] getResolutions(org.eclipse.core.resources.IMarker marker)
getResolutions in interface org.eclipse.ui.IMarkerResolutionGenerator