Поддержка маркеров
Идентификатор:
org.eclipse.ui.ide.markerSupport
Начиная с:
3.2
Описание:
Точка расширения Поддержка маркеров определяет расширения инструментов рабочей среды, которое показывает маркеры,
такие как неполадки, закладки и панели задач.
Описание конфигурации:
<!ELEMENT extension (problemFilter* , markerTypeCategory* , markerGrouping* , markerGroupingEntry* , markerAttributeGrouping*)>
<!ATTLIST extension
point CDATA #REQUIRED
name CDATA #IMPLIED
id CDATA #IMPLIED>
<!ELEMENT problemFilter (selectedType)*>
<!ATTLIST problemFilter
enabled (true | false)
scope (ON_ANY|ON_SELECTED_ONLY|ON_SELECTED_AND_CHILDREN|ON_ANY_IN_SAME_CONTAINER)
onDescription CDATA #IMPLIED
severity (ERROR|WARNING|INFO)
name CDATA #REQUIRED
id CDATA #REQUIRED>
Фильтр неполадок является фильтром, который можно применить для неполадок.
- enabled - включен ли данный фильтр по умолчанию. Если это значение не указано, то принимается значение true.
- scope - область действия фильтра. Имеет одно из следующих значений:
ON_ANY: любой элемент рабочей среды
ON_SELECTED_ONLY: текущий выбранный элемент
ON_SELECTED_AND_CHILDREN: текущий выбранный элемент и его дочерние элементы
ON_ANY_IN_SAME_CONTAINER: все элементы с тем же контейнером верхнего уровня, что и выбранный элемент
- onDescription - описание неполадки, на которую следует выполнить проверку. Если значение начинается с !,
то выполняется проверка того, что данное описание не содержит эту строку.
- severity - серьезность неполадки, для которой включен этот фильтр. Если это значение не указано, то фильтрация
по серьезности неполадки не выполняется. Серьезность может иметь одно из следующих значений: ERROR, WARNING or INFO.
- name - удобочитаемое имя фильтра.
- id - уникальный ИД фильтра.
<!ELEMENT selectedType EMPTY>
<!ATTLIST selectedType
markerId CDATA #IMPLIED>
selectedTypes - это идентификаторы типов маркеров, выбранных по умолчанию в данном фильтре. Если типы не выбраны, то включены
все типы маркеров. Все типы, не указанные в этом фильтре, по умолчанию выключены.
- markerId - ИД маркера, включенного по умолчанию.
<!ELEMENT markerTypeCategory (markerTypeReference)>
<!ATTLIST markerTypeCategory
name CDATA #REQUIRED>
markerTypeCategory - это элемент для группировки типов маркеров в одной категории.
- name - Метка является удобочитаемым именем, которое будет представлено пользователю.
<!ELEMENT markerTypeReference EMPTY>
<!ATTLIST markerTypeReference
id CDATA #REQUIRED>
markerTypeReference - это ссылка на markerType, определенный с помощью точки расширения в org.eclipse.core.resources.
- id - идентификатор markerType
<!ELEMENT markerGrouping EMPTY>
<!ATTLIST markerGrouping
label CDATA #REQUIRED
id CDATA #REQUIRED>
markerGrouping - это определение критерия группировки для панелей маркеров, которые его поддерживают (в настоящее время только
панель неполадок). Порядок сортировки группы - это порядок указания преобразований атрибутов.
- label - Читаемая строка метки, которая будет использована для создания записи в меню Сгруппировать по-> для данной
группировки маркеров.
- id - непереводимый идентификатор для этой markerGrouping. Ссылка на него содержится в markerGroupingEntry.
<!ELEMENT markerAttributeMapping EMPTY>
<!ATTLIST markerAttributeMapping
value CDATA #REQUIRED
markerGroupingEntry CDATA #REQUIRED>
markerAttributeMapping преобразует атрибут маркера в имя.
- value - значение атрибута, которое применяется в данном преобразовании.
- markerGroupingEntry - идентификатор markerGroupingEntry, на который отображается это значение атрибута.
<!ELEMENT markerGroupingEntry EMPTY>
<!ATTLIST markerGroupingEntry
id CDATA #REQUIRED
markerGrouping CDATA #REQUIRED
label CDATA #REQUIRED
priority CDATA #REQUIRED>
markerGroupingEntry - это спецификация одной из записей в markerGrouping.
- id - идентификатор markerGroupingEntry. Ссылка на него содержится в markerAttributeGrouping.
- markerGrouping - является идентификатором markerGrouping, в которую будет добавлена эта запись.
- label - транслируемая метка записи.
- priority - Приоритет записи. Записи с более высоким приоритетом располагаются в списке выше.
<!ELEMENT markerAttributeGrouping (markerAttributeMapping*)>
<!ATTLIST markerAttributeGrouping
markerType CDATA #REQUIRED
attribute CDATA #IMPLIED
defaultGroupingEntry CDATA #IMPLIED>
markerAttributeGrouping - это определение отображений атрибута на определенный markerType
- markerType - идентификатор markerType, к которому принадлежит эта группировка.
- attribute - имя атрибута для тестирования. Если это имя не указано, то будет проверена только defaultGroupingEntry.
- defaultGroupingEntry - необязательная категория для группировок, которые не удовлетворяют ни одному из
markerAttributeMappings в этом получателе. Будет применяться в том случае, если значение атрибута не соответствует преобразованию
или если атрибут недоступен.
Примеры:
Ниже приведен пример определения фильтра неполадок в поддержке маркеров.
В примере показываются только предупреждения java по выбранному элементу и его дочерним элементам и и отфильтровываются
предупреждения со строкой NON-NLS.
<extension point=
"org.eclipse.ui.ide.markerSupport"
>
<problemFilter
name =
"Предупреждения"
id =
"org.eclipse.example.warningFilter"
enabled =
"true"
scope=
"ON_SELECTED_AND_CHILDREN"
onDescription=
"!NON-NLS"
severity=
"WARNING"
>
<selectedType
markerId=
"org.eclipse.core.resources.problemmarker"
/>
</problemFilter>
</extension>
Информация API:
[Введите информацию об API.]
Поставляемая реализация:
[Введите информацию о поставляемых реализациях этой точки расширения.]
Copyright (c) 2005, 2006 IBM Corporation и других фирм.
Все права защищены.
Эта программа и сопутствующие материалы распространяются на условиях Eclipse Public License v1.0, поставляемой вместе с продуктом и доступной на Web-сайте
http://www.eclipse.org/legal/epl-v10.html