Class MarkerType

java.lang.Object
org.eclipse.ui.views.markers.internal.MarkerType

public class MarkerType extends Object
Represents a marker type.
  • Constructor Details

  • Method Details

    • getAllSupertypes

      public MarkerType[] getAllSupertypes()
      Returns all this type's supertypes.
      Returns:
      never null
    • getId

      public String getId()
      Returns:
      the marker type id.
    • getLabel

      public String getLabel()
      Returns:
      the human-readable label for this marker type.
    • getSubtypes

      public MarkerType[] getSubtypes()
      Returns the types which have this type as a direct supertype.
      Returns:
      the direct subtypes of this type
    • getAllSubTypes

      public MarkerType[] getAllSubTypes()
      Returns:
      never null
    • getSupertypeIds

      public String[] getSupertypeIds()
      Returns:
      the marker type ids for this type's supertypes.
    • getSupertypes

      public MarkerType[] getSupertypes()
      Returns:
      this type's direct supertypes, never null.
    • isSubtypeOf

      public boolean isSubtypeOf(MarkerType superType)
      Returns whether this marker type is considered to be a subtype of the given marker type.
      Parameters:
      superType -
      Returns:
      boolean trueif this type is the same as (or a subtype of) the given type
    • equals

      public boolean equals(Object other)
      Overrides:
      equals in class Object
    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object