Поддержка маркеров

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>

Фильтр неполадок является фильтром, который можно применить для неполадок.



<!ELEMENT selectedType EMPTY>

<!ATTLIST selectedType

markerId CDATA #IMPLIED>

selectedTypes - это идентификаторы типов маркеров, выбранных по умолчанию в данном фильтре. Если типы не выбраны, то включены все типы маркеров. Все типы, не указанные в этом фильтре, по умолчанию выключены.



<!ELEMENT markerTypeCategory (markerTypeReference)>

<!ATTLIST markerTypeCategory

name CDATA #REQUIRED>

markerTypeCategory - это элемент для группировки типов маркеров в одной категории.



<!ELEMENT markerTypeReference EMPTY>

<!ATTLIST markerTypeReference

id CDATA #REQUIRED>

markerTypeReference - это ссылка на markerType, определенный с помощью точки расширения в org.eclipse.core.resources.



<!ELEMENT markerGrouping EMPTY>

<!ATTLIST markerGrouping

label CDATA #REQUIRED

id    CDATA #REQUIRED>

markerGrouping - это определение критерия группировки для панелей маркеров, которые его поддерживают (в настоящее время только панель неполадок). Порядок сортировки группы - это порядок указания преобразований атрибутов.



<!ELEMENT markerAttributeMapping EMPTY>

<!ATTLIST markerAttributeMapping

value               CDATA #REQUIRED

markerGroupingEntry CDATA #REQUIRED>

markerAttributeMapping преобразует атрибут маркера в имя.



<!ELEMENT markerGroupingEntry EMPTY>

<!ATTLIST markerGroupingEntry

id             CDATA #REQUIRED

markerGrouping CDATA #REQUIRED

label          CDATA #REQUIRED

priority       CDATA #REQUIRED>

markerGroupingEntry - это спецификация одной из записей в markerGrouping.



<!ELEMENT markerAttributeGrouping (markerAttributeMapping*)>

<!ATTLIST markerAttributeGrouping

markerType           CDATA #REQUIRED

attribute            CDATA #IMPLIED

defaultGroupingEntry CDATA #IMPLIED>

markerAttributeGrouping - это определение отображений атрибута на определенный markerType



Ниже приведен пример определения фильтра неполадок в поддержке маркеров. В примере показываются только предупреждения 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.]

[Введите информацию о поставляемых реализациях этой точки расширения.]