| java.lang.Object
 org.eclipse.ui.views.markers.internal.MarkerGroupingEntry
| MarkerGroupingEntry | | public class MarkerGroupingEntry (Code) | | MarkerGroupingEntry is the configuration object for the markerGroupingEntry
extension.
since:
3.2 |
| Constructor Summary | |
| public | MarkerGroupingEntry(String name, String identifer, int priority)
Create a new instance of the receiver with name name and an id of
identifier. |
| MarkerGroupingEntry | | public MarkerGroupingEntry(String name, String identifer, int priority)(Code) | | Create a new instance of the receiver with name name and an id of
identifier.
Parameters:
name -
Parameters:
identifer -
Parameters:
priority - |
| getId | | public String getId()(Code) | | Return the id for the receiver.
String |
| getLabel | | public String getLabel()(Code) | | Get the label of the receiver.
String |
| getMarkerGroup | | public MarkerGroup getMarkerGroup()(Code) | | Return the marker group for the receiver.
FieldMarkerGroup |
| getPriority | | public int getPriority()(Code) | | Return the priority of the receiver.
int |
| mapAttribute | | public void mapAttribute(String markerType, String attribute, String attributeValue)(Code) | | Map the attribute for the markerType to map to the receiver
when it is equal to attributeValue.
Parameters:
markerType -
Parameters:
attribute -
Parameters:
attributeValue - |
| setAsDefault | | public void setAsDefault(String markerType)(Code) | | Set the receiver as the default grouping entry for type markerType.
Parameters:
markerType - String |
| setGroupingEntry | | public void setGroupingEntry(MarkerGroup group)(Code) | | Set the group for the receiver.
Parameters:
group - |
|
|