/** * Updates the given marker according to the given position in the given * document. If the given position is <code>null</code>, the marker is * assumed to carry the correct positional information. If it is detected * that the marker is invalid and should thus be deleted, this method * returns <code>false</code>. * * @param marker the marker to be updated * @param document the document into which the given position points * @param position the current position of the marker inside the given document * @return <code>false</code> if the marker is invalid * @throws CoreException if there is a problem updating the marker * @since 3.0 */ public boolean updateMarker(IDocument document, IMarker marker, Position position) throws CoreException { listenToMarkerChanges(false); try { return updateMarker(marker, document, position); } finally { listenToMarkerChanges(true); } }
AbstractMarkerAnnotationModel model= (AbstractMarkerAnnotationModel) info.fModel; for (int i= 0; i < markers.length; i++) model.updateMarker(document, markers[i], null);
AbstractMarkerAnnotationModel model= (AbstractMarkerAnnotationModel) info.fModel; for (int i= 0; i < markers.length; i++) model.updateMarker(document, markers[i], null);
/** * Updates the given marker according to the given position in the given * document. If the given position is <code>null</code>, the marker is * assumed to carry the correct positional information. If it is detected * that the marker is invalid and should thus be deleted, this method * returns <code>false</code>. * * @param marker the marker to be updated * @param document the document into which the given position points * @param position the current position of the marker inside the given document * @return <code>false</code> if the marker is invalid * @throws CoreException if there is a problem updating the marker * @since 3.0 */ public boolean updateMarker(IDocument document, IMarker marker, Position position) throws CoreException { listenToMarkerChanges(false); try { return updateMarker(marker, document, position); } finally { listenToMarkerChanges(true); } }
AbstractMarkerAnnotationModel model= (AbstractMarkerAnnotationModel) info.fModel; for (int i= 0; i < markers.length; i++) model.updateMarker(document, markers[i], null);
IMarker marker= a.getMarker(); Position position= annotationMap.get(a); if ( !updateMarker(marker, document, position)) { if ( !fDeletedAnnotations.contains(a)) fDeletedAnnotations.add(a);
IMarker marker= a.getMarker(); Position position= (Position) annotationMap.get(a); if ( !updateMarker(marker, document, position)) { if ( !fDeletedAnnotations.contains(a)) fDeletedAnnotations.add(a);