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 TypeMethodDescriptionvoidaddListener(IProblemChangedListener listener) Adds a listener for problem marker changes.voidremoveListener(IProblemChangedListener listener) Removes aIProblemChangedListener.voidresourceChanged(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:
resourceChangedin interfaceorg.eclipse.core.resources.IResourceChangeListener- See Also:
-
addListener
Adds a listener for problem marker changes. -
removeListener
Removes aIProblemChangedListener.
-