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.IMarkerResolutionGenerator2
public org.eclipse.ui.IMarkerResolution[] getResolutions(org.eclipse.core.resources.IMarker marker)
getResolutions
in interface org.eclipse.ui.IMarkerResolutionGenerator