/** * Removes the annotation corresponding to the given marker. Does nothing * if there is no annotation for this marker. * * @param marker the marker */ protected final void removeMarkerAnnotation(IMarker marker) { MarkerAnnotation a= getMarkerAnnotation(marker); if (a != null) { removeAnnotation(a, false); } }
/** * Removes the annotation corresponding to the given marker. Does nothing * if there is no annotation for this marker. * * @param marker the marker */ protected final void removeMarkerAnnotation(IMarker marker) { MarkerAnnotation a= getMarkerAnnotation(marker); if (a != null) { removeAnnotation(a, false); } }
/** * Re-populates this model with annotations for all markers retrieved * from the maker source via <code>retrieveMarkers</code>. * * @throws CoreException if there is a problem getting the markers */ private void catchupWithMarkers() throws CoreException { for (Iterator e=getAnnotationIterator(false); e.hasNext();) { Annotation a= (Annotation) e.next(); if (a instanceof MarkerAnnotation) removeAnnotation(a, false); } IMarker[] markers= retrieveMarkers(); if (markers != null) { for (int i= 0; i < markers.length; i++) addMarkerAnnotation(markers[i]); } }
/** * Re-populates this model with annotations for all markers retrieved * from the maker source via <code>retrieveMarkers</code>. * * @throws CoreException if there is a problem getting the markers */ private void catchupWithMarkers() throws CoreException { for (Iterator<Annotation> e=getAnnotationIterator(false); e.hasNext();) { Annotation a= e.next(); if (a instanceof MarkerAnnotation) removeAnnotation(a, false); } IMarker[] markers= retrieveMarkers(); if (markers != null) { for (int i= 0; i < markers.length; i++) addMarkerAnnotation(markers[i]); } }
Position p= createPositionFromMarker(a.getMarker()); if (p != null) { removeAnnotation(a, false); try { addAnnotation(a, p, false);
Position p= createPositionFromMarker(a.getMarker()); if (p != null) { removeAnnotation(a, false); try { addAnnotation(a, p, false);