<!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
<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>
Direitos Autorais (c) 2005, 2006 IBM Corporation e terceiros.
Todos os direitos reservados. Este programa e os materiais fornecidos com ele são
disponibilizados sob os termos da Licença Pública do Eclipse v1.0 que acompanha
esta distribuição e está disponível em
http://www.eclipse.org/legal/epl-v10.html