/*
* (non-Javadoc)
* @see
* org.eclipse.ui.views.markers.WorkbenchMarkerResolution#findOtherMarkers
* (org.eclipse.core.resources.IMarker[])
*/
@Override
public IMarker[] findOtherMarkers(IMarker[] markers) {
HashSet<IMarker> mset = new HashSet<IMarker>(markers.length);
for (int i = 0; i < markers.length; i++) {
if (Util.isApiProblemMarker(markers[i])
&& !fBackingMarker.equals(markers[i])
&& markers[i].getAttribute(IApiMarkerConstants.API_MARKER_ATTR_ID, -1)
== IApiMarkerConstants.UNSUPPORTED_TAG_MARKER_ID) {
mset.add(markers[i]);
}
}
int size = mset.size();
plural = size > 0;
return mset.toArray(new IMarker[size]);
}
