/** * 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); } }
/** * Returns the position known to this annotation model for the given marker. * * @param marker the marker * @return the position, or <code>null</code> if none */ public Position getMarkerPosition(IMarker marker) { MarkerAnnotation a= getMarkerAnnotation(marker); if (a != null) { return (Position) getAnnotationMap().get(a); } return null; }
/** * Returns the position known to this annotation model for the given marker. * * @param marker the marker * @return the position, or <code>null</code> if none */ public Position getMarkerPosition(IMarker marker) { MarkerAnnotation a= getMarkerAnnotation(marker); if (a != null) { return getAnnotationMap().get(a); } return null; }
while (iter.hasNext()) { IMarker m= (IMarker) iter.next(); Annotation a= model.getMarkerAnnotation(m); if (a != null) { if (access == null) {
while (iter.hasNext()) { IMarker m= iter.next(); Annotation a= model.getMarkerAnnotation(m); if (a != null) { if (access == null) {
/** * Updates the annotation corresponding to the given marker which has changed * in some way. * <p> * Subclasses may override.</p> * * @param marker the marker */ protected void modifyMarkerAnnotation(IMarker marker) { MarkerAnnotation a= getMarkerAnnotation(marker); if (a != null) { Position p= createPositionFromMarker(marker); if (p != null) { a.update(); modifyAnnotationPosition(a, p, false); } } else addMarkerAnnotation(marker); }
/** * Updates the annotation corresponding to the given marker which has changed * in some way. * <p> * Subclasses may override.</p> * * @param marker the marker */ protected void modifyMarkerAnnotation(IMarker marker) { MarkerAnnotation a= getMarkerAnnotation(marker); if (a != null) { Position p= createPositionFromMarker(marker); if (p != null) { a.update(); modifyAnnotationPosition(a, p, false); } } else addMarkerAnnotation(marker); }