org.eclipse.m2m.atl.adt.ui.viewsupport
Class ProblemsLabelDecorator.ProblemsLabelChangedEvent

java.lang.Object
  java.util.EventObject
      org.eclipse.jface.viewers.LabelProviderChangedEvent
          org.eclipse.m2m.atl.adt.ui.viewsupport.ProblemsLabelDecorator.ProblemsLabelChangedEvent

All Implemented Interfaces:

java.io.Serializable

Enclosing class:

ProblemsLabelDecorator

public static class ProblemsLabelDecorator.ProblemsLabelChangedEvent
extends org.eclipse.jface.viewers.LabelProviderChangedEvent

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

ProblemsLabelChangedEvents are only generated by ProblemsLabelDecorators.

See Also:

Serialized Form

Field Summary

Fields inherited from class java.util.EventObject

source

Constructor Summary

ProblemsLabelDecorator.ProblemsLabelChangedEvent(org.eclipse.jface.viewers.IBaseLabelProvider source, org.eclipse.core.resources.IResource[] changedResource, boolean isMarkerChange)

Method Summary

boolean

isMarkerChange() Returns whether this event origins from marker changes.

Methods inherited from class org.eclipse.jface.viewers.LabelProviderChangedEvent

getElement, getElements

Methods inherited from class java.util.EventObject

getSource, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ProblemsLabelDecorator.ProblemsLabelChangedEvent

public ProblemsLabelDecorator.ProblemsLabelChangedEvent(org.eclipse.jface.viewers.IBaseLabelProvider source,
                                                        org.eclipse.core.resources.IResource[] changedResource,
                                                        boolean isMarkerChange)

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.