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 TypeMethodDescriptionboolean
Returns all this type's supertypes.getId()
getLabel()
Returns the types which have this type as a direct supertype.String[]
int
hashCode()
boolean
isSubtypeOf
(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
true
if this type is the same as (or a subtype of) the given type
-
equals
-
hashCode
public int hashCode()
-