Class ProblemMarkerManager
java.lang.Object
org.eclipse.m2m.atl.adt.ui.viewsupport.ProblemMarkerManager
- All Implemented Interfaces:
EventListener
,org.eclipse.core.resources.IResourceChangeListener
public class ProblemMarkerManager
extends Object
implements org.eclipse.core.resources.IResourceChangeListener
Listens to resource deltas and filters for marker changes of type IMarker.PROBLEM Viewers showing error
ticks should register as listener to this type.
-
Field Summary
Fields inherited from interface org.eclipse.core.resources.IResourceChangeListener
PROPERTY_EVENT_MASK
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
addListener
(IProblemChangedListener listener) Adds a listener for problem marker changes.void
removeListener
(IProblemChangedListener listener) Removes aIProblemChangedListener
.void
resourceChanged
(org.eclipse.core.resources.IResourceChangeEvent event)
-
Constructor Details
-
ProblemMarkerManager
public ProblemMarkerManager()
-
-
Method Details
-
resourceChanged
public void resourceChanged(org.eclipse.core.resources.IResourceChangeEvent event) - Specified by:
resourceChanged
in interfaceorg.eclipse.core.resources.IResourceChangeListener
- See Also:
-
IResourceChangeListener.resourceChanged(org.eclipse.core.resources.IResourceChangeEvent)
-
addListener
Adds a listener for problem marker changes. -
removeListener
Removes aIProblemChangedListener
.
-