@Override public IMarkerResolution2[] getResolutions(IMarker marker) { if (!hasResolutions(marker)) { return NO_RESOLUTIONS; } return new IMarkerResolution2[] { new BadLinkMarkerCorrection(marker) }; }
public String getAdditionalProposalInfo() { if (fResolution instanceof IMarkerResolution2) { return ((IMarkerResolution2) fResolution).getDescription(); } if (fResolution instanceof IJavaCompletionProposal) { return ((IJavaCompletionProposal) fResolution).getAdditionalProposalInfo(); } try { String problemDesc= (String) fMarker.getAttribute(IMarker.MESSAGE); return Messages.format(CorrectionMessages.MarkerResolutionProposal_additionaldesc, problemDesc); } catch (CoreException e) { JavaPlugin.log(e); } return null; }
public Image getImage() { if (fResolution instanceof IMarkerResolution2) { return ((IMarkerResolution2) fResolution).getImage(); } if (fResolution instanceof IJavaCompletionProposal) { return ((IJavaCompletionProposal) fResolution).getImage(); } return JavaPluginImages.get(JavaPluginImages.IMG_CORRECTION_CHANGE); }