--- /dev/null
+/*******************************************************************************
+ * Copyright (c) 2000, 2011 IBM Corporation and others.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * IBM Corporation - initial API and implementation
+ *******************************************************************************/
+package org.eclipse.jdt.internal.ui.javaeditor;
+
+import org.eclipse.core.runtime.CoreException;
+
+import org.eclipse.core.resources.IMarker;
+import org.eclipse.core.resources.IResource;
+
+import org.eclipse.jface.text.Position;
+import org.eclipse.jface.text.source.Annotation;
+import org.eclipse.jface.text.source.AnnotationModelEvent;
+import org.eclipse.jface.text.source.IAnnotationModel;
+
+import org.eclipse.ui.texteditor.MarkerAnnotation;
+
+import org.eclipse.jdt.internal.ui.JavaPlugin;
+import org.eclipse.jdt.internal.ui.viewsupport.ProblemMarkerManager;
+
+
+/**
+ * Event sent out by changes of the compilation unit annotation model.
+ */
+public class CompilationUnitAnnotationModelEvent extends AnnotationModelEvent {
+
+ private boolean fIncludesProblemMarkerAnnotations;
+ private IResource fUnderlyingResource;
+
+ /**
+ * Constructor for CompilationUnitAnnotationModelEvent.
+ *
+ * @param model the annotation model
+ * @param underlyingResource The annotation model's underlying resource
+ */
+ public CompilationUnitAnnotationModelEvent(IAnnotationModel model, IResource underlyingResource) {
+ super(model);
+ fUnderlyingResource= underlyingResource;
+ fIncludesProblemMarkerAnnotations= false;
+ }
+
+ private void testIfProblemMarker(Annotation annotation) {
+ if (fIncludesProblemMarkerAnnotations) {
+ return;
+ }
+ if (annotation instanceof JavaMarkerAnnotation) {
+ fIncludesProblemMarkerAnnotations= ((JavaMarkerAnnotation) annotation).isProblem();
+ } else if (annotation instanceof MarkerAnnotation) {
+ try {
+ IMarker marker= ((MarkerAnnotation) annotation).getMarker();
+ if (!marker.exists() || marker.isSubtypeOf(IMarker.PROBLEM)) {
+ fIncludesProblemMarkerAnnotations= true;
+ }
+ } catch (CoreException e) {
+ JavaPlugin.log(e);
+ }
+ }
+ }
+
+ /*
+ * @see org.eclipse.jface.text.source.AnnotationModelEvent#annotationAdded(org.eclipse.jface.text.source.Annotation)
+ */
+ @Override
+ public void annotationAdded(Annotation annotation) {
+ super.annotationAdded(annotation);
+ testIfProblemMarker(annotation);
+ }
+
+
+ /*
+ * @see org.eclipse.jface.text.source.AnnotationModelEvent#annotationRemoved(org.eclipse.jface.text.source.Annotation)
+ */
+ @Override
+ public void annotationRemoved(Annotation annotation) {
+ super.annotationRemoved(annotation);
+ testIfProblemMarker(annotation);
+ }
+
+ /*
+ * @see org.eclipse.jface.text.source.AnnotationModelEvent#annotationRemoved(org.eclipse.jface.text.source.Annotation, org.eclipse.jface.text.Position)
+ */
+ @Override
+ public void annotationRemoved(Annotation annotation, Position position) {
+ super.annotationRemoved(annotation, position);
+ testIfProblemMarker(annotation);
+ }
+
+ /*
+ * @see org.eclipse.jface.text.source.AnnotationModelEvent#annotationChanged(org.eclipse.jface.text.source.Annotation)
+ */
+ @Override
+ public void annotationChanged(Annotation annotation) {
+ testIfProblemMarker(annotation);
+ super.annotationChanged(annotation);
+ }
+
+ /**
+ * Returns whether the change included problem marker annotations.
+ *
+ * @return <code>true</code> if the change included marker annotations
+ */
+ public boolean includesProblemMarkerAnnotationChanges() {
+ return fIncludesProblemMarkerAnnotations;
+ }
+
+ /**
+ * Returns the annotation model's underlying resource.
+ *
+ * @return the underlying resource
+ */
+ public IResource getUnderlyingResource() {
+ return fUnderlyingResource;
+ }
+
+ public void generated_7209032685556665344(ProblemMarkerManager problemmarkermanager) {
+ if (includesProblemMarkerAnnotationChanges()) {
+ boolean hasChanges= false;
+ synchronized (problemmarkermanager) {
+ IResource changedResource= getUnderlyingResource();
+ hasChanges= problemmarkermanager.fResourcesWithAnnotationChanges.add(changedResource);
+ }
+ if (hasChanges) {
+ problemmarkermanager.fireChanges();
+ }
+ }
+ }
+
+}