Marcadores de Recurso

org.eclipse.core.resources.markers

O espaço de trabalho suporta a percepção de marcadores em recursos arbitrários. Um marcador é um tipo de metadados (semelhante às propriedades) que pode ser utilizado para recursos de marcação com informações do usuário. Os marcadores são opcionalmente preservados pela área de trabalho sempre que ocorre um salvamento ou um instantâneo de uma área de trabalho.

Os usuários podem definir e consultar marcadores de um determinado tipo. Os tipos de marcadores são definidos em uma hierarquia que suporta heranças múltiplas. As definições de tipos de marcadores também especificam vários atributos que devem ou podem estar presentes em um marcador desse tipo, bem como se os marcadores desse tipo devem ou não ser preservados.

Os pontos de extensão dos marcadores permitem que os escritores de marcador registrem seus tipos de marcadores sob um nome simbólico que é então utilizado dentro da área de trabalho para criar e consultar marcadores. O nome simbólico é a identificação da extensão do marcador. Ao definir uma extensão do marcador, os usuários são encorajados a incluir um valor que pode ser entendido pelo usuário para o atributo do "nome" que identifica seus marcadores e potencialmente podem ser apresentados aos usuários.

<!ELEMENT extension (super* , persistent?, attribute*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT super EMPTY>

<!ATTLIST super

type CDATA #REQUIRED>


<!ELEMENT persistent EMPTY>

<!ATTLIST persistent

value (true | false) >


<!ELEMENT attribute EMPTY>

<!ATTLIST attribute

name CDATA #REQUIRED>


A seguir, um exemplo de uma configuração do marcador:

   

<extension id=

"com.xyz.coolMarker"

point=

"org.eclipse.core.resources.markers"

name=

"Cool Marker"

>

<persistent value=

"true"

/>

<super type=

"org.eclipse.core.resources.problemmarker"

/>

<super type=

"org.eclipse.core.resources.textmarker"

/>

<attribute name=

"owner"

/>

</extension>

Todos os marcadores, independentemente do tipo, são instâncias de org.eclipse.core.resources.IMarker.

A plataforma por si só possui vários tipos de marcadores pré-definidos. Instalações especiais do produto podem incluir marcadores adicionais, conforme pedido.