org.eclipse.cdt.internal.ui.util
Class ProblemMarkerManager
java.lang.Object
org.eclipse.cdt.internal.ui.util.ProblemMarkerManager
- All Implemented Interfaces:
- java.util.EventListener, org.eclipse.core.resources.IResourceChangeListener, org.eclipse.jface.text.source.IAnnotationModelListener, org.eclipse.jface.text.source.IAnnotationModelListenerExtension
public class ProblemMarkerManager
- extends java.lang.Object
- implements org.eclipse.core.resources.IResourceChangeListener, org.eclipse.jface.text.source.IAnnotationModelListener, org.eclipse.jface.text.source.IAnnotationModelListenerExtension
Listens to resource deltas and filters for marker changes of type
IMarker.PROBLEM Viewers showing error ticks should register as listener to
this type.
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ProblemMarkerManager
public ProblemMarkerManager()
resourceChanged
public void resourceChanged(org.eclipse.core.resources.IResourceChangeEvent event)
- Specified by:
resourceChanged
in interface org.eclipse.core.resources.IResourceChangeListener
modelChanged
public void modelChanged(org.eclipse.jface.text.source.IAnnotationModel model)
- Specified by:
modelChanged
in interface org.eclipse.jface.text.source.IAnnotationModelListener
modelChanged
public void modelChanged(org.eclipse.jface.text.source.AnnotationModelEvent event)
- Specified by:
modelChanged
in interface org.eclipse.jface.text.source.IAnnotationModelListenerExtension
addListener
public void addListener(IProblemChangedListener listener)
- Adds a listener for problem marker changes.
removeListener
public void removeListener(IProblemChangedListener listener)
- Removes a
IProblemChangedListener
.