資源標記

org.eclipse.core.resources.markers

工作區支援在任意資源上的標記的觀念。 標記是一種 Meta 資料(類似內容),可用來以使用者資訊標示資源。 每當儲存工作區或進行瞬間快照時,工作區會(選用)持續標記。

使用者可以定義和查詢給定類型的標記。 標記類型定義在支援多重繼承的階層中。 標記類型定義也會指定一些必須或可以出現在該類型標記上的屬性, 以及是否應該持續該類型的標記。

標記延伸點可讓標記作者將他們的標記類型登錄在某符號名稱之下,再從工作區中,利用這個符號名稱來建立和查詢標記。 符號名稱是標記延伸項的 ID。 當定義標記延伸時,使用者最好在用來識別其標記且使用者可能會見到的 "name" 屬性中使用可供人類閱讀的值。

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


下列是標記配置的範例:

   

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

所有標記,不論它們的類型為何, 都是 org.eclipse.core.resources.IMarker 的實例。

平台本身具有若干預先定義的標記類型。 特定產品安裝可能會依需要而含有其他標記。