Class MarkerType
java.lang.Object
org.eclipse.ui.views.markers.internal.MarkerType
Represents a marker type.
-
Constructor Summary
ConstructorsConstructorDescriptionMarkerType(MarkerTypesModel model, String id, String label, String[] supertypeIds) Creates a new marker type. -
Method Summary
Modifier and TypeMethodDescriptionbooleanReturns all this type's supertypes.getId()getLabel()Returns the types which have this type as a direct supertype.String[]inthashCode()booleanisSubtypeOf(MarkerType superType) Returns whether this marker type is considered to be a subtype of the given marker type.
-
Constructor Details
-
MarkerType
Creates a new marker type.
-
-
Method Details
-
getAllSupertypes
Returns all this type's supertypes.- Returns:
- never null
-
getId
- Returns:
- the marker type id.
-
getLabel
- Returns:
- the human-readable label for this marker type.
-
getSubtypes
Returns the types which have this type as a direct supertype.- Returns:
- the direct subtypes of this type
-
getAllSubTypes
- Returns:
- never null
-
getSupertypeIds
- Returns:
- the marker type ids for this type's supertypes.
-
getSupertypes
- Returns:
- this type's direct supertypes, never null.
-
isSubtypeOf
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
-
hashCode
public int hashCode()
-