Suporte ao Marcador

org.eclipse.ui.ide.markerSupport

3.2

O ponto de extensão Suporte de Marcador define extensões para as ferramentas do workbench que mostram marcadores, como as visualizações de tarefas, marcadores e problemas.

<!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>

Filtro de problemas é aquele que pode ser aplicado aos problemas.



<!ELEMENT selectedType EMPTY>

<!ATTLIST selectedType

markerId CDATA #IMPLIED>

selectedTypes são os ids dos tipos de marcador selecionados por padrão nesse filtro. Se não houver tipos selecionados, todos os tipos de marcador estarão ativados. Todos os tipos não especificados nesse filtro ficam desativados por padrão.



<!ELEMENT markerTypeCategory (markerTypeReference)>

<!ATTLIST markerTypeCategory

name CDATA #REQUIRED>

markerTypeCategory é um elemento para agrupar tipos de marcador em uma única categoria.



<!ELEMENT markerTypeReference EMPTY>

<!ATTLIST markerTypeReference

id CDATA #REQUIRED>

markerTypeReference é uma referência a um markerType definida utilizando o ponto de extensão em org.eclipse.core.resources.



<!ELEMENT markerGrouping EMPTY>

<!ATTLIST markerGrouping

label CDATA #REQUIRED

id    CDATA #REQUIRED>

markerGrouping é uma definição de critério de agrupamento para as visualizações do marcador que o suportam (atualmente, apenas a visualização de problemas). A ordem de classificação do grupo é a ordem de especificação dos mapeamentos de atributo.



<!ELEMENT markerAttributeMapping EMPTY>

<!ATTLIST markerAttributeMapping

value               CDATA #REQUIRED

markerGroupingEntry CDATA #REQUIRED>

Um markerAttributeMapping mapeia um atributo de marcador para um nome.



<!ELEMENT markerGroupingEntry EMPTY>

<!ATTLIST markerGroupingEntry

id             CDATA #REQUIRED

markerGrouping CDATA #REQUIRED

label          CDATA #REQUIRED

priority       CDATA #REQUIRED>

Um markerGroupingEntry é a especificação de uma das entradas em um markerGrouping.



<!ELEMENT markerAttributeGrouping (markerAttributeMapping*)>

<!ATTLIST markerAttributeGrouping

markerType           CDATA #REQUIRED

attribute            CDATA #IMPLIED

defaultGroupingEntry CDATA #IMPLIED>

markerAttributeGrouping é uma definição de mapeamentos de atributo para um determinado markerType



Segue um exemplo de definição de filtro de problemas no suporte de marcador. Esse exemplo mostra apenas avisos java sobre o elemento selecionado e seus filhos e filtros, fora aqueles com a Cadeia NON-NLS

 

<extension point=

"org.eclipse.ui.ide.markerSupport"

>

<problemFilter name =

"Warnings"

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>

[Digite aqui informações sobre API]

[Digite informações sobre a implementação fornecida deste ponto de extensão]