org.eclipse.wst.jsdt.ui
Class ProblemsLabelDecorator.ProblemsLabelChangedEvent

java.lang.Object
  extended by LabelProviderChangedEvent
      extended by org.eclipse.wst.jsdt.ui.ProblemsLabelDecorator.ProblemsLabelChangedEvent
Enclosing class:
ProblemsLabelDecorator

public static class ProblemsLabelDecorator.ProblemsLabelChangedEvent
extends LabelProviderChangedEvent

This is a special LabelProviderChangedEvent carrying additional information whether the event origins from a maker change.

ProblemsLabelChangedEvents are only generated by ProblemsLabelDecorators.


Constructor Summary
ProblemsLabelDecorator.ProblemsLabelChangedEvent(IBaseLabelProvider eventSource, IResource[] changedResource, boolean isMarkerChange)
          Note: This constructor is for internal use only.
 
Method Summary
 boolean isMarkerChange()
          Returns whether this event origins from marker changes.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ProblemsLabelDecorator.ProblemsLabelChangedEvent

public ProblemsLabelDecorator.ProblemsLabelChangedEvent(IBaseLabelProvider eventSource,
                                                        IResource[] changedResource,
                                                        boolean isMarkerChange)
Note: This constructor is for internal use only. Clients should not call this constructor.

Parameters:
eventSource - the base label provider
changedResource - the changed resources
isMarkerChange - true if the change is a marker change; otherwise false
Method Detail

isMarkerChange

public boolean isMarkerChange()
Returns whether this event origins from marker changes. If false an annotation model change is the origin. In this case viewers not displaying working copies can ignore these events.

Returns:
if this event origins from a marker change.