Class MarkerFieldFilter

java.lang.Object
org.eclipse.ui.views.markers.MarkerFieldFilter

public abstract class MarkerFieldFilter extends Object
A MarkerFieldFilter is a filter on a particular marker field.
Since:
3.4
  • Constructor Details

    • MarkerFieldFilter

      public MarkerFieldFilter()
  • Method Details

    • select

      public abstract boolean select(MarkerItem item)
      Return whether or not marker should be filtered by the receiver.
      Parameters:
      item - item to test
      Returns:
      boolean true if the marker should be shown.
    • initialize

      public void initialize(Map values)
      Initialise the receiver with the values in the values Map.
      Parameters:
      values - filter specific arguments
      See Also:
    • populateWorkingCopy

      public void populateWorkingCopy(MarkerFieldFilter copy)
      Populate the working copy with the copy of whatever fields are required.
      Parameters:
      copy - object to populate
    • setField

      public final void setField(MarkerField markerField)
      Set the field for the receiver.
      Parameters:
      markerField - the field
    • getField

      public final MarkerField getField()
      Get the field for the receiver.
      Returns:
      MarkerField
    • saveSettings

      public abstract void saveSettings(IMemento memento)
      Save any of the relevant state for the receiver in the memento so that it can be used to restore the user settings.
      Parameters:
      memento - the memento to save in
      See Also:
    • loadSettings

      public abstract void loadSettings(IMemento memento)
      Load any settings for the receiver from the memento.
      Parameters:
      memento - the memento to load from
      See Also: